MFPS 26 - First Call for Papers

MFPS 26 - First Call for Papers

[Michael Mislove]

Dear Colleagues,

Below is the first Call for Papers for MFPS 26, which will be held at  
the University of Ottawa, Ontario, Canada  from May 6 - 10, 2010. We  
encourage submissions in all areas relating to the topics of the  
meeting.

  Best regards,
  Mike MIslove

= 
= 
= 
= 
= 
= 
= 
= 
========================================================================

		  FIRST CALL FOR PAPERS

			        MFPS XXVI
	    http://www.math.tulane.edu/~mfps/mfps26

		   Twenty-sixth Conference on the
		     Mathematical Foundations of
			Programming Semantics

		           University of Ottawa
		       Ottawa, Ontario, Canada
                              May 6 - 10, 2010
				
	  Partially Supported by US Office of Naval Research


The Twenty-sixth Conference on the Mathematical Foundations of  
Programming Semantics will take place on the campus of the University  
of Ottawa, Ontario, Canada UK from May 6 - 10, 2010. 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 XXVI are

Amal Ahmed, Indiana
Martin Escardo, Birmingham
Cedric Fournet, Microsoft, Paris
Pieter Hofstra, Ottawa
Jean Krivine, PPS, Paris 7
Keye Martin, NRL

In addition, there will be four SPECIAL SESSIONS:

- A Session on Logic and Category Theory will be held in conjunction  
with Pieter Hofstra's plenary talk. The session is being organized by  
Rick Blute and Phil Scott (Ottawa).

- A Session on Domain Theory will be held in conjunction with Martin  
Escardo's plenary talk. It is being organized by Dr. Escardo.

- A Session on Systems Biology will be held in conjunction with Jean  
Krivine's plenary talk. The session is being organized by Dr. Krivine.

- A Session on Security will be held in conjunction with Cedric  
Fournet's plenary address. It is being organized by Catherine Meadows  
(NRL).

In addition, there will be four TUTORIAL TALKS on Model Checking and  
Verification. These are being organized by Prakash Panangaden  
(McGill), and include talks by Amy Felty (Ottawa), Joel Ouaknine  
(Oxford) and Jams Worrell (Oxford), as well as by Professor  
Panangaden. The talks will be given during the course of the meeting.

The remainder of the program will consist of papers selected by the  
following PROGRAM COMMITTEE

Ulrich Berger, U Swansea, UK
Stephen Brookes, Carnegie Mellon U, USA
Venanzio Capretta, U Nottingham, UK
Vincent Danos, U Edinburgh, UK
Thomas Hildebrandt, IT University, Copenhagen
Achim Jung, U Birmingham, UK
Guy McCusker, U Bath, UK
Catherine Meadows, NRL, USA
Paul-André Melliès, Paris 7, France
Michael Mislove, Tulane U, USA
Peter O'Hearn, Queen Mary U London, UK
Prakash Panangaden, McGill U, Canada
Catuscia Palamidessi, INRIA, France
Brigitte Pientka, McGill U, Canada
Benjamin Pierce, U Pennsylvania, USA
Davide Sangiorgi, U Bologna, Italy
Andrea Schalk, U Manchester, UK
Philip Scott, U Ottawa, Canada
Peter Selinger, chair, Dalhousie U, Canada
Benoît Valiron, LIG Grenoble, 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:

- February 5, 2010		Title and Short Abstract submission deadline

- February 12, 2010		Paper submission deadline

- March 15, 2010        		Notification to authors

- April 2, 2010			Preliminary proceedings version due

There will be a preliminary proceedings of the conference papers that  
will be distributed at the meeting, with a final proceedings published  
in ENTCS after the meeting. Submissions to the meeting should be  
prepared using ENTCS Macros, which are available from the ENTCS Macro  
Web Pages http://www.entcs.org Submissions should be in the form of a  
pdf file not to exceed 15 pages in length.

MFPS is organized by Stephen Brookes (CMU), Achim Jung (Birmingham),  
Catherine Meadows (NRL), Michael Mislove (Tulane) and Prakash  
Panangaden (McGill). The local organizers for MFPS 26 are Rick Blute  
and Phil Scott (Ottawa).


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]