[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=========================================================
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!AESa8LpVMtsYaATjO9svwu5Xl-UxG4xsdCMiwsvkhC4i3wuhN08YNB3RJafmGmgd2d4sMsGj5STdwA$
==========================================================
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.
-------------------------------------------------
INVITED SPEAKERS:
Barbara König, University of Duisburg--Essen
Anca Muscholl, Université Bordeaux
Daniela Petrisan, Université Paris Cité
Frank Pfenning, Carnegie Mellon University
-------------------------------------------------
SPECIAL SESSIONS:
1. Species of Structures in Algebra, Computation, and Logic
Organizer: Marcelo Fiore, University of Cambridge
Organizer: Nicola Gambino, University of Leeds
2. Relational Verification and Formal Reasoning
Organizer: Marco Gaboardi, Boston University
3. Algebraic Effects
Organizer: Ningning Xie, University of Cambridge
-------------------------------------------------
PROGRAM COMMITTEE:
Sandra Alves, University of Porto
Arthur Azevedo de Amorim, Boston University
Lars Birkedal, Aarhus University
Steve Brookes, Carnegie Mellon University
Jacques Carette, McMaster University
Pierre Clairambault, CNRS and ENS Lyon
Jérémy Dubut, National Institute of Informatics, Tokyo
Daniel Gratzer, Aarhus University
Amar Hadzihasanovic, Tallinn University of Technology
Masahito Hasegawa, Kyoto University
Favonia, University of Minnesota
Justin Hsu, Cornell University (co-chair)
Achim Jung, University of Birmingham
Delia Kesner, Université Paris-Diderot
Isabella Mastroeni, Università di Verona
Michael Mislove, Tulane University
Renato Neves, Minho University
Max New, University of Michigan
Krishna S, IIT Bombay
Taro Sekiyama, National Institute of Informatics, Tokyo
Alexandra Silva, Cornell University
Sam Staton, University of Oxford
Christine Tasson, Sorbonne Université (co-chair)
Maaike Zwart, IT University of Copenhagen
-------------------------------------------------
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
-------------------------------------------------
SUBMISSION INSTRUCTIONS:
Submissions should be made through EasyChair
(<https://urldefense.com/v3/__https://easychair.org/conferences/?conf=mfps2022__;!!IBzWLUs!AESa8LpVMtsYaATjO9svwu5Xl-UxG4xsdCMiwsvkhC4i3wuhN08YNB3RJafmGmgd2d4sMsF1lkf8MA$
>). Papers can be at most **15
pages** long, excluding bibliography, and should be prepared using the MFPS
macros
(<https://urldefense.com/v3/__https://mfpsconf.org/?page_id=309__;!!IBzWLUs!AESa8LpVMtsYaATjO9svwu5Xl-UxG4xsdCMiwsvkhC4i3wuhN08YNB3RJafmGmgd2d4sMsHdSLwO9w$
>).
-------------------------------------------------
PROCEEDINGS:
A preliminary version will be distributed at the meeting. Final proceedings
will be published in an open access journal after the meeting.
-------------------------------------------------
CONTACT:
For any further information about MFPS 2022, please contact the co-chairs:
Justin Hsu (em...@justinh.su) and Christine Tasson (christine.tas...@lip6.fr).
