Governance & Oversight

Workshop Committees

The excellence of WoLLIC is sustained by a global network of logic, linguistics, and computation scholars.

Organizing Committee

Anjolina G. de Oliveira

Anjolina G. de Oliveira

Universidade Federal de Pernambuco, Brazil

Local Co-Chair

Ruy J. G. B. de Queiroz

Ruy J. G. B. de Queiroz

Universidade Federal de Pernambuco, Brazil

General Chair

Alexandra Silva

Alexandra Silva

Cornell University, USA

Program Co-Chair

Steering Committee

Defining the long-term vision and maintaining the scientific standards of the workshop across decades.

Samson Abramsky

University of Oxford, UK

Agata Ciabattoni

TU Wien, Austria

Gilles Dowek

Inria & ENS Paris-Saclay, France

Hiroakira Ono

JAIST, Japan

Dana Scott

Carnegie Mellon University, USA

Jouko Vaananen

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