posted by user: hossein_haeri || 2377 views || tracked by 4 users: [display]

MFPS XXXIII 2017 : Mathematical Foundations of Programming Semantics


When Jun 12, 2017 - Jun 15, 2017
Where Ljubljana University, Slovenia
Submission Deadline Mar 17, 2017
Notification Due Apr 28, 2017
Final Version Due May 19, 2017
Categories    programming languages   semantics   mathematical logic

Call For Papers

The 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII) will take place on the campus of Ljubljana University, Slovenia, between 12 and
15 June 2017. 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.

Conference home page:


* Rehana Patel, Olin College
* Laura Kovacs, TU Wien
* Dexter Kozen, Cornell University
* Amr Sabry, Indiana University


* Laure Daviaud, Warsaw
- Algebraic automata theory

* Nate Foster, Cornell
- Foundations of Network Programming, special session in honour of Dexter Kozen’s 65th Birthday

* Ben Worrell, Oxford
- Metrics and Privacy (Joint MPFS & CALCO)

* Derek Dreyer, MPI-SWS
- Formal Verification


### Important dates:

* Submission Deadline: March 10
* Notification: April 28
* Proceedings: May 19
* Conference: June 12-15

### Submitting

Submissions should be prepared using the [ENTCS Macros](, in the form of a PDF file not exceeding 15 pages. Submissions are open on [EasyChair] (

### Proceedings

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


Gilles Barthe, Madrid, Spain
Andrej Bauer, Ljubljana, Slovenia
Steve Brookes, Pittsburgh, PA, USA
Carla Ferreira, Lisbon, Portugal
Nate Foster, Ithaca, NY, USA
Chris Heunen, Edinburgh, UK
Justin Hsu, Philadelphia, PA, USA
Achim Jung, Birmingham, UK
Elham Kashefi, Edinburgh, UK
Clemens Kupke, Glasgow, UK
Barbara Koenig, Duisburg, Germany
Catherine Meadows, NRL , USA
Andrzej Murawski, Warwick, UK,
Bart Jacobs, Radboud U, Netherlands
Bob Coecke, Oxford, UK
Cameron Freer, Cambridge MA, USA
Catherine Meadows, Washington, DC, USA
Michael Mislove, New Orleans, LA, USA
Joel Ouaknine, Saarbrucken, Germany
Alessandra Palmigiano, Delft, The Netherlands
Prakash Panangaden, Montreal, Canada
Daniela Petrisan, Paris, France
Brigitte Pientka, Montreal, Canada
Jurriaan Rot, Nijmegen, The Netherlands
Mehrnoosh Sadrzadeh, London, UK
Alexandra Silva (Chair), London, UK
Ana Sokolova, Salzburg, Austria
Valeria Vignudelli, Bologna, Italy


* Matja Pretnar
* Andrej Bauer

Related Resources

SBLP 2020   24th Brazilian Symposium on Programming Languages
SIGL 2021   8th International Conference on Signal and Image Processing
PAKDD 2021   Pacific-Asia Conference on Knowledge Discovery and Data Mining
E&C 2020   4th International Conference on Electrical & Computer Engineering
MFCS 2020   The 45th International Symposium on Mathematical Foundations of Computer Science
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
GECCO 2021   Genetic and Evolutionary Computation Conference
ESOP 2021   30th European Symposium on Programming