From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3032 Path: news.gmane.org!not-for-mail From: Michael Mislove Newsgroups: gmane.science.mathematics.categories Subject: MFPS Final Call for Papers Date: Wed, 15 Feb 2006 15:15:53 -0600 Message-ID: <10983587-DA74-49E2-B737-9D8CA8BF4152@math.tulane.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (Apple Message framework v746.2) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019055 6955 80.91.229.2 (29 Apr 2009 15:30:55 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:30:55 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Feb 15 17:41:12 2006 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 15 Feb 2006 17:41:12 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1F9UJ6-0000Gs-De for categories-list@mta.ca; Wed, 15 Feb 2006 17:35:28 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 15 Original-Lines: 37 Xref: news.gmane.org gmane.science.mathematics.categories:3032 Archived-At: Dear Colleagues, This is a reminder that the deadline for submission to MFPS 22 is next Wednesday, February 22. The twenty-second conference on the Mathematical Foundations of Programming Semantics will take place in Genoa, Italy from May 24 through May 27, 2006. The invited speakers are: Marcelo Fiore, Cambridge Eugenio Moggi, Genova Prakash Panangaden, McGill Davide Sangiorgi, Bologna Peter Selinger, Dalhousie Steve Zdancewic, Penn In addition, we are planning three special sessions, one on Security, organized by Catherine Meadows (NRL), another on Real-time Systems, organized by Joel Ouaknine and James Worrell (Oxford), and one on Quantum Computing, organized by Michael Mislove, Prakash Panangaden and Peter Selinger. The remainder of the program will consist of paper submitted in response to this Call. Authors interested in submitting a paper for the meeting should submit an extended abstract of 15 pages or less to mfps@math.tulane.edu The submission should be in the form of a pdf file or PostScript file suitable for printing on a standard printing device. Authors of accepted papers will be notified by March 25. More details about the meeting, including the list of PC members, is available at the MFPS 22 home page http://www.math.tulane.edu/ ~mfps/mfps22,htm Best regards, Mike Mislove =============================================== 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 ===============================================