[Concurrency] MFPS XXV
*Apologies for multiple copies*
Dear Colleagues,
Below is the first 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,
Catuscia Palamidessi
========================================================================
========
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).
- 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 Achim Jung.
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
Jo?l Ouaknine, Oxford University, UK
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. The
submissions will be organized through EasyChair, and further
information will be sent out nearer the time that submissions are
being accepted.
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
————————————————————————
——————-
Catuscia Palamidessi
INRIA-Futurs and LIX Office: +33 (0)1 69 33 41 17
?cole Polytechnique Fax: +33 (0)1 69 33 40 49
Rue de Saclay Email: catuscia@lix.polytechnique.fr
91128 Palaiseau, FR URL: www.lix.polytechnique.fr/~catuscia
————————————————————————
——————-
_______________________________________________
Concurrency mailing list
Concurrency@listserver.tue.nl
http://listserver.tue.nl/mailman/listinfo/concurrency