[TYPES/announce] Call for papers: Mathematical Foundations of Programming Semantics 2023

[Paul Levy]

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


CALL FOR PAPERS:  MFPS XXXIX (MFPS 2023)


39th Conference on Mathematical Foundations of Programming Semantics


June 20-23, 2023 in Bloomington, IN, USA


Joint with CALCO


https://urldefense.com/v3/__https://coalg.org/calco-mfps-2023/mfps/__;!!IBzWLUs!SZ0Ldlr1HPIesPFL77Z7-tC1bEBD-aqIsg23ZjUUWVGMlwxKncWrvsb2YnZrlHcWDyBukldpohkvroOfVAj_sgPhz-g4R1PCZO4$ 


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


IMPORTANT DATES (anywhere on earth):


    Abstract Submission: March 24, 2023

    Paper Submission: March 31, 2023

    Notification: May 10, 2023

    Pre-proceedings : May 24, 2023

    Final (post-proceeding) versions : Autumn 2023


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


We are delighted to announce the 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2023).  It will take place at Indiana University Bloomington, with an option for remote participation.


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.


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


INVITED SPEAKERS:


Robert Harper, Carnegie Mellon University (Joint with CALCO)

Assia Mahboubi, Inria  (Joint with CALCO)

Azalea Raad, Imperial College London

Alex Simpson, University of Ljubljana


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


SPECIAL SESSIONS:


TO BE ANNOUNCED


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


PROGRAM COMMITTEE:


    Henning Basold, LIACS, Leiden University

    Andrej Bauer, University of Ljubljana

    Robin Cockett, University of Calgary

    Liron Cohen, Ben-Gurion University

    Adrian Francalanza, University of Malta

    Francesco Gavazzo, University of Pisa

    Sergey Goncharov, Dept. of Comput. Sci., FAU Erlangen-Nürnberg

    Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS

    Justin Hsu, Cornell University

    Guilhem Jaber, Université de Nantes

    Achim Jung, University of Birmingham

    Marie Kerjean, CNRS, LIPN, Université Sorbonne Paris Nord (co-chair)

    Vasileios Koutavas, Trinity College Dublin

    Neelakantan Krishnaswami, University of Cambridge

    Paul Blain Levy, University of Birmingham (co-chair)

    Maria Emilia Maietti, University of Padua

    Samuel Mimram, École Polytechnique

    Alexandre Miquel, University of the Republic (Montevideo)

    Michael Mislove, Tulane University

    Koko Muroya, RIMS, Kyoto University

    Rasmus Ejlers Møgelberg, IT University of Copenhagen

    Max New, University of Michigan

    Paige North, Utrecht University

    Filip Sieczkowski, Heriot-Watt University

    Ana Sokolova, University of Salzburg

    Sam Staton, University of Oxford

    Christine Tasson, Sorbonne University


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


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 ORGANIZER:


Larry Moss, Indiana University


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


SUBMISSION INSTRUCTIONS:


Submissions should be made through EasyChair

(https://urldefense.com/v3/__https://easychair.org/conferences/?conf=mfps2023__;!!IBzWLUs!SZ0Ldlr1HPIesPFL77Z7-tC1bEBD-aqIsg23ZjUUWVGMlwxKncWrvsb2YnZrlHcWDyBukldpohkvroOfVAj_sgPhz-g4ngO75nU$ ). 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!SZ0Ldlr1HPIesPFL77Z7-tC1bEBD-aqIsg23ZjUUWVGMlwxKncWrvsb2YnZrlHcWDyBukldpohkvroOfVAj_sgPhz-g4oYDHocM$ ).


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


PROCEEDINGS:


A preliminary version will be distributed at the meeting. Final proceedings will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). This new open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL.


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


CONTACT:


For any further information about MFPS 2023, please contact the co-chairs: Marie Kerjean (kerjean at lipn.fr<mailto:kerjean at lipn.fr>) and Paul Levy (P.B.Levy at bham.ac.uk<mailto:P.B.Levy at bham.ac.uk>).



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230119/27256683/attachment-0001.htm>