Formal Methods Reading Seminar, Summer 2014

Formal Methods Reading Seminar Information

This page gives access to information about the Formal Methods Reading Seminar as taught by Gary T. Leavens for the Computer Science at the University of Central Florida. The seminar's home page is http://www.eecs.ucf.edu/~leavens/fm-reading-seminarSummer14/index.shtml. This page, which describes the seminar, is organized as follows.

• Meetings
• Background
• Prerequisites
• Plans

Meetings

Meetings will be held every Thursday from 1:00pm to 2:00pm in room 438 of the Harris Center.

Background

This seminar is for those doing research on formal methods, used in the specification and verification of computer software. The idea is to get background on the state of the art by reading and discussing recent papers in the area.

Prerequisites

The only prerequisites are interest in formal methods.

Plans

This semester we plan to read papers with a view towards understanding what makes a paper "well-written" and easy to understand; that is, what makes good technical writing?

Last modified Thursday, June 26, 2014.