From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10155 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Patricia Johann Newsgroups: gmane.science.mathematics.categories Subject: MFPS final call for papers Date: Tue, 3 Mar 2020 08:01:33 -0500 (EST) Message-ID: Reply-To: Patricia Johann Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: 8BIT Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="123625"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Wed Mar 04 01:37:17 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1j9I2H-000W3x-7E for gsmc-categories@m.gmane-mx.org; Wed, 04 Mar 2020 01:37:17 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:46580) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1j9I0B-0005eu-Lq; Tue, 03 Mar 2020 20:35:07 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1j9I0l-0005oT-8P for categories-list@rr.mta.ca; Tue, 03 Mar 2020 20:35:43 -0400 Content-ID: Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10155 Archived-At: --- Effect of Coronavirus The organizers of MFPS and of QPL are jointly monitoring the evolving coronavirus outbreak, and how to respond. We believe it is too early to make a decision about what steps to take, but we will issue a statement by April 1 about how the virus will affect our joint meetings. While we will consider a number of options, at a minimum we intend to support virtual and / or remote participation by those who are unable or unwilling to attend the meeting in person. --- Final CALL FOR PAPERS: MFPS XXXVI https://www.monoidal.net/paris2020/mfps/ Thirty-sixth Conference on the Mathematical Foundations of Programming Semantics University of Paris Saclay, France June 2-6, 2020 Co-located with QPL 2020 ====================================================================== March 30, 2020: Abstract Submission April 3, 2020: Paper Submission May 8, 2020: Notification May 22, 2020: Final Papers Deadline All dates AoE ====================================================================== The 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020) takes place at University of Paris Saclay, France, June 2???6, 2020. 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 & SPECIAL SESSIONS: As in previous years, MFPS will have several invited speakers and special session highlighting areas within programming languages semantics. We are pleased to announce the following invited speakers and organizers of special sessions: Gilles Barthe (IMDEA) - plenary speaker Christine Tasson (Paris VII) - plenary speaker Special session on Probabilistic programming languages ----- Dexter Kozen (Cornell) - plenary speaker Fredrik Dahlqvist (London) Ohad Kammar (Edinburgh) Radu Mardare (Strathclyde) Valeria Vignudelli (Lyon) Special session on Quantum programming - joint with QPL ----- Alexandre Miquel (Montevideo) - plenary speaker Pierre Clairambault (Lyon) Claudia Faggian (Paris VII) Vladimir Zamdzhiev (Nancy) ---------------------------------------------------------------------- SUBMISSIONS: Submissions should be prepared using the ENTCS Macros (available from http://www.entcs.org) and should be up to 12 pages long excluding bibliography and appendices. Submissions will be via EasyChair: https://easychair.org/conferences/?conf=mfps20 ---------------------------------------------------------------------- PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. ---------------------------------------------------------------------- PROGRAMME COMMITTEE: Danel Ahman (University of Ljubljana) Andrej Bauer (University of Ljubljana) Stephen Brookes (Carnegie Mellon University) Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis) Dan Ghica (University of Birmingham) Pierre Hyvernat (Universite Savoie Mount Blanc) Mauro Jaskelioff (Universidad Nacional de Rosario) Patricia Johann (Appalachian State University) - Chair Achim Jung (University of Birmingham) Barbara Koenig (Universitaet Duisburg-Essen) Dexter Kozen (Cornell University) Neel Krishnaswami (Cambridge University) Catherine Meadows (NRL) Mike Mislove (Tulane University) Joel Ouaknine (MPI-SWS) Prakash Panangaden (McGill University) Dirk Pattinson (Australian National University) Maciej Pirog (University of Wroclaw) Peter Selinger (Dalhousie University) Alexandra Silva (University College London) Kristina Sojakova (Cornell University) Ana Sokolova (University of Salzburg) Sam Staton (University of Oxford) Tarmo Uustalu (Reykjavik University) ---------------------------------------------------------------------- STEERING COMMITTEE: The steering committee of the MFPS series consists of Andrej Bauer (Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Max Planck) and Prakash Panangaden (McGill). ---------------------------------------------------------------------- LOCAL ORGANIZERS: Pablo Arrighi (AMU & INRIA) Shane Mansfield (Sorbonne) Beno??t Valiron (University of Paris Saclay) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]