Twentysecond Conference on the
Mathematical Foundations of Programming Semantics
DISI, University of Genova, Italy
May 24  May 27, 2006
The Twentysecond 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
