Plenary Speakers
Joint CALCO and MFPS Special Session on Termination Analysis and Synthesis
Special Session on Probabilistic Programming Semantics
Special Session on Categorical Type Theory
Special Session on String Diagrams
![](files/2021/05/photo-bonchi.jpg)
Filippo Bonchi
University of Pisa
Invited Tutorial Speaker