[TYPES/announce] MFPS 23 Call for Participation
Michael Mislove
mislove at tulane.edu
Thu Mar 15 10:08:28 EDT 2007
Dear Colleagues,
This is a Call for Participation for the 23rd Conference on the
Mathematical Foundations of Programming Semantics. The meeting will
take place on the campus of Tulane University in New Orleans, LA from
April 11 through April 14.
The meeting will include invited lectures by Stephen Brookes
(CMU), Jane Hillston (Edinburgh), John Mitchell (Stanford), Gordon
Plotkin (Edinburgh) and John Power (Edinburgh). In addition there
will be a special session honoring Gordon Plotkin on the 60th
birthday, as well as special sessions on Security, on Systems Biology
and on Physics, Information and Computation. The balance of the
program is made up of papers submitted in response to the Call for
Papers that was circulated last fall. A copy of the full program is
available at http://www.math.tulane.edu/~mfps/program23.htm
In addition to the conference, there will be a Tutorial Day on
Domain Theory on April 10, with lectures by Achim Jung (Birmingham),
Alex Simpson (Edinburgh), Andrej Bauer (Slovenia) and Giuseppe
Rosolini (Genoa).
To find out more about the meeting and to register, point your
browser at http://www.math.tulane.edu/~mfps/mfps23.htm
Best regards,
Mike Mislove
===============================================
Professor Michael Mislove Phone: +1 504 862-3441
Department of Mathematics FAX: +1 504 865-5063
Tulane University URL: http://www.math.tulane.edu/~mwm
New Orleans, LA 70118 USA
===============================================
More information about the Types-announce
mailing list