[TYPES/announce] First CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics

[Justin Hsu]

=========================================================

CALL FOR PAPERS:  MFPS XXXVIII (MFPS 2022)

38th Conference on Mathematical Foundations of Programming Semantics

July 11-13, 2022

Hybrid, from Ithaca, NY, USA

https://urldefense.com/v3/__https://www.cs.cornell.edu/mfps-2022/__;!!IBzWLUs!HH0v3UHPOH2BiqMDHP3L8vlBjaM_d3HrN5zh1xYnV2TSpQd3DK4uF5wgT1UL2NaXPnrCAr1dFwyE-Q$ 

==========================================================

IMPORTANT DATES (anywhere on earth):

Paper submission:       April 29, 2022

Author notification:     June 10, 2022

Final version due:       June 24, 2022

==========================================================

We are delighted to announce the 38th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2022).  While the pandemic situation is uncertain, we plan to hold a hybrid conference with the in-person event at Cornell University in Ithaca, New York.

MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.

Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.

-------------------------------------------------

PROGRAM COMMITTEE and SUBMISSION INSTRUCTIONS:

The list of program committee members and the submission instructions will be announced soon.

-------------------------------------------------

MFPS ORGANIZERS:

Andrej Bauer, University of Ljubljana
Lars Birkedal, Aarhus University
Stephen Brookes, Carnegie Mellon University
Justin Hsu, Cornell University
Achim Jung, University of Birmingham
Catherine Meadows, Naval Research Laboratory
Michael Mislove, Tulane University
Joël Ouaknine, Max Planck Institute for Software Systems
Prakash Panangaden, McGill University
Alexandra Silva, Cornell University
Sam Staton, University of Oxford
Christine Tasson, Sorbonne Université

-------------------------------------------------

LOCAL ORGANIZERS:

Dexter Kozen, Cornell University
Alexandra Silva, Cornell University

-------------------------------------------------

CONTACT

For any further information about MFPS 2022, please contact the co-chairs: Justin Hsu (email at justinh.su) and Christine Tasson (christine.tasson at lip6.fr).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220204/e9d8e75a/attachment-0001.htm>