MFPS XXXV - Deadline Extension & Final Call for Papers

MFPS XXXV - Deadline Extension & Final Call for Papers

[Barbara Koenig]

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

                 CALL FOR PAPERS: MFPS XXXV
            https://www.coalg.org/calco-mfps-2019/mfps/

                Thirty-fifth Conference on the
                  Mathematical Foundations of
                     Programming Semantics

                 University College London, UK
                       June 4-7, 2019

                  Co-located with CALCO 2019

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

     April 4, 2019: Abstract Submission (AoE) (extended!)
     April 8, 2019: Paper Submission (AoE) (extended!)
     May  10, 2019: Notification (AoE)
     May  24, 2019: Final Papers Deadline (AoE)

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


The 35th Conference on the Mathematical Foundations of Programming
Semantics (MFPS 2019) takes place at University College London, UK,
from June 4–7, 2019.

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:

* Amal Ahmed, Northeastern University, USA
* Sarah Meiklejohn, University College London, UK
* Matteo Mio, ENS Lyon, France
* Damien Pous, ENS Lyon, France (joint with CALCO)
* Vincent Rahli, University of Luxembourg, Luxembourg
* Mehrnoosh Sadrzadeh, Queen Mary University of London, UK
   (joint with CALCO)

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

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

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

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:

     Andrej Bauer, University of Ljubljana, Slovenia
     Adriana Balan, University Politehnica of Bucharest, Romania
     Harsh Beohar, University of Duisburg-Essen, Germany
     Steve Brookes, Carnegie Mellon University, USA
     Roberto Bruni, Universita’ di Pisa, Italy
     Yuxin Deng, East China Normal University, China
     Ilias Garnier, Nomadic Labs, France
     Chris Heunen, University of Edinburgh, UK
     Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, France
     Bart Jacobs, Radboud Universiteit Nijmegen, Netherlands
     Shin-Ya Katsumata, National Institute of Informatics, Japan
     Barbara König, University of Duisburg-Essen, Germany (chair)
     Ekaterina Komendantskaya, Heriot-Watt University, UK
     Achim Jung, University of Birmingham, UK
     Dexter Kozen, Cornell University, USA
     Clemens Kupke, University of Strathclyde, 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
     Ana Sokolova, University of Salzburg, Austria
     Sam Staton, University of Oxford, UK
     Tarmo Uustalu, Reykjavik University, Iceland

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

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:

  * Philippa Gardner (Imperial College London, UK)
  * Emanuele D’Osualdo (Imperial College London, UK)
  * Alexandra Silva (University College London, UK)
  * Fabio Zanasi (University College London, UK)


Web site & publicity: Henning Basold (CNRS, ENS Lyon, France)

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


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]