| Agostino Dovier | Program Committee |
University of Udine
| Conference website ↗Checked 2026-09-13 |
| Alejandro ArbelaezIdentity not yet linked | Program Committee |
Universitat Politècnica de València
| Conference website ↗Checked 2026-09-13 |
| Alexander Schiendorfer | Program Committee |
Technische Hochschule Ingolstadt
| Conference website ↗Checked 2026-09-13 |
| Alexandre GoldsztejnIdentity not yet linked | Program Committee |
CNRS, University of Nantes, LS2N
CNRS · Nantes Université · Laboratoire des Sciences du Numérique de Nantes
| Conference website ↗Checked 2026-09-13 |
| Alexey Ignatiev | Program Committee |
Monash University
| Conference website ↗Checked 2026-09-13 |
| Allen Z. ZhongIdentity not yet linked | Program Committee |
Monash University
| Conference website ↗Checked 2026-09-13 |
| Amel HidouriIdentity not yet linked | Program Committee |
University Burgundy Franche-Comté
| Conference website ↗Checked 2026-09-13 |
| Anastasia PaparrizouIdentity not yet linked | Program Committee |
LIRMM
| Conference website ↗Checked 2026-09-13 |
| André Augusto CiréIdentity not yet linked | Program Committee |
University of Toronto Scarborough
| Conference website ↗Checked 2026-09-13 |
| Andrea FormisanoIdentity not yet linked | Program Committee |
University of Udine
| Conference website ↗Checked 2026-09-13 |
| Andreas Podelski | Program Committee |
University of Freiburg
| Conference website ↗Checked 2026-09-13 |
| Andrei A. BulatovIdentity not yet linked | Program Committee |
Simon Fraser University
| Conference website ↗Checked 2026-09-13 |
| Armin BiereIdentity not yet linked | Program Committee |
Universität Freiburg
| Conference website ↗Checked 2026-09-13 |
| Armin WolfIdentity not yet linked | Program Committee |
Fraunhofer
| Conference website ↗Checked 2026-09-13 |
| Arnaud LallouetIdentity not yet linked | Program Committee |
RTE R&D
| Conference website ↗Checked 2026-09-13 |
| Arnaud MalapertIdentity not yet linked | Program Committee |
University Nice Sophia Antipolis
| Conference website ↗Checked 2026-09-13 |
| Augustin DelecluseIdentity not yet linked | Program Committee |
Catholic University of Leuven
| Conference website ↗Checked 2026-09-13 |
| Barry O'SullivanIdentity not yet linked | Program Committee |
University College Cork
| Conference website ↗Checked 2026-09-13 |
| Berthe Y. ChoueiryIdentity not yet linked | Program Committee |
University of Nebraska-Lincoln
| Conference website ↗Checked 2026-09-13 |
| Bertrand NeveuIdentity not yet linked | Program Committee |
Gustave Eiffel University
| Conference website ↗Checked 2026-09-13 |
| Catherine DuboisIdentity not yet linked | Program Committee |
National School of Computer Science for Industry and Business
| Conference website ↗Checked 2026-09-13 |
| Cedric Pralet | Program Committee |
ONERA
| Conference website ↗Checked 2026-09-13 |
| Cemalettin OzturkIdentity not yet linked | Program Committee |
Munster Technology University and University College Cork
Munster Technology University · University College Cork
| Conference website ↗Checked 2026-09-13 |
| Charles Prud'hommeIdentity not yet linked | Program Committee |
IMT Atlantique, LS2N
IMT Atlantique · Laboratoire des Sciences du Numérique de Nantes
| Conference website ↗Checked 2026-09-13 |
| Chu-Min LiIdentity not yet linked | Program Committee |
University of Picardie Jules Verne
| Conference website ↗Checked 2026-09-13 |
| Clément CarbonnelIdentity not yet linked | Program Committee |
University of Montpellier, LIRMM
Université de Montpellier · Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier
| Conference website ↗Checked 2026-09-13 |
| Dimosthenis TsourosIdentity not yet linked | Program Committee |
Catholic University of Leuven
| Conference website ↗Checked 2026-09-13 |
| Edward Lam | Program Committee |
Monash University
| Conference website ↗Checked 2026-09-13 |
| Elise VareillesIdentity not yet linked | Program Committee |
IMT Mines Albi
| Conference website ↗Checked 2026-09-13 |
| Emir Demirović | Program Committee |
Delft University of Technology
| Conference website ↗Checked 2026-09-13 |
| Emmanuel HebrardIdentity not yet linked | Program Committee |
LAAS-CNRS
| Conference website ↗Checked 2026-09-13 |
| Enrico PontelliIdentity not yet linked | Program Committee |
New Mexico State University
| Conference website ↗Checked 2026-09-13 |
| Feifei MaIdentity not yet linked | Program Committee |
Chinese Academy of Sciences
| Conference website ↗Checked 2026-09-13 |
| Felix Ulrich-OlteanIdentity not yet linked | Program Committee |
University of York
| Conference website ↗Checked 2026-09-13 |
| Felix WinterIdentity not yet linked | Program Committee |
Vienna University of Technology
| Conference website ↗Checked 2026-09-13 |
| Florentina VoborilIdentity not yet linked | Program Committee |
TU Wien
| Conference website ↗Checked 2026-09-13 |
| François FagesIdentity not yet linked | Program Committee |
INRIA
| Conference website ↗Checked 2026-09-13 |
| Frédéric SaubionIdentity not yet linked | Program Committee |
University of Angers
| Conference website ↗Checked 2026-09-13 |
| Gilles SimoninIdentity not yet linked | Program Committee |
IMT Atlantique, LS2N
IMT Atlantique · Laboratoire des Sciences du Numérique de Nantes
| Conference website ↗Checked 2026-09-13 |
| Gilles TrombettoniIdentity not yet linked | Program Committee |
University of Montpellier, LIRMM
Université de Montpellier · Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier
| Conference website ↗Checked 2026-09-13 |
| Guillaume DervalIdentity not yet linked | Program Committee |
University of Liège
| Conference website ↗Checked 2026-09-13 |
| Guillaume Escamocher | Program Committee |
University College Cork
| Conference website ↗Checked 2026-09-13 |
| Hadrien CambazardIdentity not yet linked | Program Committee |
Grenoble INP
| Conference website ↗Checked 2026-09-13 |
| Hélène VerhaegheIdentity not yet linked | Program Committee |
Catholic University of Louvain
| Conference website ↗Checked 2026-09-13 |
| Helge Spieker | Program Committee |
Simula Research Laboratory
| Conference website ↗Checked 2026-09-13 |
| Helmut SimonisIdentity not yet linked | Program Committee |
University College Cork
| Conference website ↗Checked 2026-09-13 |
| Ian Miguel | Program Committee |
University of St Andrews
| Conference website ↗Checked 2026-09-13 |
| Ilankaikone SenthooranIdentity not yet linked | Program Committee |
Monash University
| Conference website ↗Checked 2026-09-13 |
| Jakob NordstromIdentity not yet linked | Program Committee |
University of Copenhagen and Lund University
University of Copenhagen · Lund University
| Conference website ↗Checked 2026-09-13 |
| Jean-Charles RéginIdentity not yet linked | Program Committee |
University Nice Sophia Antipolis
| Conference website ↗Checked 2026-09-13 |
| Jeremias Berg | Program Committee |
University of Helsinki
| Conference website ↗Checked 2026-09-13 |
| Jip J. DekkerIdentity not yet linked | Program Committee |
Monash University
| Conference website ↗Checked 2026-09-13 |
| Joan EspasaIdentity not yet linked | Program Committee |
University of St Andrews
| Conference website ↗Checked 2026-09-13 |
| Johannes Klaus FichteIdentity not yet linked | Program Committee |
Linköping University
| Conference website ↗Checked 2026-09-13 |
| John N. HookerIdentity not yet linked | Program Committee |
Carnegie Mellon University
| Conference website ↗Checked 2026-09-13 |
| Ken BrownIdentity not yet linked | Program Committee |
University College Cork
| Conference website ↗Checked 2026-09-13 |
| Kevin Leo | Program Committee |
Monash University
| Conference website ↗Checked 2026-09-13 |
| Kostas StergiouIdentity not yet linked | Program Committee |
University of Western Macedonia
| Conference website ↗Checked 2026-09-13 |
| Kyle E. C. BoothIdentity not yet linked | Program Committee |
Amazon
| Conference website ↗Checked 2026-09-13 |
| Lars KotthoffIdentity not yet linked | Program Committee |
University of St Andrews
| Conference website ↗Checked 2026-09-13 |
| Laura ClimentIdentity not yet linked | Program Committee |
University Polytechnic of Valencia
| Conference website ↗Checked 2026-09-13 |
| Laurent PerronIdentity not yet linked | Program Committee |
Google
| Conference website ↗Checked 2026-09-13 |
| Luis QuesadaIdentity not yet linked | Program Committee |
University College Cork
| Conference website ↗Checked 2026-09-13 |
| María Andreína Francisco Rodríguez | Program Committee |
Uppsala University
| Conference website ↗Checked 2026-09-13 |
| Martin C. CooperIdentity not yet linked | Program Committee |
University of Toulouse, IRIT
University of Toulouse · Institut de Recherche en Informatique de Toulouse
| Conference website ↗Checked 2026-09-13 |
| Mateu Villaret | Program Committee |
University of Girona
| Conference website ↗Checked 2026-09-13 |
| Mats CarlssonIdentity not yet linked | Program Committee |
RISE
| Conference website ↗Checked 2026-09-13 |
| Michael CodishIdentity not yet linked | Program Committee |
Ben-Gurion University
| Conference website ↗Checked 2026-09-13 |
| Michael J. MaherIdentity not yet linked | Program Committee |
Reasoning Research Institute, Canberra
Reasoning Research Institute · Canberra (United Kingdom)
| Conference website ↗Checked 2026-09-13 |
| Michele Lombardi | Program Committee |
University of Bologna
| Conference website ↗Checked 2026-09-13 |
| Mikolas JanotaIdentity not yet linked | Program Committee |
Czech Institute of Informatics, Robotics and Cybernetics
| Conference website ↗Checked 2026-09-13 |
| Mohamed SIALA | Program Committee |
LAAS-CNRS
| Conference website ↗Checked 2026-09-13 |
| Nassim BelmecheriIdentity not yet linked | Program Committee |
Simula Research Laboratory
| Conference website ↗Checked 2026-09-13 |
| Neil Yorke-Smith | Program Committee |
Delft University of Technology
| Conference website ↗Checked 2026-09-13 |
| Nguyen DangIdentity not yet linked | Program Committee |
University of St Andrews
| Conference website ↗Checked 2026-09-13 |
| Nikolaj S. BjørnerIdentity not yet linked | Program Committee |
Microsoft Research
| Conference website ↗Checked 2026-09-13 |
| Nysret MusliuIdentity not yet linked | Program Committee |
Vienna University of Technology
| Conference website ↗Checked 2026-09-13 |
| Olivier LhommeIdentity not yet linked | Program Committee |
IBM
| Conference website ↗Checked 2026-09-13 |
| Özgür Akgün | Program Committee |
University of St Andrews
| Conference website ↗Checked 2026-09-13 |
| Patrick ProsserIdentity not yet linked | Program Committee |
University of Glasgow
| Conference website ↗Checked 2026-09-13 |
| Paul ShawIdentity not yet linked | Program Committee |
IBM
| Conference website ↗Checked 2026-09-13 |
| Peter NightingaleIdentity not yet linked | Program Committee |
University of York
| Conference website ↗Checked 2026-09-13 |
| Peter Stuckey | Program Committee |
Monash University
| Conference website ↗Checked 2026-09-13 |
| Petr VilímIdentity not yet linked | Program Committee |
OptalCP
| Conference website ↗Checked 2026-09-13 |
| Phebe VayanosIdentity not yet linked | Program Committee |
University of Southern California
| Conference website ↗Checked 2026-09-13 |
| Philippe CodognetIdentity not yet linked | Program Committee |
Sorbonne University
| Conference website ↗Checked 2026-09-13 |
| Philippe RefaloIdentity not yet linked | Program Committee |
IBM
| Conference website ↗Checked 2026-09-13 |
| Philippe VismaraIdentity not yet linked | Program Committee |
University of Montpellier, LIRMM
Université de Montpellier · Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier
| Conference website ↗Checked 2026-09-13 |
| Pierre Flener | Program Committee |
Uppsala University
| Conference website ↗Checked 2026-09-13 |
| Pierre SchausIdentity not yet linked | Program Committee |
Catholic University of Louvain
| Conference website ↗Checked 2026-09-13 |
| Quentin CappartIdentity not yet linked | Program Committee |
UCLouvain & Polytechnique Montréal
UCLouvain · Polytechnique Montréal
| Conference website ↗Checked 2026-09-13 |
| Radu MarinescuIdentity not yet linked | Program Committee |
IBM
| Conference website ↗Checked 2026-09-13 |
| Roger KameugneIdentity not yet linked | Program Committee |
Maroua University
| Conference website ↗Checked 2026-09-13 |
| Roman Barták | Program Committee |
Charles University
| Conference website ↗Checked 2026-09-13 |
| Ruiwei Wang | Program Committee |
National University of Singapore
| Conference website ↗Checked 2026-09-13 |
| Ruth HoffmannIdentity not yet linked | Program Committee |
University of St Andrews
| Conference website ↗Checked 2026-09-13 |
| Samba NdiayeIdentity not yet linked | Program Committee |
Claude Bernard University, LIRIS
Claude Bernard University · LIRIS
| Conference website ↗Checked 2026-09-13 |
| Samir LoudniIdentity not yet linked | Program Committee |
IMT Atlantique, LS2N
IMT Atlantique · Laboratoire des Sciences du Numérique de Nantes
| Conference website ↗Checked 2026-09-13 |
| Sebastian Ordyniak | Program Committee |
University of Leeds
| Conference website ↗Checked 2026-09-13 |
| Serdar KadiogluIdentity not yet linked | Program Committee |
Brown University | Fidelity Investments
Brown University · Fidelity Investments (United States)
| Conference website ↗Checked 2026-09-13 |
| Stefano BistarelliIdentity not yet linked | Program Committee |
Perugia University
| Conference website ↗Checked 2026-09-13 |
| Stéphanie RousselIdentity not yet linked | Program Committee |
ONERA
| Conference website ↗Checked 2026-09-13 |
| Steve PrestwichIdentity not yet linked | Program Committee |
University College Cork
| Conference website ↗Checked 2026-09-13 |
| Thi-Bich-Hanh DaoIdentity not yet linked | Program Committee |
University of Orleans, LIFO
Université d'Orléans · Laboratoire d'Informatique Fondamentale d'Orléans
| Conference website ↗Checked 2026-09-13 |
| Thierry PetitIdentity not yet linked | Program Committee |
Emotia
| Conference website ↗Checked 2026-09-13 |
| Vasco ManquinhoIdentity not yet linked | Program Committee |
INESC-ID, Instituto Superior Técnico - Universidade de Lisboa
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento · Instituto Superior Técnico - Universidade de Lisboa
| Conference website ↗Checked 2026-09-13 |
| Vijay GaneshIdentity not yet linked | Program Committee |
Georgia Institute of Technology
| Conference website ↗Checked 2026-09-13 |
| Vinasétan Ratheil HoundjiIdentity not yet linked | Program Committee |
University of Abomey-Calavi
| Conference website ↗Checked 2026-09-13 |
| Xavier LorcaIdentity not yet linked | Program Committee |
IMT Mines Albi
| Conference website ↗Checked 2026-09-13 |
| Xiao PengIdentity not yet linked | Program Committee |
LAAS-CNRS
| Conference website ↗Checked 2026-09-13 |