Invited Speakers

Plenary Speakers

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

Amina Doumane
ENS Lyon

Shin-ya Katsumata
NII Tokyo

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

Niccolò Veltri
Taltech

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