credits
Welcome

Twenty-second Conference on the
Mathematical Foundations of Programming Semantics
DISI, University of Genova, Italy
May 24 - May 27, 2006


The Twenty-second Conference on the Mathematical Foundations of Programming Semantics will take place at the University of Genova, Italy from Wednesday, May 24 through Saturday, May 27, 2006. There will be a Tutorial Day on Tuesday, May 23 devoted to Separation Logic.

The MFPS conferences are devoted to those areas of mathematics, logic and computer science which are related to the semantics of programming languages. The series particularly has stressed providing a forum where both mathematicians and computer scientists can meet and exchange ideas about problems of common interest. We also encourage participation by researchers in neighboring areas, since we strive to maintain breadth in the scope of the series.

The Organizing Committee for MFPS consists of Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and Prakash Panangaden (McGill).

To registrer, follow the link