From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7513 Path: news.gmane.org!not-for-mail From: "Mislove, Michael W" Newsgroups: gmane.science.mathematics.categories Subject: MFPS XXIX Preliminary Announcement Date: Wed, 5 Dec 2012 22:13:32 +0000 Message-ID: Reply-To: "Mislove, Michael W" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1354803303 19579 80.91.229.3 (6 Dec 2012 14:15:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 6 Dec 2012 14:15:03 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Thu Dec 06 15:15:17 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.32]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1TgcEO-0006H4-FQ for gsmc-categories@m.gmane.org; Thu, 06 Dec 2012 15:15:16 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:50944) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Tgc9m-0007y2-5F; Thu, 06 Dec 2012 10:10:30 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1TgcE5-0003Lo-2I for categories-list@mlist.mta.ca; Thu, 06 Dec 2012 10:14:57 -0400 Thread-Topic: MFPS XXIX Preliminary Announcement Accept-Language: en-US Content-Language: en-US Content-ID: <00BAB91007D8144A93C5CB460CE3865C@namprd03.prod.outlook.com> Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7513 Archived-At: 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 Semantic= s will take place on the campus of Tulane University, New Orleans, LA USA f= rom June 23 to June 25, 2013. The conference will be co-located with the 20= 13 Logic in Computer Science Symposium and the 2013 Computer Security Found= ations Symposium. MFPS will have a number of invited speakers and special s= essions, one of which will be a shared session with LICS celebrating Dana S= cott's 80th birthday year. This is a preliminary announcement - details abo= ut the conference, including the program committee membership, the invited = speakers and the special sessions will be available within the next few wee= ks. The purpose of this announcement is to alert members of the community a= bout the relevant personnel overseeing the conference and to provide the im= portant dates for the meeting. The Program Committee Chair for MFPS XXIX is Dexter Kozen (Cornell). The lo= cal arrangements chair is Michael Mislove (Tulane). The Organizing Committe= e for MFPS includes Andrej Bauer (Slovenia), Stephen Brookes (CMU), Achim J= ung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel O= uaknine (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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D [For admin and other information see: http://www.mta.ca/~cat-dist/ ]