[TYPES/announce] Final 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!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 (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/20220412/71ff36db/attachment-0001.htm>