Logic List Mailing Archive

MFPS XXXVII: Mathematical Foundations of Programming Semantics, Virtual and/or Salzburg (Austria)

30 Aug - 2 Sep 2021

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

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

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

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:

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

A preliminary version will be distributed at the meeting. Final proceedings
will be published after the meeting. Traditionally MFPS published in ENTCS,
which no longer exists. More information about the publication venue will
follow soon.

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

CONTACT

For any further information about MFPS 2021, please contact Ana Sokolova (
anas@cs.uni-salzburg.at).
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam