[TYPES/announce] MFPS 2023: Second Call for Papers

[Marie Kerjean]

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

SECOND 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!XfisMMLcaYiTetp4vNGudnZKnhUECx9b2D5cJs4vQ11nsS9BTuzzLbUGfIQeiNEXHb-XTGoQr6IH5O5qqOeV7YLUO77kahPSGyKYTSZ3b2a8LtqCzZA$ 

** Updated: special sessions **

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

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:

Proof Assistants, organized by Assia Mahboubi (joint session with CALCO)

Categories of bidirectional processes, organized by Jules Hedges

Semantics and Compilers, organized by Amal Ahmed

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

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, CNRS, Univ. Savoie Mont Blanc
     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!XfisMMLcaYiTetp4vNGudnZKnhUECx9b2D5cJs4vQ11nsS9BTuzzLbUGfIQeiNEXHb-XTGoQr6IH5O5qqOeV7YLUO77kahPSGyKYTSZ3b2a8CZV6-qc$ >). 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!XfisMMLcaYiTetp4vNGudnZKnhUECx9b2D5cJs4vQ11nsS9BTuzzLbUGfIQeiNEXHb-XTGoQr6IH5O5qqOeV7YLUO77kahPSGyKYTSZ3b2a8jh_3g-w$ >).

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

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) and Paul Levy 
(P.B.Levy at bham.ac.uk).