From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3005 Path: news.gmane.org!not-for-mail From: Michael Mislove Newsgroups: gmane.science.mathematics.categories Subject: MFPS 22 Second Call for Papers Date: Sun, 22 Jan 2006 17:03:28 -0600 Message-ID: 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 1241019040 6858 80.91.229.2 (29 Apr 2009 15:30:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:30:40 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Jan 24 11:38:22 2006 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 24 Jan 2006 11:38:22 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1F1Q83-0005C4-KK for categories-list@mta.ca; Tue, 24 Jan 2006 11:30:43 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 31 Original-Lines: 32 Xref: news.gmane.org gmane.science.mathematics.categories:3005 Archived-At: Dear Colleagues, We are now accepting submissions for MFPS 22, which will take place in Genova, Italy on May 24 - 27, 2006. The invited speakers for MFPS 22 include Marcelo Fiore (Cambridge), Eugenio Moggi (Genova), Prakash Panangaden (McGill), Davide Sangiorge (Bologna), Peter Selinger (Dalhousie) and Steve Zdancewic (Penn). In addition, there will be special sessions on security, on timed systems, and on quantum computing. There also will be a Tutorial Day on May 23 on Separation Logic; the lecturers will be Stephen Brookes (CMU), Peter O'Hearn (QMW) and John Reynolds (CMU). Researchers are encouraged to submit papers in programming semantics, its mathematical and logical foundations and related areas, as well as in the areas listed above. Submissions should be made in the form of a PostScript or pdf file thact can be printed on any standard printer. The deadline for submissions is Midnight, Pacific Standard Time, Wednesday, February 22, 2006. More information about the meeting together with precise instructions about submissions can be found at the MFPS 22 web 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 ===============================================