[TYPES/announce] MFPS 30: Call for participation and registration

[Alexandra Silva]

[ - posting on behalf of Mike Mislove, apologies for multiple copies -]

Dear All,

This is a Call for Participation and Registration for MFPS 30, which will
take place on the campus of Cornell University in Ithaca, NY from Thursday,
June 12 through midday Sunday, June 15. The MFPS program features invited
talks by Nick Benton, (Microsoft Cambridge), Andy Gordon (Microsoft
Cambridge), Elham Kashefi (Edinburgh), Dexter Kozen (Cornell), Prakash
Panangaden (McGill), and Alexandra Silva (Radboud). In addition there will
be a special session on probabilistic programming associated with Andy
Gordon's plenary talk, as well as one on quantum computing associated with
Elham Kashefi's plenary talk. There also will be a series of tutorial
lectures on labeled Markov processes featuring talks by Prakash Panangaden,
Josee Desharnais (Laval), Radu Mardare (Aalborg) and Doina Precup (McGill).

You can find more information about MFPS, including a list of accepted
papers and the program for the conference, at
http://www.cs.cornell.edu/Conferences/MFPS30/ You also will find links
there for registration for the meeting, and information about hotel
arrangements.

   Best regards,
   Mike Mislove
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140603/e215334e/attachment.html>