[TYPES/announce] MFPS 2018 first call for papers

[Sam Staton]

MFPS XXXIV 2018 : Mathematical Foundations of Programming Semantics
First call for papers

The 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV) will take place at Dalhousie University in Halifax, Canada, from June 6–9, 2018. 

MFPS 2018 will be co-located with the 15th International Conference on Quantum Physics and Logic (QPL) 2018, which takes place from June 3–7. 

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

Conference home page: https://www.mathstat.dal.ca/mfps2018/

## SUBMISSION 

### Important dates: 

* April 1: abstract submission
* April 6: paper submission
* May 11: notification of authors
* May 25: final papers ready
* June 6–9: conference

### Submitting 

Submissions should be prepared using the ENTCS Macros (http://www.entcs.org/), in the form of a PDF file not exceeding 15 pages. Submissions is via EasyChair (https://easychair.org/conferences/?conf=mfps34). 

### Proceedings 

A preliminary version will be distributed at the meeting. Final proceedings will be published in ENTCS after the meeting. 

## PROGRAM COMMITTEE: 

* Marc Bagnol, ENS Lyon, France
* Andrej Bauer, University of Ljubljana, Slovenia
* Dariusz Biernacki, University of Wroclaw, Poland
* Aleš Bizjak, Aarhus University, Denmark
* Valentin Blot, Université Paris-Sud, France
* Steve Brookes, Carnegie Mellon University, USA
* Pierre Clairambault, CNRS and ENS Lyon, France
* Ilias Garnier, Sivienn Inc. and ENS Paris
* Sergey Goncharov, FAU Erlangen-Nürnberg, Germany
* Tobias Heindel, Universität Leipzig, Germany
* Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, France
* Patricia Johann, Appalachian State University, USA
* Achim Jung, University of Birmingham, UK
* Ohad Kammar, University of Oxford, UK
* Shin-Ya Katsumata, National Institute of Informatics, Japan
* Catherine Meadows, NRL, USA
* Michael Mislove, Tulane University, USA
* Joel Ouaknine, MPI-SWS, Germany
* Daniela Petrisan, Université Paris Diderot - Paris 7, France
* Azalea Raad, MPI-SWS, Germany
* Sam Staton, University of Oxford, UK (chair)
* Tarmo Uustalu, Reykjavik University, Iceland
* Benoît Valiron, LRI - CentraleSupélec, Univ. Paris Saclay, France
* Valeria Vignudelli, CNRS/ENS Lyon, France
* Noam Zeilberger, University of Birmingham, UK


## LOCAL ORGANISERS: 

* Julien Ross
* Peter Selinger