FMT Home > Events > Reading Group

Reading Group

The Formal Methods Reading Group is a group of students and faculty that meets bi-weekly to discuss papers drawn from a broad spectrum of research into formal methods, model checking, program analysis, and concurrency theory.

Here we list the reading group meetings by year (click on << or >> to shift to a different year).
Cancelled reading group meetings are indicated like this.

<< 2012 >>

Upcoming Reading Group Meetings
Date	Moderator	Paper
May 23, 2012	Marina Zaharieva-Stojanovski	Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers: Fractional Permissions without the Fractions
Past Reading Group Meetings
Date	Moderator	Paper
Apr 12, 2012	Gijs Kant	Ashok K. Chandra, Dexter C. Kozen, and Larry J. Stockmeyer: Alternation
Mar 08, 2012	Afshin Amighi	Thomas Reps, Susan Horwitz, Mooly Sagiv: Precise interprocedural dataflow analysis via graph reachability
Jan 19, 2012	Stefan Blom	Grigore Rosu, Chucky Ellison, Wolfram Schulte: Matching Logic: An Alternative to Hoare/Floyd Logic