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)


CALCO Programme Chairs

MFPS Programme Chair

Local Organizers

Web Site & Publicity

Henning Basold (CNRS, ENS Lyon, France)