MFPS XXIX Preliminary Announcement
MFPS XXIX 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 =============================================== Professor Michael Mislove Phone: +1 504 862-3441 Department of Mathematics FAX: +1 504 865-5063 Tulane University URL: http://www.math.tulane.edu/~mwm New Orleans, LA 70118 USA =============================================== [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
participants (1)
-
Mislove, Michael W