Subject: MFPS Program and Registration Information Date: 12 Feb 1997 16:25:44 GMT From: mislove@rs1.tcs.tulane.edu (Mike Mislove) Organization: Tulane University Newsgroups: comp.theory Dear Colleagues, Below is the Program for this year's MFPS meeting. The meeting will take place on the campus of Carnegi Mellon University from March 23 to March 26. Registration information can be accessed by following the link at the MFPS Home Page http://www.math.tulane.edu/MFPS.html. Best regards, Mike Mislove ==================================================================== MFPS XIII _________________________________________________________________ Thirteenth Conference on the Mathematical Foundations of Programming Semantics Carnegie Mellon University Pittsburgh, PA USA March 23 - 26, 1997 _________________________________________________________________ Partially Supported by the US Office of Naval Research _________________________________________________________________ The Thirteenth Conference on the Mathematical Foundations of Programming Semantics will take place on the campus of Carnegie Mellon University in Pittsburgh, PA from March 23 to March 26, 1997. 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. Registration information is available at the bottom of this announcement. _________________________________________________________________ Program SUNDAY, MARCH 23 1:15 pm Welcome 1:30 pm Invited Address Glynn Winskel (BRICS) 2:30 pm Coherence Completions of Categories Hongde Hu (Penn) and Andre Joyal (McGill) 3:00pm Break 3:30pm Phase Semantics for Light Linear Logic A. Scedrov (Penn), M. I. Kanovich (Moscow) and M. Okada (Keio University) 4:00pm Towards Full Completeness for the Linear Logic of Chu Spaces V. Pratt (Stanford) 4:30pm Multi Lingual Sequent Calculus and Coherent Spaces A. Jung, M. Kegelmann and M. A. Mosheir (Birmingham) 5:00pm Sketches Y. Kinoshita (Electrotechnical Laboratory, Japan), J. Power (Edinburgh) and M. Takeyama (Chalmers University) MONDAY, MARCH 24 9:00am Invited Address Patrick Cousot (Ecole Normal Superieure) 10:00am Continuation Semantics and Self-Adjointness H. Thielecke (Edinburgh) 10:30am Break 10:50pm A Categorical Account of Two-level Languages E. Moggi (Genoa) 11:20pm Correctness of a Region-Based Binding-Time Analysis P. J. Thiemann (Tuebingen) 1:00pm -- 6:00pm SPECIAL SESSION HONORING DANA S. SCOTT Invited Address A. P. Pitts (Cambridge) Followed by Talks By: Samson Abramsky (Edinburgh), Peter Freyd (Penn), Achim Jung (Birmingham), Klaus Keimel (Darmstadt), Giuseppe Rosolini (Genoa), Michael Smyth (Imperial), Kim Wagner (Cambridge) TUESDAY, MARCH 25 9:00am Invited Address Kim Larsen (Aalborg) 10:00am A Framework for Fair Communicating Processes Susan Older (Syracuse) 10:30am Break 11:00am Idealized CSP: Combining Procedures With Communicating Processes Stephen Brookes (CMU) 11:30pm Infinite Computations in Concurrent Constraint Programming Frank de Boer (Utrecht) and M. Gabbrielli (Pisa) 12:00pm Failures, Finiteness, and Full Abstraction F. van Breugel (Pisa) 2:00pm Invited Address Abbas Edalat (Imperial) 3:00pm Products and Powerspaces in Quantitative Domain Theory P. Suenderhauf (Imperial) 3:30pm Break 4:00pm Computational Models for Ultrametric Spaces Bob Flagg (Southern Maine) and Ralph Kopperman (CUNY) 4:30pm Abstract Valuations: A Novel Representation of the Plotkin Power Domain and the Vietoris Hyperspace Reinhold Heckmann (Saarbruecken) 5:00pm A Powerdomain of Possibility Measures, Michael Huth 5:30pm Resolution in the Smyth Powerdomain G.-Q. Zhang (Georgia) and W. Rounds (Michigan) WEDNESDAY, MARCH 26 9:00am Modularity J. Power (Edinburgh) 9:30am A Notion of Classical Pure Type System Gilles Barth (CWI), John Hatcliff (Oklahoma State) and Morten Sorenson (DIKU) 10:00am The Category of Cpos From a Synthetic Viewpoint M. Fiore (Edinburgh) and G. Rosolini (Genoa) 10:30am Break 11:00am Invited Address Dana Scott (CMU) End of Program 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 XIII are Stephen Brookes and Michael Mislove, As with MFPS XI, a preliminary Proceedings will be distributed to participants at the meeting; the formal Proceedings of the conference will be published as a volume of the Electronic Notes in Theoretical Computer Science. For information about this series, access the URL http://www.elsevier.nl/locate/entcs. In addition to supporting the conference overall, we anticipate funds provided by the Office of Naval Research which can be used to help offset expenses of graduate students. Women and minorities also are encouraged to inquire about possible support to attend the meeting. _________________________________________________________________ Registration Information Detailed information about registration and accommodations now is available. If you wish to register for the meeting, access the MFPS Home page http://www.math.tulane.edu/MFPS.html and follow the link to the registration form. __________________________________________________________________________ General inquiries about MFPS XIII can be addressed to mfps@math.tulane.edu.