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

MFPS 16 Call for Participation

Dear Colleagues,
   Below is the Call for Participation in MFPS 16, which will take place on 
the campus of Stevens Institute of Technology in Hoboken, NJ from April 13 
to April 16, 2000. 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. The deadline for 
registration is March 20. After that date, we will no longer be able to 
guarantee the availability of hotel rooms or that the conference rate at 
the hotel will remain available.
   As the note below indicates, the program for the meeting will be 
available within a few days. All those who submitted a request to give a 
talk will be accommodated, but there is no room for additional slots.
   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 If you are interested in attending 
MFPS, then you should register by March 20, 2000. While we will continue to 
take registrations after that date, 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 20.

			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 ]