From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=DATE_IN_PAST_24_48, LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 8614 invoked from network); 9 Mar 2023 02:21:16 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 9 Mar 2023 02:21:16 -0000 Received: from rr.mta.ca ([198.164.44.159]:43706) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pa5t8-0008Cg-Lq; Wed, 08 Mar 2023 22:20:14 -0400 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pa5sg-0005xo-Qb for categories-list@rr.mta.ca; Wed, 08 Mar 2023 22:19:46 -0400 Date: Tue, 7 Mar 2023 18:00:27 +0100 MIME-Version: 1.0 Content-Language: en-US To: From: Marie Kerjean Subject: categories: MFPS 2023: Second Call for Papers Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: 8bit Precedence: bulk Reply-To: Marie Kerjean Message-Id: ======================================================================= 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://coalg.org/calco-mfps-2023/mfps/ ** 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 (). Papers can be at most **15 pages** long, excluding bibliography, and should be prepared using the MFPS macros (). ----------------------------------------------------------------------- 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@lipn.fr) and Paul Levy (P.B.Levy@bham.ac.uk). [For admin and other information see: http://www.mta.ca/~cat-dist/ ]