Second Announcement and Call for Participation


Twentieth Workshop on the 
Mathematical Foundations of
Programming Semantics

Carnegie Mellon University
Pittsburgh, PA USA
May 23 - 26, 2004

Co-located with the
Annual ASL Meeting

Supported by

US Office of Naval Research

The Twentieth Workshop on the Mathematical Foundations of Programming Semantics will take place on the campus of Carnegie Mellon University. Pittsburgh, PA USA, from Sunday, May 23 through Wednesday, May 26, 2004. This year's MFPS meeting will be co-located with the annual ASL meeting, which will be held on the CMU campus from Wednesday, May 19 through Sunday morning, May 23. More information about the ASL meeting can be found here.

Invited Speakers

The invited speakers for MFPS XX are

Christel Baier
Universität Bonn

Radha Jagadeesan
DePaul University

Pat Lincoln

Luke Ong

Dana Scott

Alex Simpson

Special Sessions

Each of the invited addresses will be followed by a special session focusing in the research interests of the speaker. These sessions and their organizers are:

o    Special Session on Model Checking organized by Professor Baier and Prakash Panangaden (McGill). This session will begin with Professor Baier's invited address, and will include talks by Joël Ouaknine (CMU) and Wang Yi (Uppsala).

o   Special Session on Hybrid Systems organized by Professor Jagadeesan, Michael Mislove (Tulane) and Prakash Panangaden. This session will begin with Professor Jagadeesan''s invited address, and will include talks by William Rounds (Michigan), Uluc Saranli (CMU) and Vijay Saraswat (IBM Yorktown).

o    Special Session on Security organized by Dr. Lincoln and Catherine Meadows (NRL). This session will begin with Dr. Lincoln's invited address, and will include talks by Lujo Bauer (CMU), Ran Canetti (IBM, Yorktown Heights), Ninghui Li (Stanford) AND Catherine Meadows.

o    Special Session on Game Theory and Semantics organized by Dr. Ong, Stephen Brookes (CMU) and Michael Mislove. This session will begin with Dr. Ong's invited address, and will include talks by Dan Ghica (Oxford), and Andrzej Murawski (Oxford).

o    Special Session on Logical Foundations and Programming Semantics organized by Professor Steve Awodey (CMU). This will be a joint session with ASL, and it will begin with Professor Scott's invited address. It will include talks by Andrej Bauer (Ljubjana) and Christopher Stone (Harvey Mudd), Martín Escardó (Birmingham), Nicola Gambino (Cambridge) and Alex Simpson.

o    Special Session on Domain Theory and Parametric Polymorphism organized by Dr. Simpson and Achim Jung (Birmingham). This session will begin with Dr. Simpson's invited address, and will include talks by Lars Birkedal (ITU Copenhagen), Ryu Hasegawa (Tokyo), Paola Maneggia (Birmingham), Andrew Pitts (Cambridge) and John Reynolds (CMU).

Special Event
Reminiscences on
Programming Languages and Their Semantics

In celebration of MFPS's twentieth year, we are planning a special event for Saturday evening, May 22. The participants are

who will participate in a discussion of how programming languages and their semantics arose and how they have evolved over the years. The event is open to the participants of both the ASL and MFPS meetings, and to the general public.

Do you have a question for the participants? If so, please send an email telling us what you would like to have the participants discuss!

Workshop Program

The program for MFPS 20 is now available at this link. More titles will be added as they become available.

Possible Support

We anticipate support from the US Office of Naval Research, a component of which includes support for women, minorities and graduate students who wish to participate in the meeting. If you plan to participate in the meeting and require some support, email MFPS describing your situation.

Registration Information

Information about registering for MFPS 20 can be accessed here. Please complete the registration form and submit it online. There is information on the registration form about hotel arrangements for the meeting.

If you have problems using the online registration form, please send email to the MFPS Email Account.

MFPS Organization

MFPS is organized by Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane) and Prakash Panagaden (McGill). The local arrangements for MFPS XX will be overseen by Professor Brookes.