Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Achim Jung <A.Jung-dxBOTFGcEFw2EctHIo1CcQ <at> public.gmane.org>
Subject: MFPS XXIX Preliminary Announcement
Newsgroups: gmane.comp.science.types.announce
Date: Thursday 6th December 2012 22:35:01 UTC (over 5 years ago)
[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce
]

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
confere
 nce 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
 
CD: 3ms