Anjolina G. de Oliveira
Universidade Federal de Pernambuco, Brazil
Local Co-Chair
Governance & Oversight
Universidade Federal de Pernambuco, Brazil
Local Co-Chair
Universidade Federal de Pernambuco, Brazil
General Chair
Cornell University, USA
Program Co-Chair
Defining the long-term vision and maintaining the scientific standards of the workshop across decades.
University of Oxford, UK
TU Wien, Austria
Inria & ENS Paris-Saclay, France
JAIST, Japan
Carnegie Mellon University, USA
University of Helsinki, Finland
Advisory Committee
Foundational Logic
Johan van Benthem
University of Amsterdam & Stanford
Wilfrid Hodges
British Academy
Computational Theory
Yuri Gurevich
University of Michigan
Moshe Vardi
Rice University
Linguistic Structure
Hans Kamp
University of Stuttgart
Barbara Partee
UMass Amherst
Proof Systems
Jean-Yves Girard
CNRS Marseille
Per Martin-Lof
Stockholm University