MFPS 35: Mathematical Foundations of Programming Semantics University College London London, UK, June 4-7, 2019 |
Conference website | https://www.coalg.org/calco-mfps-2019/mfps/ |
Submission link | https://easychair.org/conferences/?conf=mfps35 |
Abstract registration deadline | April 4, 2019 |
Submission deadline | April 8, 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.
Submission Guidelines
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.
List of Topics
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.
Committees
Program 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
- Andrej Bauer (Ljubljana)
- Stephen Brookes (CMU)
- Achim Jung (Birmingham)
- Catherine Meadows (NRL)
- Michael Mislove (Tulane)
- Joel Ouaknine (Max Planck)
- Prakash Panangaden (McGill).
Organizing committee
- Philippa Gardner (Imperial College London, UK)
- Alexandra Silva (University College London, UK)
- Fabio Zanasi (University College London, UK)
Contact
All questions about submissions should be addressed to Barbara König <barbara_koenig@uni-due.de>.