MFPS XXIX Preliminary Announcement

MFPS XXIX Preliminary Announcement

[Mislove, Michael W]

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/ ]