=========================================================
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
==========================================================
Paper submission: June 14, 2021 AoE (NEW)
Author notification: August 2, 2021
Final version due: August 16, 2021
==========================================================
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é Melliès, IRIF Université 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önig, 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öder, Friedrich-Alexander-Universität Erlangen-Nürnberg, 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=mfps37
-------------------------------------------------
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’s 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 ([email protected])
| | |
by Ana Sokolova, June 6, 2021