THE PEOPLE BEHIND THE CONFERENCE
LICS 2023
ACM/IEEE Symposium on Logic in Computer Science
Source-attributed rosters checked 2026-09-13. 258 collected records; 257 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2023-06-26 to 2023-06-29, Boston, USA
31 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| All ConferencesIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| CommitteesIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Invited SpeakersIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Papers by AuthorIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Test-of-Time Award WinnersIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Kleene Award WinnersIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Distinguished PapersIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Link to Web PageIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Presented PapersIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| OrganizersIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adnan DarwicheIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Azadeh FarzanIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dale MillerIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Toniann PitassiIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dan SuciuIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Benjamin AminofIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Giuseppe De GiacomoIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sasha RubinIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Florian ZulegerIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| More Information...Identity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Georgios ArgyrisIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alberto Lluch-LafuenteIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alexander Leguizamon-RobayoIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mirco TribastoneIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Max TschaikowskiIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Andrea VandinIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| David BaeldeIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adrien KoutsosIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Joseph LallemandIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Nikhil BalajiIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Lorenzo ClementeIdentity not yet linked | 2023-06-26 to 2023-06-29, Boston, USA | Not stated in source | Conference website ↗Checked 2026-09-13 |
ACM/IEEE Symposium on Logic in Computer Science
33 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| ACM/IEEE Symposium on Logic in Computer ScienceIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| -Identity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| LICS AwardsIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| LICS NewslettersIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| LICS OrganizationIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Logic-Related ConferencesIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| LinksIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| All ConferencesIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| CommitteesIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Invited SpeakersIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Papers by AuthorIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Test-of-Time Award WinnersIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Kleene Award WinnersIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Distinguished PapersIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Link to Web PageIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Presented PapersIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| OrganizersIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adnan DarwicheIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Azadeh FarzanIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dale MillerIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Toniann PitassiIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dan SuciuIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Benjamin AminofIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Giuseppe De GiacomoIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sasha RubinIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Florian ZulegerIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| More Information...Identity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Georgios ArgyrisIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alberto Lluch-LafuenteIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alexander Leguizamon-RobayoIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mirco TribastoneIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Max TschaikowskiIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Andrea VandinIdentity not yet linked | ACM/IEEE Symposium on Logic in Computer Science | Not stated in source | Conference website ↗Checked 2026-09-13 |
Conference Chair
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Last modified: 2026-02-08Identity not yet linked | Conference Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| 10:27Identity not yet linked | Conference Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sam StatonIdentity not yet linked | Conference Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
General Chair
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Last modified: 2026-02-08Identity not yet linked | General Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| 10:27Identity not yet linked | General Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sam StatonIdentity not yet linked | General Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
Invited Speakers
26 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Adnan DarwicheIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Azadeh FarzanIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dale MillerIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Toniann PitassiIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dan SuciuIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Benjamin AminofIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Giuseppe De GiacomoIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sasha RubinIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Florian ZulegerIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| More Information...Identity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Georgios ArgyrisIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alberto Lluch-LafuenteIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alexander Leguizamon-RobayoIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mirco TribastoneIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Max TschaikowskiIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Andrea VandinIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| David BaeldeIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adrien KoutsosIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Joseph LallemandIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Nikhil BalajiIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Lorenzo ClementeIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Klara NosanIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mahsa ShirmohammadiIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| James WorrellIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Libor BartoIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Bertalan BodorIdentity not yet linked | Invited Speakers | Not stated in source | Conference website ↗Checked 2026-09-13 |
LICS 2023 committees
59 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Orna KupfermanIdentity not yet linked | General Chair | Hebrew University | Conference website ↗Checked 2026-09-13 |
| Igor WalukiewiczIdentity not yet linked | Program Chair | CNRS, Université de Bordeaux, France CNRS · Université de Bordeaux | Conference website ↗Checked 2026-09-13 |
| Marco GaboardiIdentity not yet linked | Conference Chair | Boston University | 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, France | Conference website ↗Checked 2026-09-13 |
| Igor WalukiewiczIdentity not yet linked | Program Committee | CNRS, Université de Bordeaux, France CNRS · Université de Bordeaux | Conference website ↗Checked 2026-09-13 |
| S. AkshayIdentity not yet linked | Program Committee | IIT Bombay, India | Conference website ↗Checked 2026-09-13 |
| Shaull AlmagorIdentity not yet linked | Program Committee | Technion, Israel | Conference website ↗Checked 2026-09-13 |
| Pablo BarcelóIdentity not yet linked | Program Committee | Universidad Católica de Chile | Conference website ↗Checked 2026-09-13 |
| Manuel BodirskyIdentity not yet linked | Program Committee | TU Dresden, Germany | Conference website ↗Checked 2026-09-13 |
| Dmitry ChistikovIdentity not yet linked | Program Committee | University of Warwick, UK | Conference website ↗Checked 2026-09-13 |
| Ugo Dal LagoIdentity not yet linked | Program Committee | University of Bologna & INRIA Sophia Antipolis | Conference website ↗Checked 2026-09-13 |
| Anuj DawarIdentity not yet linked | Program Committee | University of Cambridge, UK | Conference website ↗Checked 2026-09-13 |
| Valeria de PaivaIdentity not yet linked | Program Committee | Topos Institute, Berkeley, USA | Conference website ↗Checked 2026-09-13 |
| Stephane DemriIdentity not yet linked | Program Committee | CNRS, LMF, France CNRS · LMF | Conference website ↗Checked 2026-09-13 |
| Yuxin DengIdentity not yet linked | Program Committee | East China Normal University, China | Conference website ↗Checked 2026-09-13 |
| Arnaud DurandIdentity not yet linked | Program Committee | Université Paris Cité, France | Conference website ↗Checked 2026-09-13 |
| Claudia FaggianIdentity not yet linked | Program Committee | IRIF, CNRS and Université Paris Cité Institut de Recherche en Informatique Fondamentale · CNRS · Université Paris Cité | Conference website ↗Checked 2026-09-13 |
| Maribel FernándezIdentity not yet linked | Program Committee | King's College London, UK | Conference website ↗Checked 2026-09-13 |
| Matthew HagueIdentity not yet linked | Program Committee | Royal Holloway University of London, UK | Conference website ↗Checked 2026-09-13 |
| Justin HsuIdentity not yet linked | Program Committee | Cornell University, USA | Conference website ↗Checked 2026-09-13 |
| Shin-ya KatsumataIdentity not yet linked | Program Committee | National Institute of Informatics, Japan | Conference website ↗Checked 2026-09-13 |
| Alex KavvosIdentity not yet linked | Program Committee | University of Bristol, UK | Conference website ↗Checked 2026-09-13 |
| Stefan KieferIdentity not yet linked | Program Committee | University of Oxford, UK | Conference website ↗Checked 2026-09-13 |
| Bartek KlinIdentity not yet linked | Program Committee | University of Oxford, UK | Conference website ↗Checked 2026-09-13 |
| Naoki KobayashiIdentity not yet linked | Program Committee | University of Tokyo, Japan | Conference website ↗Checked 2026-09-13 |
| Barbara KoenigIdentity not yet linked | Program Committee | Duisburg-Essen, Germany | Conference website ↗Checked 2026-09-13 |
| Laura KovácsIdentity not yet linked | Program Committee | Vienna University of Technology, Austria | Conference website ↗Checked 2026-09-13 |
| Filip MazowieckiIdentity not yet linked | Program Committee | University of Warsaw | Conference website ↗Checked 2026-09-13 |
| Damiano MazzaIdentity not yet linked | Program Committee | CNRS, LIPN, France CNRS · Laboratoire d'Informatique de Paris-Nord | Conference website ↗Checked 2026-09-13 |
| Catuscia PalamidessiIdentity not yet linked | Program Committee | INRIA, LIX, France Institut national de recherche en sciences et technologies du numérique · Laboratoire d'Informatique de l'École Polytechnique | Conference website ↗Checked 2026-09-13 |
| Daniela PetrisanIdentity not yet linked | Program Committee | IRIF, France | Conference website ↗Checked 2026-09-13 |
| André PlatzerIdentity not yet linked | Program Committee | Karlsruhe Institute of Technology, Germany | Conference website ↗Checked 2026-09-13 |
| Damien PousIdentity not yet linked | Program Committee | CNRS, LIP, France CNRS · LIP | Conference website ↗Checked 2026-09-13 |
| Pawel SobocinskiIdentity not yet linked | Program Committee | Tallinn University of Technology, Estonia | Conference website ↗Checked 2026-09-13 |
| Szymon ToruńczykIdentity not yet linked | Program Committee | University of Warsaw, Poland | Conference website ↗Checked 2026-09-13 |
| Frits VaandragerIdentity not yet linked | Program Committee | Radboud University, The Netherlands | Conference website ↗Checked 2026-09-13 |
| Fabio ZanasiIdentity not yet linked | Program Committee | University College London, UK | Conference website ↗Checked 2026-09-13 |
| Georg ZetzscheIdentity not yet linked | Program Committee | MPI-SWS, Germany | Conference website ↗Checked 2026-09-13 |
| Thomas ZeumeIdentity not yet linked | Program Committee | Ruhr-Universität Bochum, Germany | Conference website ↗Checked 2026-09-13 |
| Christel BaierIdentity 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 |
| 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 |
| Daniele GorlaIdentity 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 |
| Holger HermannsIdentity 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 |
| Orna KupfermanIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Leonid LibkinIdentity 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 |
| Joel OuaknineIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Frank PfenningIdentity 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 |
| Sam StatonIdentity 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 |
| Lijung ZhangIdentity not yet linked | Annual Steering Committee | Not stated in source | Conference website ↗Checked 2026-09-13 |
Logic in Computer Science (LICS 2023)
31 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| All ConferencesIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| CommitteesIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Invited SpeakersIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Papers by AuthorIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Test-of-Time Award WinnersIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Kleene Award WinnersIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Distinguished PapersIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Link to Web PageIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Presented PapersIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| OrganizersIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adnan DarwicheIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Azadeh FarzanIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dale MillerIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Toniann PitassiIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dan SuciuIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Benjamin AminofIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Giuseppe De GiacomoIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sasha RubinIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Florian ZulegerIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| More Information...Identity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Georgios ArgyrisIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alberto Lluch-LafuenteIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alexander Leguizamon-RobayoIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mirco TribastoneIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Max TschaikowskiIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Andrea VandinIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| David BaeldeIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adrien KoutsosIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Joseph LallemandIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Nikhil BalajiIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Lorenzo ClementeIdentity not yet linked | Logic in Computer Science (LICS 2023) | Not stated in source | Conference website ↗Checked 2026-09-13 |
Organizers
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Last modified: 2026-02-08Identity not yet linked | Organizers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| 10:27Identity not yet linked | Organizers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sam StatonIdentity not yet linked | Organizers | Not stated in source | Conference website ↗Checked 2026-09-13 |
Presented Papers
26 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Benjamin AminofIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Giuseppe De GiacomoIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sasha RubinIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Florian ZulegerIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| More Information...Identity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Georgios ArgyrisIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alberto Lluch-LafuenteIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alexander Leguizamon-RobayoIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mirco TribastoneIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Max TschaikowskiIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Andrea VandinIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| David BaeldeIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adrien KoutsosIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Joseph LallemandIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Nikhil BalajiIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Lorenzo ClementeIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Klara NosanIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mahsa ShirmohammadiIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| James WorrellIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Libor BartoIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Bertalan BodorIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Marcin KozikIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Antoine MottetIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Michael PinskerIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Jason P. BellIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Daniel SmertnigIdentity not yet linked | Presented Papers | Not stated in source | Conference website ↗Checked 2026-09-13 |
Program Chair
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Last modified: 2026-02-08Identity not yet linked | Program Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| 10:27Identity not yet linked | Program Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sam StatonIdentity not yet linked | Program Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
Program Committee:
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Last modified: 2026-02-08Identity not yet linked | Program Committee: | Not stated in source | Conference website ↗Checked 2026-09-13 |
| 10:27Identity not yet linked | Program Committee: | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sam StatonIdentity not yet linked | Program Committee: | Not stated in source | Conference website ↗Checked 2026-09-13 |
Publicity Chair
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Last modified: 2026-02-08Identity not yet linked | Publicity Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| 10:27Identity not yet linked | Publicity Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sam StatonIdentity not yet linked | Publicity Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
Thirty eighth Annual ACM/IEEE Symposium on
31 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| All ConferencesIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| CommitteesIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Invited SpeakersIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Papers by AuthorIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Test-of-Time Award WinnersIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Kleene Award WinnersIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Distinguished PapersIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Link to Web PageIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Presented PapersIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| OrganizersIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adnan DarwicheIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Azadeh FarzanIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dale MillerIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Toniann PitassiIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Dan SuciuIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Benjamin AminofIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Giuseppe De GiacomoIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sasha RubinIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Florian ZulegerIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| More Information...Identity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Georgios ArgyrisIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alberto Lluch-LafuenteIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Alexander Leguizamon-RobayoIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Mirco TribastoneIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Max TschaikowskiIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Andrea VandinIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| David BaeldeIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Adrien KoutsosIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Joseph LallemandIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Nikhil BalajiIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Lorenzo ClementeIdentity not yet linked | Thirty eighth Annual ACM/IEEE Symposium on | Not stated in source | Conference website ↗Checked 2026-09-13 |
Workshops Chair
3 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Last modified: 2026-02-08Identity not yet linked | Workshops Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| 10:27Identity not yet linked | Workshops Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |
| Sam StatonIdentity not yet linked | Workshops Chair | Not stated in source | Conference website ↗Checked 2026-09-13 |