MFPS XXXIII Invited Speakers
Plenary Speakers
Cornell University
TU Wien
Indiana University
Rehana Patel
Olin College
Joint MPFS & CALCO Special Session on Metrics and Privacy
Oxford University
Invited tutorial speaker
INRIA
Buffalo University
CNRS
Special Session on Algebraic Automata Theory
Warsaw University
Invited tutorial speaker
IRIF
Friedrich-Alexander Universität
CNRS, IRIF
Special Session on Foundations of Network Programming
In honour of Dexter Kozen’s 65th Birthday
Cornell University
Invited tutorial speaker
Washington University
ETH Zurich
University of Wisconsin–Madison
Special Session on Advances in Concurrent Program Verification
MPI-SWS
Invited tutorial speaker
Delft University of Technology
MPI-SWS
University of York