PROGRAM CHAIRS
Anthony W. Lin, University of Kaiserslautern-Landau and MPI-SWS
Eva Darulova, Uppsala University
Philipp Rümmer, University of Regensburg and Uppsala University
ARTIFACT EVALUATION CHAIRS
Magnus Myreen, Chalmers
Ondřej Lengál, Brno University of Technology
AREA CHAIRS
Alan Hu, University of British Columbia
Corina S. Pasareanu, NASA
David Parker, University of Oxford
Dirk Beyer, Ludwig-Maximilians-Universität München
Georg Weissenbacher, TU Wien
Joost-Pieter Katoen, RWTH Aachen
Marieke Huisman, University of Twente
Yu-Fang Chen, Academia Sinica Taiwan
WEBSITE CHAIR
Neea Rusch, Uppsala University
PROGRAM COMMITTEE
Aina Niemetz, Stanford University
Albert Rubio, Complutense University of Madrid
Alberto Griggio, Fondazione Bruno Kessler
Alessandro Abate, University of Oxford
Alessandro Cimatti, Fondazione Bruno Kessler
Alexander Nadel, Technion & NVIDIA
Alfons Laarman, Leiden University
Alwen Tiu, The Australian National University
Anastasia Mavridou, KBR Inc / NASA Ames Research Center
Anastasia Volkova, Inria
Andrea Turrini, Institute of Software, Chinese Academy of Sciences
Ankush Desai, Snowflake
Arie Gurfinkel, University of Waterloo
Arjun Radhakrishna, Microsoft
Azalea Raad, Imperial College London
Bai Xue, Institute of Software, Chinese Academy of Sciences
Benjamin Lucien Kaminski, Saarland University and University College London
Borzoo Bonakdarpour, Michigan State University
Burcu Kulahcioglu Ozkan, Delft University of Technology
Caterina Urban, Inria & ENS | PSL
Cesar Sanchez, IMDEA Software Institute
Cesare Tinelli, The University of Iowa
Chih-Hong Cheng, Carl von Ossietzky University of Oldenburg
Christel Baier, TU Dresden
Christian Schilling, Aalborg University
Constantin Enea, Ecole Polytechnique, LIX, CNRS
Damien Zufferey, NVIDIA
Daniel Neider, TU Dortmund University
Daniel STAN, LRE EPITA, ICube, University of Strasbourg, France
David Parker, University of Oxford
David Sanan, Singapore Institute of Technology
Dung Tran, University of Florida
Ekaterina Komendantskaya, Southampton university
Elaine Li, New York University
Erika Abraham, RWTH Aachen University
Fu Song, Institute of Software, Chinese Academy of Science,
Gennaro Parlato, University of Molise, Italy
Gidon Ernst, LMU Munich
Grant Passmore, Imandra Inc and Clare Hall, Cambridge
Hadar Frenkel, Bar Ilan University
Haniel Barbosa, Universidade Federal de Minas Gerais
Harald Ruess, SRI International
Hongfei Fu, Shanghai Jiao Tong University
Hossein Hojjat, Tehran Institute for Advanced Studies
Ichiro Hasuo, National Institute of Informatics
Ilya Sergey, National University of Singapore
Jan Křetínský, Masaryk University; TU Munich
Javier Esparza, Technical University of Munich
Ji Guan, Institute of Software, Chinese Academy of Sciences
Jianwen Li, East China Normal University
Jie-Hong Roland Jiang, National Taiwan University
Jingbo Wang, Purdue University
Jorge Navas, Certora
Julian Parsert, RPTU Kaiserslautern
Juneyoung Lee, Amazon Web Services
Kenenth McMillan, UT Austin
Krishna Shankaranarayanan, IIT Bombay
Loris D’Antoni, University of California-San Diego
Lukas Holik, Aalborg University, Brno University of Technology
Mahesh Viswanathan, University of Illinois, Urbana-Champaign
Marco Eilers, ETH Zurich
Margus Veanes, Microsoft Research
Maximilian Weininger, Ruhr-University Bochum
Milan Ceska, Brno University of Technology
Mingsheng Ying, University of Technology Sydney
Mingshuai Chen, Zhejiang University
Mirco Giacobbe, University of Birmingham
Mohamed Faouzi Atig, Uppsala University
Nikola Beneš, Masaryk University, Faculty of Informatics
Ocan Sankur, CNRS
Oded Padon, Weizmann Institute of Science
Ondřej Lengál, Brno University of Technology
Orna Grumberg, Technion, Israel
Orna Kupferman, The Hebrew University
Pavithra Prabhakar, Kansas State University
Pierre Ganty, IMDEA Software Institute
Qinheping Hu, Bytedance
Roderick Bloem, Graz University of Technology
Rohit Chadha, University of Missouri, Columbia
S. Akshay, Indian Institute of Technology Bombay
Sharon Shoham, Tel Aviv University
Stanley Bak, Stony Brook University
Stefano Tonetta, FBK
Suguman Bansal, Georgia Institute of Technology
Supratik Chakraborty, IIT Bombay
Sylvie Putot, Ecole Polytechnique
Tobias Meggendorfer, Lancaster University Leipzig
Xujie Si, University of Toronto
Yakir Vizel, The Technion
Yedi Zhang, National University of Singapore
Yong Kiam Tan, Institute for Infocomm Research, A*STAR and Nanyang Technological University
Zhilin Wu, Institute of Software, Chinese Academy of Sciences