The 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) and the 35th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2019) take place together in London, UK in June 2019. CALCO will run June 3-6, while MFPS runs June 4-7, 2019.
Invited Speakers
Joint Special Session on Coinduction for Verification and Certification
Organised by Damien Pous (CNRS, ENS Lyon, France)
MFPS special session PPPP: Probability in Proofs, Programming and Privacy
Organised by Matteo Mio (CNRS, ENS Lyon, France)
MFPS special session on the Verification of distributed systems
Organised by Vincent Rahli (Université du Luxembourg, Luxembourg)
CALCO Programme Chairs
- Ana Sokolova (University of Salzburg, Austria)
- Markus Roggenbach (Swansea University, UK)
MFPS Programme Chair
- Barbara König (University of Duisburg-Essen)
Local Organizers
- Philippa Gardner (Imperial College London, UK)
- Emanuele D’Osualdo (Imperial College London, UK)
- Alexandra Silva (University College London, UK)
- Fabio Zanasi (University College London, UK)
Web Site & Publicity
Henning Basold (CNRS, ENS Lyon, France)