Formal Methods Reading Seminar Home Page

This is the home page of the Formal Methods Reading Seminar at the University of Central Florida. The seminar is led by professor Gary T. Leavens.

Information on the current seminar is found from the menu on the left.

Information on (the current and) previous versions of this seminar can be found in the following links.

Get the Latest News for the seminar

The latest news about the seminar is available as an RSS feed. We recommend using an RSS reader (such as the RSS Subscription Extension by Google for Google Chrome or Sage for Firefox) to keep up with the news about this course. However, in many browsers you can also just read the news as a web page. (If you use Google Chrome or if you use Safari on a Mac, then apparently you will only be able to see the preceding link in an RSS reader.)

Last modified Thursday, January 29, 2015.