FLoC 2026 Committees

FLoC'26 Organizers

General Chair Rajeev Alur, University of Pennsylvania
Advisory Chair Alexandra Silva, Cornell University
Organization Chair Nuno P. Lopes, University of Lisbon
Fundraising Co-Chairs Aws Albarghouthi, UW–Madison
Jules Villard, Meta
Loris D’Antoni, UC San Diego
Workshops Co-Chairs Alessandro Gianola, University of Lisbon
Bernd Finkbeiner, CISPA Helmholtz Center for Information Security
Volunteers Chair José Fragoso Santos, University of Lisbon
Publicity Chair Caterina Urban, INRIA / ENS

Conference Committees

CAV Conference Chair Philipp Ruemmer, University of Regensburg
CP Conference Chair Inês Lynce, University of Lisbon
CSF Conference Chair Pedro Adão, University of Lisbon
DL Conference Chair Matthias Knorr, NOVA University Lisbon
FSCD Conference Chair Sandra Alves, University of Porto
ICLP Conference Chair Vítor Santos Costa, University of Porto
IJCAR Conference Chair Carlos Caleiro, University of Lisbon
ITP Conference Chair João F. Ferreira, University of Lisbon
KR Conference Chair João Leite, NOVA University Lisbon
LICS Conference Chair Bernardo Toninho, NOVA University Lisbon
NMR Conference Chair Ricardo Gonçalves, NOVA University Lisbon
SAT Conference Chair Vasco Manquinho, University of Lisbon

Program Committees

CAV PC Chairs Anthony W. Lin, Technical University of Kaiserslautern
Eva Darulova, Uppsala University
Philipp Ruemmer, University of Regensburg
CP PC Chairs TBA
CSF PC Chairs TBA
DL PC Chairs TBA
FSCD PC Chairs TBA
ICLP PC Chairs Laura Giordano, Università del Piemonte Orientale
IJCAR PC Chairs Armin Biere, University of Freiburg
Carsten Lutz, Universität Leipzig
Sara Negri, Università degli Studi di Genova
ITP PC Chairs Ekaterina Komendantskaya, Heriot-Watt University and University of Southampton
Tobias Nipkow, TU Munich
KR PC Chairs Franz Baader, TU Dresden
Marie-Laure Mugnier, University of Montpellier
LICS PC Chairs Claudia Faggian, CNRS
Joost-Pieter Katoen, RWTH Aachen University
SAT PC Chairs Alexey Ignatiev, Monash University
Stefan Szeider, TU Wien

FLoC'26 Steering Committee

General Chair Rajeev Alur, University of Pennsylvania
Advisory Chair Alexandra Silva, Cornell University
CAV Representative Daniel Kröning, University of Oxford
CP Representative Hélène Verhaeghe, KU Leuven
CSF Representative Dominique Unruh, University of Tartu
FSCD Representative Patrick Baillot, CNRS/Université de Lille
ICLP Representative Marco Gavanelli, Università degli Studi di Ferrara
IJCAR Representative Franz Baader, TU Dresden
ITP Representative Magnus Myreen, Chalmers University
KR Representative Esra Erdem, Sabanci University
LICS Representative Igor Walukiewicz, University of Bordeaux
NMR Representative Ivan Varzinczak, Université Sorbonne Paris Nord
SAT Representative Armin Biere, University of Freiburg