Mathematical Foundations of Programming Semantics XXXI

22-25 June 2015, Nijmegen, Netherlands

special sessions: game semantics   algebraic effects   nominal techniques   reasoning about concurrent programs
research topics: concurrency  distributed systems   process calculi   probabilistic systems   constructive mathematics   domain theory   category theory   formal languages   formal methods   lambda calculi   programming-language theory   quantum computation   topological models   logic   type systems   type theory   networks   security

Invited plenary speakers

Andy Pitts
Cambridge
jointly with CALCO

Thierry Coquand
Chalmers

Paul B. Levy
Birmingham

Sam Staton
Radboud

Invited tutorial sessions

Game Semantics (Monday, June 22nd)

Andrzej Murawski
Warwick
Invited Tutorial Speaker

Pierre Clairambault
ENS de Lyon

Jim Laird
Bath

Nikos Tzevelekos
Queen Mary

Concurrent programs and separation logic (Tuesday, June 23rd)

Philippa Gardner
Imperial College
Invited Tutorial Speaker

Lars Birkedal
Aarhus

Aleks Nanevski
IMDEA

Azalea Raad
Imperial College

Nominal Techniques (Wednesday, June 24th)

Daniela Petrişan
Nijmegen
Invited Tutorial Speaker

Mikolaj Bojanczyk
Warsaw

Bartek Klin
Warsaw

Paul-André Melliès
Paris Denis Diderot

Algebraic Effects (Thursday, June 25th)

Matija Pretnar
Ljubljana
Invited Tutorial Speaker

Ohad Kammar
Cambridge

Conor McBride
Strathclyde

Tom Schrijvers
Leuven

Important dates

All dates are AOE. Add to your calendar.

Submission information

Manuscripts should be prepared using the ENTCS Macros. Please submit a PDF file, not exceeding 15 pages, using EasyChair. The page count does not include References. An Appendix can be included, to be read at the discretion of the referee.

Local information

CSS courtesy of Brackets.io. Photo courtesy of Fbr.