**MFPS XXXVIII (MFPS 2022), Ithaca, NY** **38th International Conference on Mathematical Foundations of Programming Semantics** ![](assets/cornell-fireworks.jpg) **MFPS 38** will be held on **July 11-13, 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](https://mfpsconf.org/) 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. (#) Important Dates * **Abstract deadline: May 3, 2022** * Submission deadline: **~~April 29, 2022~~** - **EXTENDED: May 6, 2022** * Author notification: **June 10, 2022** * Final versions: **June 24, 2022** * Conference dates: **July 11-13, 2022** All dates are [anywhere on earth](https://time.is/Anywhere_on_Earth). (#) Invited Speakers * [Barbara König](https://www.uni-due.de/theoinf/people/koenig_en.php), University of Duisburg--Essen * [Anca Muscholl](https://www.labri.fr/perso/anca/index.html), LaBRI, Université Bordeaux * [Daniela Petrisan](https://www.irif.fr/~petrisan/), IRIF, Université de Paris * [Frank Pfenning](http://www.cs.cmu.edu/~fp/), Carnegie Mellon University (#) Special Sessions Speakers will be announced when they are confirmed. (##) Species of Structures in Algebra, Computation, and Logic * Organizer: [Marcelo Fiore](https://www.cst.cam.ac.uk/people/mpf23), University of Cambridge * Organizer: [Nicola Gambino](http://www1.maths.leeds.ac.uk/~pmtng/), University of Leeds (##) Relational Verification and Formal Reasoning * Organizer: [Marco Gaboardi](https://cs-people.bu.edu/gaboardi/), Boston University (##) Algebraic Effects * Organizer: [Ningning Xie](https://xnning.github.io/), University of Cambridge (#) Organization (##) 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 Aix-Marseille Université * Jérémy Dubut, AIST, 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 We are currently forming the program committee, and we will update this list. (##) Organizing Committee * Andrej Bauer, University of Ljubljana * Lars Birkedal, Aarhus University * Steve 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://easychair.org/conferences/?conf=mfps2022). Papers can be at most **15 pages** long, excluding bibliography, and should be prepared using the MFPS macros [here](https://mfpsconf.org/?page_id=309). (#) Registration and Accommodations Conference participants can register and book accommodations [here](https://event.starrezevents.com/9783521a-dc8d-4adb-a204-8e9a03d4680e/8e0e87f0-ce7a-4061-8821-d0d098569943). (#) Proceedings A preliminary version will be distributed at the meeting. Final proceedings will be published in an open-access journal after the meeting. (#) Code of Conduct MFPS is organized in cooperation with [ACM SIGLOG](www.siglog.org), and all participants are expected to observe the ACM [code of conduct](https://www.acm.org/about-acm/policy-against-harassment). (#) Contact For any further information about MFPS 2022, please contact Justin Hsu () and Christine Tasson (). (#) Sponsors ![](assets/siglog-logo.png height="75px") ![](assets/bowers-cis-logo.png height="75px")