From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6536 Path: news.gmane.org!not-for-mail From: MFPS Newsgroups: gmane.science.mathematics.categories Subject: MFPS FInal Call for Papers Date: Mon, 14 Feb 2011 10:19:59 -0600 Message-ID: Reply-To: MFPS NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1082) Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1297800524 18365 80.91.229.12 (15 Feb 2011 20:08:44 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 15 Feb 2011 20:08:44 +0000 (UTC) To: mfpslist , categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Feb 15 21:08:38 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PpRCP-0004sk-Vy for gsmc-categories@m.gmane.org; Tue, 15 Feb 2011 21:08:38 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:42673) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PpRC1-0007FQ-6A; Tue, 15 Feb 2011 16:08:13 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PpRBx-0001pS-7F for categories-list@mlist.mta.ca; Tue, 15 Feb 2011 16:08:09 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6536 Archived-At: Dear Colleagues, =20 This is the Final Call for Papers for MFPS 27. The deadline for = submitting titles and short abstracts in next Monday, February 21, and = the deadline for full papers is the following Monday, February 28. Below = are the details: FINAL CALL FOR PAPERS MFPS XXVII http://www.math.tulane.edu/~mfps/MFPS27 Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics Carnegie Mellon University Pittsburgh, Pennsylvania, USA 25 May - 28 May 2011 The Twenty-seventh Conference on the Mathematical Foundations of = Programming Semantics will take place on the campus of Carnegie Mellon = University, Pittsburgh, PA from 25 May to 28 May 2011. MFPS conferences = are devoted to those areas of mathematics, logic, and computer science = that are related to models of computation, in general, and to the = semantics of programming languages, in particular. The series has = particularly stressed providing a forum where researchers in mathematics = and computer science can meet and exchange ideas about problems of = common interest. As the series also strives to maintain breadth in its = scope, the conference strongly encourages participation by researchers = in neighbouring areas. TOPICS include, but are not limited to, the following: biocomputation; = concurrent qualitative and quantitative distributed systems; process = calculi; probabilistic systems; constructive mathematics; domain theory = and categorical models; formal languages; formal methods; game = semantics; lambda calculus; programming-language theory; quantum = computation; security; topological models; logic; type systems; type = theory. We also welcome contributions that address applications of = semantics to novel areas such as complex systems, markets, and networks, = for example. INVITED SPEAKERS: Stephen Brookes, CMU J=E9r=F4me Feret, INRIA John Reynolds, CMU Alex Simpson, Edinburgh Stephanie Weirich, Penn Steve Zdancewic, Penn SPECIAL SESSIONS: * A Special Session Honoring John Reynolds on his 75th birthday, = organised by Stephen Brookes (CMU) and Peter O=92Hearn (QMW, London). * A Special Session on Systems Biology, held in conjunction J=E9r=F4me = Feret=92s plenary talk, and organised by Jean Krivine (Paris VII & = CNRS). * A Special Session on Security, held in conjunction with Steve = Zdancewic=92s plenary talk, and organised by Catherine Meadows (NRL). TUTORIALS: There will be four tutorials on Programs from Proofs that = will be given during the course of the meeting. The lectures are = organised by Martin Escard=F3 and Achim Jung (Birmingham). The speakers = include Ulrich Berger (Swansea), Martin Escard=F3 (Birmingham), Paulo = Oliva (Queen Mary), and Monika Seisenberger (Swansea). PROGRAM COMMITTEE: Amal Ahmed, Indiana U, USA Lars Birkedal, ITU, Denmark Stephen Brookes, Carnegie Mellon U, USA Corina Cirstea, U Southampton, UK Bob Coecke, U Oxford, UK V=E9ronique Cortier, CNRS / Loria, France Vincent Danos, U Edinburgh, UK Anupam Datta, Carnegie Mellon U, USA Jos=E9e Desharnais, U Laval, Canada Philippa Gardner, Imperial College, UK Dan Ghica, U Birmingham, UK Jane Hillston, U Edinburgh, UK Bart Jacobs, Radboud U, Netherlands Achim Jung, U Birmingham, UK Jean Krivine, Paris 7 & CNRS, France Catherine Meadows, NRL, USA Michael Mislove, Tulane U, USA Peter O'Hearn, Queen Mary, U London, UK Jo=EBl Ouaknine, U Oxford, UK (Chair) Catuscia Palamidessi, INRIA, France Prakash Panangaden, McGill U, Canada Grigore Rosu, U Illinois, USA Davide Sangiorgi, U Bologna, Italy Peter Sewell, U Cambridge, UK Gianluigi Zavattaro, U Bologna, Italy IMPORTANT DATES: - 21 February 2011 Title and Short Abstract submission deadline - 28 February 2011 Paper submission deadline - 31 March 31 2011 Notification to authors - 15 April 15 2011 Preliminary proceedings version due SUBMISSIONS should be prepared using ENTCS Macros, available from = http://www.entcs.org. Submissions should be in the form of a PDF file = not exceeding 15 pages in length. Submissions are now open on the = EasyChair website: http://www.easychair.org/conferences/?conf=3Dmfps2011 PROCEEDINGS: There will be a preliminary proceedings of the conference = papers that will be distributed at the meeting, with a final proceedings = published in ENTCS after the meeting. The Organisers of the MFPS series are Stephen Brookes (CMU), Achim Jung = (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and = Prakash Panangaden (McGill). The local arrangements for MFPS XXVII are = being overseen by Stephen Brookes (CMU). MFPS mfps@math.tulane.edu MFPS mfps@math.tulane.edu [For admin and other information see: http://www.mta.ca/~cat-dist/ ]