From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4771 Path: news.gmane.org!not-for-mail From: MFPS Newsgroups: gmane.science.mathematics.categories Subject: MFPS FInal Call for Papers Date: Mon, 22 Dec 2008 18:20:33 -0600 Message-ID: Reply-To: MFPS NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (Apple Message framework v929.2) Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241020162 14769 80.91.229.2 (29 Apr 2009 15:49:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:49:22 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Dec 23 09:51:36 2008 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 23 Dec 2008 09:51:36 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1LF7ce-0007SK-NH for categories-list@mta.ca; Tue, 23 Dec 2008 09:48:32 -0400 Original-Sender: categories@mta.ca Precedence: bulk X-Keywords: X-UID: 78 Original-Lines: 150 Xref: news.gmane.org gmane.science.mathematics.categories:4771 Archived-At: Dear Colleagues, Below is the Final Call for Papers for MFPS 25, which will be held =20 at Oxford, UK from April 3 - 7, 2009. We encourage submissions in all =20= areas relating to the topics of the meeting. Best regards, Mike MIslove =3D=20 =3D=20 =3D=20 =3D=20 =3D=20 =3D=20 =3D=20 =3D=20 =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=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 FIRST CALL FOR PAPERS MFPS XXV http://www.math.tulane.edu/~mfps/mfps25 Twenty-fifth Conference on the Mathematical Foundations of Programming Semantics University of Oxford Oxford, UK April 3 - 7, 2009 =09 Partially Supported by US Office of Naval Research In commemoration of the founding of denotational semantics in the work =20= of Dana Scott and Christopher Strachey, the Twenty-fifth Conference on =20= the Mathematical Foundations of Programming Semantics will take place =20= on the campus of the University of Oxford, Oxford UK from April 3 - 7, =20= 2009. MFPS conferences are devoted to those areas of mathematics, =20 logic, and computer science that are related to models of computation, =20= in general, and to the semantics of programming languages, in =20 particular. The series has particularly stressed providing a forum =20 where researchers in mathematics and computer science can meet and =20 exchange ideas about problems of common interest. As the series also =20 strives to maintain breadth in its scope, the conference strongly =20 encourages participation by researchers in neighboring areas. TOPICS include, but are not limited to, the following: biocomputation; =20= concurrent and distributed computation; constructive mathematics; =20 domain theory and categorical models; formal languages; formal =20 methods; game semantics; lambda calculus; logic; probabilistic =20 systems; process calculi; programming-language theory; quantum =20 computation; security; topological models; type systems; type theory. The INVITED SPEAKERS for MFPS XXV are Neil Ghani, Strathclyde Marta Kwiatkowska, Oxford Catherine Meadows, Naval Research Lab Michael Mislove, Tulane Dana Scott, CMU David Schmidt, Kansas State In addition, there will be four SPECIAL SESSIONS: - A Session Honoring Bob Tennent on the occasion of his 65th birthday =20= year, which is being organized by Dan Ghica (Birmingham) and Pete =20 O'Hearn (QMW), and will begin with David Schmidt's plenary talk. - A Session on Security will be held in conjunction with Catherine =20 Meadow's plenary talk. It is being organized by Catherine Meadows and =20= A. W. Roscoe (Oxford). - A Session Honoring Michael Mislove on the occasion of his 65th =20 birthday year, which is being organized by Achim Jung (Birmingham), =20 Samson Abramsky (Oxford) and Steve Brookes (CMU). It will be held in =20 conjunction with Dana Scott's plenary address. - A Session on Mathematical Structured Programming will be held in =20 conjunction with Neil Ghani's plenary address. It is being organized =20 by Neil Ghani and will consist of next spring's meeting of MSFP. In addition, there will be five TUTORIAL TALKS on Quantum Information =20= and Quantum Computing. These are being organized by Samson Abramsky =20 (Oxford) and Bob Coecke (Oxford). The talks will be given at the =20 start of each day of the meeting. These talks are aimed at providing =20 background for participants to take part in the Workshop on Quantum =20 Physics and Logic (QPL VI) immediately following MFPS in Oxford. The remainder of the program will consist of papers selected by the following PROGRAM COMMITTEE Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, CMU, USA Kostas Chatzikokolakis, TUE, The Netherlands Yuxin Deng, Shanghai Jiao Tong University, China Derek Dreyer, MPI-SWS, Germany Daniele Gorla, Sapienza Universit=E0 di Roma, Italy Jean Goubault-Larrecq, ENS Cachan, France Joshua Guttman, MITRE, USA Matthew Hennessy, TCD, Ireland Jean Krivine, Harvard Medical School, USA Achim Jung, University of Birmingham, UK Pasquale Malacaria, Queen Mary University of London, UK Keye Martin NRL, USA Catherine Meadows, NRL, USA Mike Mislove, Tulane University, USA MohammadReza Mousavi, TUE, The Netherlands Joel Ouaknine, Oxford Catuscia Palamidessi, INRIA, France (chair) Prakash Panangaden, McGill University, Canada Peter Selinger, Dalhousie University, Canada Daniele Varacca, Universit=E9 Paris Diderot, France from submissions received in response to this Call for Papers. SUBMISSIONS The submissions are now open, and they are organized through =20 EasyChair. To submit a paper for the meeting, point your browser at http://www.easychair.org/conferences/?c=3D.120373;conf=3Dmfps25 IMPORTANT DATES: - January 9 Title and Short Abstract submission deadline - January 16 Paper submission deadline - February 20 Notification to authors - March 13 Preliminary proceedings version due Mathematical Foundations of Programming Semantics http://www.math.tulane.edu/~mfps