[TYPES/announce] MFPS XXIX Preliminary Announcement

Achim Jung A.Jung at cs.bham.ac.uk
Thu Dec 6 17:35:01 EST 2012

Preliminary Announcement

June 23 - 25, 2013
Tulane University
New Orleans, LA

Co-located with LICS and CSF

The 29th Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of Tulane University, New Orleans, LA USA from June 23 to June 25, 2013. The conference will be co-located with the 2013 Logic in Computer Science Symposium and the 2013 Computer Security Foundations Symposium. MFPS will have a number of invited speakers and special sessions, one of which will be a shared session with LICS celebrating Dana Scott's 80th birthday year. This is a preliminary announcement - details about the conference, including the program committee membership, the invited speakers and the special sessions will be available within the next few weeks. The purpose of this announcement is to alert members of the community about the relevant personnel overseeing the conference and to provide the important dates for the meeting.

The Program Committee Chair for MFPS XXIX is Dexter Kozen (Cornell). The local arrangements chair is Michael Mislove (Tulane). The Organizing Committee for MFPS includes Andrej Bauer (Slovenia), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Oxford) and Prakash Panangaden (McGill).

The Important Dates for MFPS XXIX are the following:

Deadline for titles and short abstracts:        Monday. March 25, 2013
Deadline for full submissions:                     Tuesday, April 2, 2013
Notification of accepted papers:                  Monday, April 28, 2013

More information about the Types-announce mailing list