From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10502 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ana Sokolova Newsgroups: gmane.science.mathematics.categories Subject: MFPS 2021: Deadline Extension and Invited Speakers Date: Thu, 3 Jun 2021 19:23:42 +0200 Message-ID: Reply-To: Ana Sokolova Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="13509"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Sun Jun 06 03:58:12 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lpi3I-0003EY-M6 for gsmc-categories@m.gmane-mx.org; Sun, 06 Jun 2021 03:58:12 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:60740) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lpi2K-0006Yj-Mn; Sat, 05 Jun 2021 22:57:12 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lpi1w-00076x-V8 for categories-list@rr.mta.ca; Sat, 05 Jun 2021 22:56:48 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10502 Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D CALL FOR PAPERS: MFPS XXXVII https://www.coalg.org/calco-mfps-2021/mfps 37th Conference on Mathematical Foundations of Programming Semantics August 30 - September 2, 2021 Online or hybrid, from Salzburg Co-located with CALCO 2021 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D Paper submission: June 14, 2021 AoE (NEW) Author notification: August 2, 2021 Final version due: August 16, 2021 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D We are delighted to announce the 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021). MFPS 2021 will be hosted by the University of Salzburg, Austria, and will take place on August 30 - September 2, 2021. Due to the pandemic situation, the conference will take place online. Should the situation improve and allow some international travel, we will do our best to organize a small component of the meeting in Salzburg for those participants who wish to attend the meeting in person. 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; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; logic; probabilistic systems; process calculi; programming-language theory; quantum computation; security; topological models; 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. MFPS 2021 is co-located with the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). ------------------------------------------------- INVITED SPEAKERS: Eugenia Cheng, School of the Art Institute of Chicago (joint with CALCO) Amina Doumane, ENS Lyon Shin-Ya Katsumata, NII Tokyo Krishna S., IIT Bombay INVITED TUTORIAL SPEAKERS (SPECIAL SESSIONS): Azadeh Farzan, University of Toronto (Termination Analysis and Synthesis -- joint with CALCO) Sam Staton, University of Oxford (Probabilistic Programming Semantics) Paul Andr=C3=A9 Melli=C3=A8s, IRIF Universit=C3=A9 Paris Denis Diderot (Categorical Type Theory) Filippo Bonchi, University of Pisa and Pawel Sobocinski, Taltech (String Diagrams) ------------------------------------------------- PROGRAMME COMMITTEE: Sandra Alves, University of Porto, Portugal Henning Basold, University of Leiden, Netherlands Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, Carnegie Mellon University, USA Corina Cirstea, University of Southampton, UK Fabio Gadducci, University of Pisa, Italy Ichiro Hasuo, NII, Japan Helle Hvid Hansen, University of Groningen, Netherlands Justin Hsu, University of Wisconsin-Madison, USA Patricia Johann, Appalachian State University, USA Achim Jung, University of Birmingham, UK Sandra Kiefer, RWTH Aachen University, Germany / University of Warsaw, Poland Barbara K=C3=B6nig, University of Duisburg-Essen, Germany Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada Daniela Petrisan, IRIF, Paris 7, France Tatjana Petrov, University of Konstanz, Germany Jurriaan Rot, Radboud University Nijmegen, Netherlands Mehrnoosh Sadrzadeh, UCL, UK Lutz Schr=C3=B6der, Friedrich-Alexander-Universit=C3=A4t Erlangen-N=C3=BCrn= berg, Germany Ana Sokolova, University of Salzburg, Austria (PC chair) Valeria Vignudelli, CNRS/ENS Lyon, France ------------------------------------------------- MFPS ORGANIZERS: Andrej Bauer, University of Ljubljana, Slovenia Stephen Brookes, Carnegie Mellon University, USA Achim Jung, University of Birmingham, UK Catherine Meadows, NRL, USA Michael Mislove, Tulane University, USA Joel Ouaknine, Max Planck Institute for Software Systems, Germany Prakash Panangaden, McGill University Montreal, Canada ------------------------------------------------- SUBMISSIONS Submissions via https://easychair.org/conferences/?conf=3Dmfps37 ------------------------------------------------- PROCEEDINGS Elsevier ceased publication of ENTCS at the end of 2020. ENTCS was the traditional publication venue for MFPS. Negotiations are underway to establish a new arrangement for MFPS proceedings publication going forward. The new venue will be announced as soon as arrangements are complete. We anticipate the formal proceedings of this year=E2=80=99s conference will be published after the meeting, as has been the tradition for MFPS for many years. A preliminary proceedings will be distributed to participants at the meeting. Please use the old ENTCS style for the submission, as announced on the webpage. ------------------------------------------------- CONTACT For any further information about MFPS 2021, please contact Ana Sokolova (anas@cs.uni-salzburg.at) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]