AMAST Mail 2000
[Prev][Next][Index]

MFPS 16 Hotel Deadline March 13!

Dear Colleagues,
   In any earlier message I indicated the deadline for reserving rooms at 
the conference hotel is March 20. That date is in error. The actual 
deadline for reserving rooms is March 13, 2000. We are unable to guarantee 
that rooms will be available, or that the conference rate for the hotel 
will be available after March 13. I apologize for the misinformation.
   If you are interested in attending the meeting, please go to the MFPS 16 
home page, http://www.math.tulane.edu/mfps16.html and follow the link to 
register on line for the meeting.
   If you have any questions about the meeting, please send email to 
mfps@math.tulane.edu
   Best regards,
   Mike Mislove



	Second Announcement and Call for Participation<
			MFPS XVI

		Sixteenth Workshop on the
		
	Mathematical Foundations of Programming Semantics

		Stevens Institute of Technology
		  Castle Point on the Hudson
			Hoboken, New Jersey

			April 13 - 16, 2000


    Partially Supported by the US Office of Naval Research and Steven Institute

The Sixteenth Workshop on the Mathematical Foundations of Programming 
Semantics will take place on the campus of Stevens Institute of Technology, 
Castle Point on the Hudson, Hoboken, NJ from April 13 to April 16, 2000. 
Stevens is located directly across the Hudson River from Manhattan.  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.

The invited speakers for MFPS 16 are

	Samson Abramsky        University of Edinburgh
	Rance Cleaveland          Stony Brook
	Andy Gordon		Microsoft Cambridge
	Robin Milner		University of Cambridge
	Peter O'Hearn		Queen Mary and Westfield
	Dana Scott		CMU

In addition to the invited talks, there will be three special sessions at 
the meeting.  The first will be devoted to Model Checking, and will follow 
Rance Cleaveland's invited address. It is being organized by Adriana 
Compagnoni (Stevens) and Kedar Namjoshi (Bell Labs) and will feature talks by

	Ed Clarke               (CMU)
	Bob Kurshan 	     (Bell Labs, Lucent)
	Allen Emerson 	     (UT Austin)
	Gerard Holtzmann   (Bell Labs, Lucent)

The second special session will follow Samson Abramsky's invited address, 
and it will feature talks by

	Steve Brookes 	    (CMU)
	Philippa Gardner    (Cambridge)
	Robert Harper 	    (CMU)
	David MacQueen    (Bell Labs)
	Davide Sangiorge    (INRIA)

The final special session will follow Andrew Grodon's invited talk, and it 
will be on security. It is being organized by Andrew Gordon and Catherine 
Meadows (NRL), and it will include talks by
	
	Roberto Gorrieri    (Bologna)
	Gavin Lowe          (Leicester)
	Fabio Massacci    (Siena)
	Peter Ryan          (SRI, Cambridge)
	Dave Sands 	   (Chalmers)
	Jan Vitek 	   (Purdue)

The remainder of the program will consist of talks contributed by the 
participants at the meeting.  A detailed program will be posted within a 
few days.

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 
XVI are Stephen Brookes and Michael Mislove.  Local arrangements are being 
organized by Stephen Bloom, Adriana Compagnoni and David Naumann< (Stevens 
Institute)

Additional information about the meeting will be posted at the MFPS 16 home 
page, http://www,math.tulane.edu/mfps16.html  This information also will be 
sent via email to those who request it.  To put your name on the MFPS 
mailing list, send email to mfps@math.tulane.edu.

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

		Registration Information

Detailed information about registration and accommodations is available by 
following the link on the MFPS 16 home page, 
http://www.math.tulane.edu/mfps16.html While we will continue to take 
registrations up to the start of the meeting, we cannot guarantee the 
availability of hotel rooms at the conference hotel, or that the conference 
rate at the hotel will be honored after March 13.

			Support

Stevens Institute has generously agreed to provide support for MFPS, and we 
also have some support from the US Office of Naval Research. Because of 
this, we are able to provide limited support for participants.  We will 
focus the funds we have on supporting participation by graduate students, 
and on helping support attendance by minorities and women who are 
contributing a talk at the meeting. If you are a member of one of these 
groups and are interested in obtaining support to attend the meeting, send 
email to mfps@math.tulane.edu.

			Proceedings

As with other MFPS workshops, the Proceedings of MFPS 16 will consist of a 
special issue of the journal Theoretical Computer Science. All participants 
at the meeting (whether they present a talk or not) will be invited to 
submit a paper for the Proceedings; these submissions will be refereed to 
the usual TCS standards. Detailed information about the Proceedings will be 
available shortly after the meeting.





=============================================================
Michael W. Mislove
Professor and Chairman                    Phone: +1 504 862-3441
Department of Mathematics               FAX: +1 504 865-5063
Tulane University                               Email: mwm@math.tulane.edu
New Orleans, LA 70118
USA
URL: http://www.math.tulane.edu/mislove.html
=============================================================
[ AMAST Mail 2000 | Latest Update | AMAST Mail Meta-Index | AMAST ]