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

MFPS Programme Chair

Local Organizers

Web Site & Publicity

Henning Basold (CNRS, ENS Lyon, France)