Dear Colleagues, Below is the Final Call for Papers for MFPS 25, which will be held at Oxford, UK from April 3 - 7, 2009. We encourage submissions in all areas relating to the topics of the meeting. Best regards, Mike MIslove = = = = = = = = ======================================================================== 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 Partially Supported by US Office of Naval Research In commemoration of the founding of denotational semantics in the work of Dana Scott and Christopher Strachey, the Twenty-fifth Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of the University of Oxford, Oxford UK from April 3 - 7, 2009. 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 neighboring areas. TOPICS include, but are not limited to, the following: biocomputation; concurrent and distributed computation; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; logic; probabilistic systems; process calculi; programming-language theory; quantum 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 year, which is being organized by Dan Ghica (Birmingham) and Pete O'Hearn (QMW), and will begin with David Schmidt's plenary talk. - A Session on Security will be held in conjunction with Catherine Meadow's plenary talk. It is being organized by Catherine Meadows and A. W. Roscoe (Oxford). - A Session Honoring Michael Mislove on the occasion of his 65th birthday year, which is being organized by Achim Jung (Birmingham), Samson Abramsky (Oxford) and Steve Brookes (CMU). It will be held in conjunction with Dana Scott's plenary address. - A Session on Mathematical Structured Programming will be held in conjunction with Neil Ghani's plenary address. It is being organized by Neil Ghani and will consist of next spring's meeting of MSFP. In addition, there will be five TUTORIAL TALKS on Quantum Information and Quantum Computing. These are being organized by Samson Abramsky (Oxford) and Bob Coecke (Oxford). The talks will be given at the start of each day of the meeting. These talks are aimed at providing background for participants to take part in the Workshop on Quantum 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à 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é Paris Diderot, France from submissions received in response to this Call for Papers. SUBMISSIONS The submissions are now open, and they are organized through EasyChair. To submit a paper for the meeting, point your browser at http://www.easychair.org/conferences/?c=.120373;conf=mfps25 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