From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6648 Path: news.gmane.org!not-for-mail From: Michael Mislove Newsgroups: gmane.science.mathematics.categories Subject: MFPS 27 - Second Call for Participation Date: Wed, 27 Apr 2011 13:51:26 -0500 Message-ID: Reply-To: Michael Mislove NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1303992124 11964 80.91.229.12 (28 Apr 2011 12:02:04 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 28 Apr 2011 12:02:04 +0000 (UTC) Cc: Michael Mislove To: mfpsmail@math.tulane.edu, categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Apr 28 14:01:59 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QFPuw-0005A9-Fa for gsmc-categories@m.gmane.org; Thu, 28 Apr 2011 14:01:58 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:47419) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1QFPrH-0001yb-NE; Thu, 28 Apr 2011 08:58:11 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1QFPrE-0004UL-3D for categories-list@mlist.mta.ca; Thu, 28 Apr 2011 08:58:08 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6648 Archived-At: Dear Colleagues, This is the second Call for Participation at MFPS XXVII, the = Twenty-seventh Conference on the Mathematical Foundations of Programming = Semantics, which will take place on the campus of the Carnegie Mellon = University, Pittsburgh, PA, USA, from May 25 to May 28, 2011. The = meeting will include plenary lectures by Steve Brookes (CMU), J=E9r=F4me = Feret (INRIA), John Reynolds (CMU), Alex Simpson (Edinburgh), Stephanie = Weirich (Penn) and Steve Zdancewic (Penn). The program also includes a = special session honoring John Reynolds on his 75th birthday, a session = on systems biology, and a session on security, as well as tutorial = lectures on "Programs from Proofs", and fourteen contributed talks = selected by the PC for presentation at the meeting.=20 Complete details about the program can be found at the web site = http://www.math.tulane.edu/~mfps/MFPS27=20 Registration is now open, and registration information for the meeting = also is available on the web site.=20 Please note that the conference hotel will not guarantee to honor the = conference rate after next Monday, May 2, so please make you hotel = arrangements by then to obtain the conference rate. =20 Any questions can be directed to mfps@math.tulane.edu Best regards, Mike Mislove Joel Ouaknine, Chair, Program Committee=20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]