Invited Speakers

Plenary Speakers


Eugenia Cheng
School of the Art Institute of Chicago
(joint CALCO and MFPS)

Amina Doumane
ENS Lyon

Krishna S.
IIT Bombay

Joint CALCO and MFPS Special Session on Termination Analysis and Synthesis


Azadeh Farzan
University of Toronto
Invited Tutorial Speaker

Zachary Kincaid
Princeton University

Florian Zuleger
TU Vienna

Special Session on Probabilistic Programming Semantics


Sam Staton
University of Oxford
Invited Tutorial Speaker

Tobias Fritz
University of Innsbruck

Alex Simpson
University of Ljubljana

Special Session on Categorical Type Theory


Paul-André Melliès
IRIF, Université Paris Denis Diderot
Invited Tutorial Speaker

Raphaëlle Crubillé
LORIA, Nancy

Noam Zeilberger
École Polytechnique

Special Session on String Diagrams


Filippo Bonchi
University of Pisa
Invited Tutorial Speaker

Pawel Sobocinski
Taltech
Invited Tutorial Speaker

Brendan Fong
Topos Institute

Fabio Zanasi
University College London