Call for Participation

 and

 Registration Information

MFPS XVII

MFPS XVII is co-located with PADO II and with ICC'01

Seventeenth Conference on the 
Mathematical Foundations of
Programming Semantics

Aarhus University
Aarhus, Denmark
May 23 - May 27, 2001

Partially Supported by

           and 

                                                                                                US Office of Naval Research

The Seventeenth Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of Aarhus University in Aarhus, Denmark from May 23 through May 26, 2001. The MFPS conferences are devoted to those areas of mathematics, logic and computer science which are related to the semantics of programming languages. The series particularly has stressed providing a forum where both mathematicians and computer scientists can meet and exchange ideas about problems of common interest. We also encourage participation by researchers in neighboring areas, since we strive to maintain breadth in the scope of the series.

Preliminary Program

Wednesday, May 23

Afternoon

Welcome

Special Session Honoring Neil Jones

Olivier Danvy (Aarhus), Invited Talk

Including talks by: Radhia Cousot (Ecole Polytechnique), John Hannan (Penn State), John Hughes (Chalmers), Dave Schmidt (Kansas State) and Peter Sestoft (KVL)

Thursday, May 24

Morning

Prakash Panangaden (McGill), Invited Talk

Annabelle McIver, A generalisation of stationary distributions, and probabilistic program algebra

Stephen Brookes, Transfer principles for reasoning about concurrent programs

James Laird, A game semantics of idealized CSP

Fabio Gadducci and Ugo Montanari (Pisa), A concurrent graph semantics for mobile ambients

Afternoon

Kim Larsen (Aalborg), Invited Talk

Special Session on Model Checking
Including talks by: Josee Desharnais (McGill), Henrik Jensen (BRICS), Gavin Lowe (Oxford), Catherine Meadows (NRL)

Friday, May 25

Morning

Joshua Guttman (Mitre), Invited Talk

Special Session on Security
Including talks by: Andrew Gordon* (Cambridge) and Alan Jeffrey (DePaul), Dusko Pavlovic (Kestrel), Thomas Jensen (Irisa), Gavin Lowe (Oxford), Catherine Meadows (NRL), and Andre Scedrov (Penn)

Afternoon

Glynn Winskel (Cambridge), Invited Talk

Gordon Plotkin and John Power* (Edinburgh), Semantics for algebraic operations

Achim Jung (Birmingham), Mathia Kegelman (Darmstadt) and Andrew Moshier (Chapman), Stably compact spaces and closed relations

Daniel Damian (BRICS), Time stamps for fixed point approximation

Andrej Bauer (CMU), A relationship between equilogical spaces and type two effectivity

Saturday, May 26

Jan Rutten (CWI), Invited Talk

Martin Hyland (Cambridge) and John Power* (Edinburgh), Pseudo-commutative monads

Keye Martin (Oxford), Unique fixed points in domain theory

Pawel Waszkiewicz (Birmingham), Distance and measurement in domain theory

Lei Fan  (Capitol Normal University, Beijing), A new approach to quantitative domain theory

Afternoon

Hayo Thielecke (Birmingham), Comparing control constructs by comparing double-barrelled CPS transforms

Lasse Nielsen (BRICS), A selective CPS transformation

Dan Ghica (Queens), Regular-Language Semantics for a Call-by-Value Programming Language

John Power* and Konstantinos Tourlas (Edinburgh), An algebraic foundation for graph-based diagrams in computing

Neil Jones (DIKU), Invited Address

End of Program
The Program Committee Co-chairs for the meeting are Stephen Brookes and Michael Mislove. The Program Committee also includes: In addition to supporting the conference overall, the support provided by the Office of Naval Research makes funds available to help offset expenses of graduate students. Women and minorities also are encouraged to inquire about possible support to attend the meeting. Requests for support to attend the meeting should be addressed to mfps@math.tulane.edu

The Organizing Committee for MFPS consists of Stephen Brookes (CMU), Michael Main (Colorado), Austin Melton (Kent State University), Michael Mislove(Tulane) and David Schmidt (Kansas State). The Co-chairs for MFPS XVII are Olivier Danvy,Michael Mislove and David Schmidt.

General inquiries about MFPS XVII can be addressed to mfps@math.tulane.edu.

Registration Information

Online registration is now available. Simply go to the Combined Meetings Registration Page and you can register for the meeting and request a room at the hotel or the B & B where lodgings are available. As indicated above, hotel reservations should be secured as soon as possible, and certainly by April 30. If you encounter any problems registering online, send email to Karen Kjfr Mxller.

The registration fee for each meeting is:

ICC'01   100 DKK
PADO II   550 DKK
MFPS 17   650 DKK
All three meetings 1300 DKK
Payments can be made by credit card, but only in advance of the meeting. The registration fee includes refreshments at breaks during the meeting, lunch each day of the meeting, and, in the case of MFPS, a reception for MFPS the evening of May 23 as well as a copy of the preliminary Proceedings of MFPS 17. Payments at registration must be in cash only.

The MFPS Conference Dinner will take place on Firday evening, May 25. The dinner costs 250 DKK, and includes a welcome drink, Italian antipasti buffet, a choice from three main dishes, 1/2 bottle of wine, and coffee. You should indicate any dietary restrictions you need to have observed in your email registering for the meeting.

Proceedings

The Proceedings of MFPS 17 will appear as a volume in the series Electronic Notes in Theoretical Computer Science. Authors will be notified during the meeting about the schedule for producing the final proceedings.

A preliminary version of the Proceedings will be distributed to all participants at the meeting.