committee/

THE PEOPLE BEHIND THE CONFERENCE

CADE 2024

Conference on Automated Deduction

Partial roster coverageOfficial edition website ↗

Source-attributed rosters checked 2026-09-13. 70 collected records; 69 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: IJCAR PC/organizers collected; remaining satellite hosts did not expose named organizers in reachable pages.

IJCAR 2024 Conference Co-Chairs

3 service records
IJCAR 2024 Conference Co-Chairs membership and source references
Person Role Affiliation as listed Evidence
Didier GalmicheIdentity not yet linkedConference Co-Chairs University of Lorraine, CNRS, LORIA Université de Lorraine · CNRS · Laboratoire Lorrain de Recherche en Informatique et ses Applications Conference website ↗Checked 2026-09-13
Stephan MerzIdentity not yet linkedConference Co-Chairs Inria, University of Lorraine, CNRS, LORIA Institut national de recherche en sciences et technologies du numérique · Université de Lorraine · CNRS · Laboratoire Lorrain de Recherche en Informatique et ses Applications Conference website ↗Checked 2026-09-13
Christophe RingeissenIdentity not yet linkedConference Co-Chairs Inria, University of Lorraine, CNRS, LORIA Institut national de recherche en sciences et technologies du numérique · Université de Lorraine · CNRS · Laboratoire Lorrain de Recherche en Informatique et ses Applications Conference website ↗Checked 2026-09-13

IJCAR 2024 Local Arrangements

2 service records
IJCAR 2024 Local Arrangements membership and source references
Person Role Affiliation as listed Evidence
Anne-Lise CharbonnierIdentity not yet linkedLocal Arrangements Inria Conference website ↗Checked 2026-09-13
Sabrina LemaireIdentity not yet linkedLocal Arrangements Inria Conference website ↗Checked 2026-09-13

IJCAR 2024 PC chairs

3 service records
IJCAR 2024 PC chairs membership and source references
Person Role Affiliation as listed Evidence
Chris BenzmüllerIdentity not yet linkedPC chairs University of Bamberg, Germany Conference website ↗Checked 2026-09-13
Marijn HeuleIdentity not yet linkedPC chairs Carnegie Mellon University, U.S.A. Conference website ↗Checked 2026-09-13
Renate SchmidtPC chairs University of Manchester, UK Conference website ↗Checked 2026-09-13

IJCAR 2024 PC members

56 service records
IJCAR 2024 PC members membership and source references
Person Role Affiliation as listed Evidence
Franz BaaderIdentity not yet linkedPC members TU Dresden, Germany Conference website ↗Checked 2026-09-13
Haniel BarbosaIdentity not yet linkedPC members Universidade Federal de Minas Gerais, Brazil Conference website ↗Checked 2026-09-13
Armin BiereIdentity not yet linkedPC members University of Freiburg, Germany Conference website ↗Checked 2026-09-13
Nikolaj BjørnerIdentity not yet linkedPC members Microsoft, U.S.A. Conference website ↗Checked 2026-09-13
Jasmin BlanchetteIdentity not yet linkedPC members LMU München, Germany Conference website ↗Checked 2026-09-13
Maria Paola BonacinaIdentity not yet linkedPC members Università degli Studi di Verona, Italy Conference website ↗Checked 2026-09-13
Florent CapelliIdentity not yet linkedPC members Artois University, France Conference website ↗Checked 2026-09-13
Agata CiabattoniIdentity not yet linkedPC members TU Wien, Austria Conference website ↗Checked 2026-09-13
Clare DixonIdentity not yet linkedPC members University of Manchester, United Kingdom Conference website ↗Checked 2026-09-13
Pascal FontaineIdentity not yet linkedPC members University of Liège, Belgium Conference website ↗Checked 2026-09-13
Carsten FuhsIdentity not yet linkedPC members Birkbeck, University of London, United Kingdom Conference website ↗Checked 2026-09-13
Didier GalmicheIdentity not yet linkedPC members University of Lorraine - LORIA, France Conference website ↗Checked 2026-09-13
Silvio GhilardiIdentity not yet linkedPC members Università degli Studi di Milano, Italy Conference website ↗Checked 2026-09-13
Jürgen GieslIdentity not yet linkedPC members RWTH Aachen University, Germany Conference website ↗Checked 2026-09-13
Arie GurfinkelIdentity not yet linkedPC members University of Waterloo, Canada Conference website ↗Checked 2026-09-13
Andrzej IndrzejczakIdentity not yet linkedPC members University of Lodz, Poland Conference website ↗Checked 2026-09-13
Moa JohanssonIdentity not yet linkedPC members Chalmers University of Technology, Sweden Conference website ↗Checked 2026-09-13
Daniela KaufmannIdentity not yet linkedPC members TU Wien, Austria Conference website ↗Checked 2026-09-13
Patrick KoopmannIdentity not yet linkedPC members Vrije Universiteit Amsterdam, The Netherlands Conference website ↗Checked 2026-09-13
Konstantin KorovinIdentity not yet linkedPC members University of Manchester, United Kingdom Conference website ↗Checked 2026-09-13
Peter LammichIdentity not yet linkedPC members University of Twente, The Netherlands Conference website ↗Checked 2026-09-13
Martin LangeIdentity not yet linkedPC members University of Kassel, Germany Conference website ↗Checked 2026-09-13
Tim LyonIdentity not yet linkedPC members TU Dresden, Germany Conference website ↗Checked 2026-09-13
Kuldeep MeelIdentity not yet linkedPC members University of Toronto, Canada Conference website ↗Checked 2026-09-13
Stephan MerzIdentity not yet linkedPC members Inria - LORIA, France Conference website ↗Checked 2026-09-13
Cláudia NalonIdentity not yet linkedPC members University of Brasília, Brazil Conference website ↗Checked 2026-09-13
Aina NiemetzIdentity not yet linkedPC members Stanford University, U.S.A. Conference website ↗Checked 2026-09-13
Albert OliverasIdentity not yet linkedPC members Universitat Politècnica de Catalunya, Spain Conference website ↗Checked 2026-09-13
Xavier ParentIdentity not yet linkedPC members TU Wien, Austria Conference website ↗Checked 2026-09-13
Nicolas PeltierIdentity not yet linkedPC members CNRS - LIG, France Conference website ↗Checked 2026-09-13
Rafael PeñalozaIdentity not yet linkedPC members University of Milano-Bicocca, Italy Conference website ↗Checked 2026-09-13
Elaine PimentelIdentity not yet linkedPC members UCL, United Kingdom Conference website ↗Checked 2026-09-13
André PlatzerIdentity not yet linkedPC members Karlsruhe Institute of Technology, Germany Conference website ↗Checked 2026-09-13
Andrei PopescuIdentity not yet linkedPC members University of Sheffield, United Kingdom Conference website ↗Checked 2026-09-13
Florian RabeIdentity not yet linkedPC members FAU Erlangen-Nürnberg, Germany Conference website ↗Checked 2026-09-13
Giles RegerIdentity not yet linkedPC members Amazon Web Services and University of Manchester, United Kingdom Conference website ↗Checked 2026-09-13
Giselle ReisIdentity not yet linkedPC members Carnegie Mellon University, Qatar Conference website ↗Checked 2026-09-13
Andrew ReynoldsIdentity not yet linkedPC members University of Iowa, U.S.A. Conference website ↗Checked 2026-09-13
Christophe RingeissenIdentity not yet linkedPC members Inria - LORIA, France Conference website ↗Checked 2026-09-13
Philipp RümmerIdentity not yet linkedPC members University of Regensburg, Germany Conference website ↗Checked 2026-09-13
Uli SattlerIdentity not yet linkedPC members University of Manchester, United Kingdom Conference website ↗Checked 2026-09-13
Tanja SchindlerIdentity not yet linkedPC members University of Basel, Switzerland Conference website ↗Checked 2026-09-13
Claudia SchonIdentity not yet linkedPC members Hochschule Trier, Germany Conference website ↗Checked 2026-09-13
Stephan SchulzIdentity not yet linkedPC members DHBW Stuttgart, Germany Conference website ↗Checked 2026-09-13
Roberto SebastianiIdentity not yet linkedPC members University of Trento, Italy Conference website ↗Checked 2026-09-13
Martina SeidlIdentity not yet linkedPC members Johannes Kepler University Linz, Austria Conference website ↗Checked 2026-09-13
Viorica Sofronie-StokkermansIdentity not yet linkedPC members University of Koblenz, Germany Conference website ↗Checked 2026-09-13
Alexander SteenIdentity not yet linkedPC members University of Greifswald, Germany Conference website ↗Checked 2026-09-13
Martin SudaIdentity not yet linkedPC members Czech Technical University in Prague, Czech Republic Conference website ↗Checked 2026-09-13
Yong Kiam TanIdentity not yet linkedPC members Institute for Infocomm Research, Singapore Conference website ↗Checked 2026-09-13
Sophie TourretIdentity not yet linkedPC members Inria - LORIA, France Conference website ↗Checked 2026-09-13
Josef UrbanIdentity not yet linkedPC members Czech Technical University in Prague, Czech Republic Conference website ↗Checked 2026-09-13
Uwe WaldmannIdentity not yet linkedPC members MPI for Informatics, Germany Conference website ↗Checked 2026-09-13
Christoph WeidenbachIdentity not yet linkedPC members MPI for Informatics, Germany Conference website ↗Checked 2026-09-13
Sarah WinklerIdentity not yet linkedPC members Free University of Bozen-Bolzano, Italy Conference website ↗Checked 2026-09-13
Yoni ZoharIdentity not yet linkedPC members Bar-Ilan University, Israel Conference website ↗Checked 2026-09-13

IJCAR 2024 Publicity Chair

1 service records
IJCAR 2024 Publicity Chair membership and source references
Person Role Affiliation as listed Evidence
Peter LammichIdentity not yet linkedPublicity Chair University of Twente Conference website ↗Checked 2026-09-13

IJCAR 2024 Workshop, Tutorial and Competition Chairs

1 service records
IJCAR 2024 Workshop, Tutorial and Competition Chairs membership and source references
Person Role Affiliation as listed Evidence
Sophie TourretIdentity not yet linkedWorkshop, Tutorial and Competition Chairs Inria, University of Lorraine, CNRS, LORIA Institut national de recherche en sciences et technologies du numérique · Université de Lorraine · CNRS · Laboratoire Lorrain de Recherche en Informatique et ses Applications Conference website ↗Checked 2026-09-13

SC2 Workshop 2024 Workshop Co-chairs

Workshop organizers 2 service records
SC2 Workshop 2024 Workshop Co-chairs membership and source references
Person Role Affiliation as listed Evidence
Daniela KaufmannIdentity not yet linkedWorkshop Co-chair TU Wien, Austria Conference website ↗Checked 2026-09-13
Chris BrownIdentity not yet linkedWorkshop Co-chair U. S. Naval Academy, USA Conference website ↗Checked 2026-09-13

TPTP Tea Party 2024 Organizers

Workshop organizers 2 service records
TPTP Tea Party 2024 Organizers membership and source references
Person Role Affiliation as listed Evidence
Geoff SutcliffeIdentity not yet linkedOrganizer University of Miami, USA Conference website ↗Checked 2026-09-13
Alexander SteenIdentity not yet linkedOrganizer University of Greifswald, Germany Conference website ↗Checked 2026-09-13