MFPS 2021 - Call for Papers

by Ana Sokolova, April 3, 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.

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

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 7, 2021

Author notification:     August 2, 2021

Final version due:       August 16, 2021

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

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:

MFPS is known for an exciting group of invited speakers and organisers of special sessions. Stay tuned for more information! The list of invited speakers and special sessions for MFPS 2021 will be announced soon.

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

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

Koko Muroya, RIMS, Kyoto University, Japan

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

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

CONTACT

For any further information about MFPS 2021, please contact Ana Sokolova ([email protected]).