Mathematical Foundations of
Programming Semantics
Twenty-fourth Conference on the 
Mathematical Foundations of
Programming Semantics
University of Pennsylvania
Philadelphia, PA USA
May 22 - May 25, 2008
 
Partially Supported by the
US Office of Naval Research
The Twenty-fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV) will take place on the campus of University of Pennsylvania, Philadelphia, PA USA from Thursday, May 22 through Sunday, May 25, 2008.
The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which 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: bio-computation; categorical models; concurrent and distributed computation; constructive mathematics; domain theory; formal languages; formal methods; game semantics; lambda calculus; logic; non-classical computation; probabilistic systems; process calculi; program analysis; programming-language theory; quantum computation; rewriting theory; security; specifications; topological models; type systems; type theory.
The invited speakers for MFPS XXIV are
Samson Abramsky
Oxford
Luca Cardelli
Microsoft Cambridge
Dusko Pavlovic
Kestrel Institute
Benjamin Pierce
Penn
Phil Scott
Ottawa
James Worrell
Oxford
In addition, there will be four special sessions:
    •    A session honoring Phil Scott on the occasion of his 60th birthday year, which is being organized by Rick Blute (Ottawa) and Andre Scedrov (Penn). The speakers in this session include Rick Blute (Ottawa), Guy Beaulieu (Ottawa), Peter Dybjer (Chalmers), Peter Freyd (Penn), Esfan Haghverdi (Indiana) and Masahiro Hamano (Japan AIST).
  
    •    A session on Systems Biology will be held in conjunction with Luca Cardelli's plenary talk. It is being organized by Jean Krivine (Havard Medical School). The speakers include Eric Mjolness (UC Irvine), Cosimo Laneve (Bologna), Vashti Galpin (Edinburgh) and Dr. Krivine.  
 
    •    A third session will be devoted to Type Theory. It is being organized by Benjamin Pierce and by Robert Harper (CMU) will be held in conjunction with Benjamin Pierce's plenary talk. The speakers include Andrew Gordon (Microsoft, Cambridge), James McKinna (St. Andrews) and Aleks Nanevski (Harvard).
 
    •    The fourth special session will be on Security, and will be organized by Catherine Meadows (NRL) in conjunction with Dusko Pavlovic's plenary talk. The speakers will be announced soon.
 
Here is a list of accepted talks what will be presented at the meeting.
 
Tutorial Day
In addition to the MFPS program, there will be a TUTORIAL DAY on May 21. The topic will be Category Theory and Its Applications to Theoretical Computer Science. The tutorials are being organized by Phil Scott (Ottawa); the speakers are
    •    Marcelo Fiore (Cambridge).
    •    Nicola Gambino (Leicester).
    •    Pieter Hofstra (Ottawa).
    •    Peter Selinger (Dalhousie).
 
 The Tutorial Day is free to all those who are interested in attending.
Registration
Registration for MFPS 24 is now open. The registration form includes a reservation form for the conference hotel in Philadelphia, as well as information about the social events for the meeting, which include a reception honoring the participants and the conference dinner. Because rooms at the conference hotel are being held only until April 20, we strongly urge participants to register now. Here is a link to the Registration Form.