[DL] MFPS 33: first call for papers

Alexandra Silva alexandra.silva at ucl.ac.uk
Thu Jan 12 12:35:14 CET 2017


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: http://coalg.org/mfps-calco2017

## INVITED SPEAKERS

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

## TUTORIAL SPEAKERS AND SPECIAL SESSIONS

*  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

## SUBMISSION

### 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](http://www.entcs.org/), in the form of a PDF file not
exceeding 15 pages. Submissions are open on
[EasyChair] (https://easychair.org/conferences/?conf=mfps33).

### Proceedings

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

## PROGRAM COMMITTEE:

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 


## LOCAL ORGANISERS:

* Matja Pretnar 
* Andrej Bauer


More information about the dl mailing list