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 |