THE PEOPLE BEHIND THE CONFERENCE
LICS 2025
ACM/IEEE Symposium on Logic in Computer Science
Source-attributed rosters checked 2026-09-13. 63 collected records; 52 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
LICS 2025 committees
63 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Igor WalukiewiczIdentity not yet linked | General Chair | LaBRI, University of Bordeaux Laboratoire Bordelais de Recherche en Informatique · Université de Bordeaux | Conference website ↗Checked 2026-09-13 |
| Lars BirkedalIdentity not yet linked | Program Chair | Aarhus University | Conference website ↗Checked 2026-09-13 |
| Frank StephanIdentity not yet linked | Conference Chair | National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Sam Staton | Publicity Chair | University of Oxford | Conference website ↗Checked 2026-09-13 |
| Valentin BlotIdentity not yet linked | Workshops Chair | Inria and ENS Paris-Saclay | Conference website ↗Checked 2026-09-13 |
| Amal AhmedIdentity not yet linked | Program Committee | Northeastern University | Conference website ↗Checked 2026-09-13 |
| Thorsten AltenkirchIdentity not yet linked | Program Committee | University of Nottingham | Conference website ↗Checked 2026-09-13 |
| Parosh Aziz AbdullaIdentity not yet linked | Program Committee | Uppsala University | Conference website ↗Checked 2026-09-13 |
| Giorgio BacciIdentity not yet linked | Program Committee | Aalborg University | Conference website ↗Checked 2026-09-13 |
| Christel BaierIdentity not yet linked | Program Committee | TU Dresden | Conference website ↗Checked 2026-09-13 |
| Stephanie Balzer | Program Committee | Carnegie Mellon University | Conference website ↗Checked 2026-09-13 |
| Mikolaj BojanczykIdentity not yet linked | Program Committee | University of Warsaw | Conference website ↗Checked 2026-09-13 |
| Filippo Bonchi | Program Committee | University of Pisa | Conference website ↗Checked 2026-09-13 |
| Patricia BouyerIdentity not yet linked | Program Committee | CNRS | Conference website ↗Checked 2026-09-13 |
| Luis CairesIdentity not yet linked | Program Committee | Técnico Lisboa and INESC-ID | Conference website ↗Checked 2026-09-13 |
| Hubie ChenIdentity not yet linked | Program Committee | King's College London | Conference website ↗Checked 2026-09-13 |
| Agata CiabattoniIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Thomas EhrhardIdentity not yet linked | Program Committee | Université Paris Cité, CNRS, Inria Université Paris Cité · CNRS · Institut national de recherche en sciences et technologies du numérique | Conference website ↗Checked 2026-09-13 |
| Diego FigueiraIdentity not yet linked | Program Committee | CNRS & LaBRI, Université Bordeaux CNRS · Laboratoire Bordelais de Recherche en Informatique · Université Bordeaux | Conference website ↗Checked 2026-09-13 |
| Wan FokkinkIdentity not yet linked | Program Committee | Vrije Universiteit Amsterdam | Conference website ↗Checked 2026-09-13 |
| Daniel GratzerIdentity not yet linked | Program Committee | Aarhus University | Conference website ↗Checked 2026-09-13 |
| Chris HeunenIdentity not yet linked | Program Committee | University of Edinburgh | Conference website ↗Checked 2026-09-13 |
| Guilhem JaberIdentity not yet linked | Program Committee | Nantes Université | Conference website ↗Checked 2026-09-13 |
| Patricia Johann | Program Committee | Appalachian State University | Conference website ↗Checked 2026-09-13 |
| Robbert Krebbers | Program Committee | Radboud University Nijmegen | Conference website ↗Checked 2026-09-13 |
| Stephan KreutzerIdentity not yet linked | Program Committee | TU Berlin | Conference website ↗Checked 2026-09-13 |
| James LairdIdentity not yet linked | Program Committee | University of Bath | Conference website ↗Checked 2026-09-13 |
| Stefan MiliusIdentity not yet linked | Program Committee | FAU Erlangen-Nürnberg | Conference website ↗Checked 2026-09-13 |
| Alexandre MiquelIdentity not yet linked | Program Committee | Universidad de la República, Montevideo | Conference website ↗Checked 2026-09-13 |
| Rasmus Ejlers MøgelbergIdentity not yet linked | Program Committee | IT University of Copenhagen | Conference website ↗Checked 2026-09-13 |
| Anders MörtbergIdentity not yet linked | Program Committee | Stockholm University | Conference website ↗Checked 2026-09-13 |
| Gopalan NadathurIdentity not yet linked | Program Committee | University of Minnesota | Conference website ↗Checked 2026-09-13 |
| Frank PfenningIdentity not yet linked | Program Committee | Carnegie Mellon University | Conference website ↗Checked 2026-09-13 |
| André PlatzerIdentity not yet linked | Program Committee | Karlsruhe Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Jakob RehofIdentity not yet linked | Program Committee | TU Dortmund | Conference website ↗Checked 2026-09-13 |
| Ana SokolovaIdentity not yet linked | Program Committee | University of Salzburg | Conference website ↗Checked 2026-09-13 |
| Kristina Sojakova | Program Committee | Inria | Conference website ↗Checked 2026-09-13 |
| Sam Staton | Program Committee | University of Oxford | Conference website ↗Checked 2026-09-13 |
| Nicolas Tabareau | Program Committee | Inria | Conference website ↗Checked 2026-09-13 |
| Joseph Tassarotti | Program Committee | New York University | Conference website ↗Checked 2026-09-13 |
| Takeshi Tsukada | Program Committee | Chiba University | Conference website ↗Checked 2026-09-13 |
| Nikos Tzevelekos | Program Committee | Queen Mary University of London | Conference website ↗Checked 2026-09-13 |
| Christel BaierIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Lars BirkedalIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Valentin BlotIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Ugo Dal LagoIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Javier EsparzaIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dana FismanIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Marco GaboardiIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Martin GroheIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Joost-Pieter KatoenIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Naoki KobayashiIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Barbara KönigIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Orna KupfermanIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dale MillerIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Joël OuaknineIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Brigitte PientkaIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alexandra SilvaIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Pawel SobocinskiIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sam StatonIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Frank StephanIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alwen TiuIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Igor WalukiewiczIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |