Dr. Sandra Alves
University of Porto, Portugal
Governance & Oversight
Workshop Committees
The excellence of WoLLIC is sustained by a global network of logic, linguistics, and computation scholars.
17
Programme Committee
18
Steering Committee
6
Advisory Committee
3
Organising Committee
Programme Committee
Zena Ariola
University of Oregon, USA
Clement Aubert
Augusta University, USA
Pierre Cagne
Appalachian State University, USA
Patricia Johann
Appalachian State University, USA
Makoto Kanazawa
Hosei University, Japan
Tobias Kappé
Leiden University, The Netherlands
Dexter Kozen
Cornell University, USA
Ugo Dal Lago
University of Bologna, Italy
Sonia Marin
Birmingham Univversity, UK
Valeria de Paiva
Topos Institute, USA
Daniela Petrişan
IRIF, Université de Paris, France
Peter Selinger
Dalhousie University, Canada
Alex Simpson
University of Ljubljana, Slovenia
Ana Sokolova
University of Salzburg, Austria
Georg Struth
University of Sheffield, UK
Janis Voigtländer
University of Duisburg, Germany
Steering Committee
Defining the long-term vision and maintaining the scientific standards of the workshop across decades.
Samson Abramsky
Agata Ciabattoni
Anuj Dawar
Helle Hvid Hansen
Juliette Kennedy
Ulrich Kohlenbach
Dexter Kozen
Daniel Leivant
George Metcalfe
Lawrence Moss
Luke Ong
Valeria de Paiva
Elaine Pimentel
Ruy de Queiroz
Andre Scedrov
Alexandra Silva
Thomas Studer
Renata Wassermann
Advisory Committee
Johan van BenthemJoe HalpernWilfrid HodgesAngus MacintyreHiroakira OnoJouko Väänänen
Organising Committee
local chair
Ernesto Cuadros-Vargas
Universidad Nacional de Ingeniería (UNI)
Ruy de Queiroz
Universidad Federal de Pernambuco, Brazil
Anjolina de Oliveira
Universidad Federal de Pernambuco, Brazil