PROGRAM CHAIRS
Sharon Shoham, Tel Aviv University
Yakir Vizel, The Technion
PROGRAM COMMITTEE
| Aina Niemetz | Stanford | USA |
| Alastair Donaldson | Imperial College London | UK |
| Alessandro Cimatti | FBK | Italy |
| Alexander Ivrii | IBM | Israel |
| Alexander J. Summers | University of British Columbia | Canada |
| Alexander Nadel | Intel | Israel |
| Alexandra Silva | Cornell University | USA |
| Ana Sokolova | University of Salzburg | Austria |
| Anastasia Mavridou | KBR Inc, NASA Ames Research Center | USA |
| Andreas Podelski | University of Freiburg | Germany |
| Andrei Popescu | University of Sheffield | UK |
| Andrey Rybalchenko | Microsoft Research | UK |
| Anna Lukina | TU Delft | Netherlands |
| Anna Slobodova | Intel | USA |
| Antoine Miné | Sorbonne Université | France |
| Armin Biere | University of Freiburg | Germany |
| Azalea Raad | Imperial College London | UK |
| Bor-Yuh Evan Chang | University of Colorado Boulder and Amazon | USA |
| Caterina Urban | INRIA | France |
| Corina Pasareanu | CMU/NASA Ames Research Center | USA |
| Dana Drachsler Cohen | Technion | Israel |
| Daniel Kroening | Amazon | |
| David Jansen | Chinese Academy of Sciences, Beijing | China |
| Deepak D’souza | Indian Institute of Science | India |
| Dejan Jovanović | Amazon Web Services | USA |
| Derek Dreyer | MPI-SWS | Germany |
| Elizabeth Polgreen | University of Edinburgh | UK |
| Elvira Albert | Complutense University of Madrid | Spain |
| Erika Abraham | RWTH Aachen University | Germany |
| Grigory Fedyukovich | Florida state university | USA |
| Guy Avni | Haifa university | Israel |
| Guy Katz | Hebrew university | Israel |
| Hadar Frenkel | CISPA | Germany |
| Hillel Kugler | Bar Ilan university | Israel |
| Hiroshi Unno | University of Tsukuba | Japan |
| Isabel Garcia-Contreras | Waterloo | Canada |
| Ivana Cerna | Masaryk University | Czech Republic |
| Jade Alglave | University College London & Arm | UK |
| Jean-Baptiste Jeannin | University of Michigan | USA |
| Joost-Pieter Katoen | RWTH Aachen University | Germany |
| Josh Berdine | Meta | UK |
| Joxan Jaffar | National University of Singapore | Singapore |
| Kenneth L. McMillan | UT Austin | USA |
| Klaus v. Gleissenthall | Vrije Universiteit Amsterdam | Netherlands |
| Konstantin Korovin | University of Manchester | UK |
| Krishna Shankaranarayanan | IIT Bombay | India |
| Kuldeep Meel | National University of Singapore | Singapore |
| Laura Titolo | NIA/NASA LaRC | USA |
| Liana Hadarean | AWS | USA |
| Marieke Huisman | U Twente | Netherlands |
| Marijana Lazić | TU Munich | Germany |
| Marijn J.H. Heule | CMU | USA |
| Markus Rabe | USA | |
| Martina Seidl | Johannes Kepler University Linz | Austria |
| Mingsheng Ying | Chinese Academy of Sciences; Tsinghua University | China |
| Miriam García Soto | IST Austria | Austria |
| Natasha Sharygina | University of Lugano | Switzerland |
| Nikolaj Bjorner | Microsoft Research | USA |
| Nir Piterman | University of Gothenburg | Sweden |
| Oded Padon | VMware Research | USA |
| Parasara Sridhar Duggirala | UNC Chapel Hill | USA |
| Parosh Aziz Abdulla | Uppsala University | Sweden |
| Pavithra Prabhakar | Kansas State University | USA |
| Philippa Gardner | Imperial College London | UK |
| Pierre Ganty | IMDEA Software Institute | Spain |
| Rajeev Joshi | Amazon | USA |
| Rayna Dimitrova | CISPA | Germany |
| Roderick Bloem | Graz University of Technology | Austria |
| Ruben Martins | CMU | USA |
| Rupak Majumdar | MPI-SWS | Germany |
| Ruzica Piskac | Yale University | USA |
| Sébastien Bardin | CEA LIST, Université Paris-Saclay | France |
| Shuvendu Lahiri | Microsoft Research | USA |
| Sorav Bansal | IIT Delhi and CompilerAI Labs | India |
| Subodh Sharma | IIT Delhi | India |
| Supratik Chakraborty | IIT Bomaby | India |
| Swarat Chaudhuri | UT Austin | USA |
| Swen Jacobs | CISPA | Germany |
| Taylor T. Johnson | Vanderbilt University | USA |
| Temesghen Kahsai | Amazon | USA |
| Wei-Ngan Chin | National University of Singapore | Singapore |
| Xavier Rival | INRIA Paris/ENS/PSL | France |
| Xujie Si | McGill University | Canada |
| Yang Liu | Nanyang Technological University | Singapore |
| Yu-Fang Chen | Institute of Information Science, Academia Sinica | Taiwan |
| Yuxin Deng | East China Normal University | China |
ARTIFACT EVALUATION CHAIRS
Maria A Schett, University College London
Daniel Dietsch, University of Freiburg
ARTIFACT EVALUATION COMMITTEE
| Guy Amir | The Hebrew University of Jerusalem |
| Muqsit Azeem | Technical University of Munich |
| Kshitij Bansal | Meta |
| Tianshu Bao | Vanderbilt University |
| Fabian Bauer-Marquart | University of Konstanz |
| Anna Becchi | Fondazione Bruno Kessler |
| Ranadeep Biswas | Informal Systems |
| Christopher Brix | RWTH Aachen University |
| Marek Chalupa | IST Austria |
| Kevin Cheang | UC Berkeley |
| Lesly-Ann Daniel | KU Leuven |
| Kinnari Dave | Certified Kernel Tech, LLC |
| Simon Dierl | TU Dortmund University |
| Florian Dorfhuber | Chair of Theoretical Computer Science, TUM Department of Informatics |
| Benjamin Farinier | Technische Universität Wien (TU Wien) |
| Parisa Fathololumi | Stevens Institute of Technology |
| Mathias Fleury | Universität Freibung |
| Luke Geeson | UCL |
| Pablo Gordillo | Complutense University of Madrid |
| Manish Goyal | University of North Carolina at Chapel Hill |
| Akos Hajdu | Meta Platforms Inc. |
| Alejandro Hernández-Cerezo | Complutense University of Madrid |
| Jana Hofmann | CISPA Helmholtz Center for Information Security |
| Miguel Isabel | Universidad Complutense de Madrid |
| Martin Jonáš | Fondazione Bruno Kessler, Trento, Italy |
| Samuel Judson | Yale University |
| Sudeep Kanav | LMU Munich, Germany |
| Daniela Kaufmann | Johannes Kepler University Linz |
| Brian Kempa | Iowa State University |
| Ayrat Khalimov | ULB, Belgium |
| Nishant Kheterpal | University of Michigan |
| Edward Kim | University of North Carolina at Chapel Hill |
| John Kolesar | Yale University |
| Bettina Könighofer | Graz University of Technology |
| Mitja Kulczynski | Kiel University |
| Thomas Lemberger | LMU Munich |
| Julien Lepiller | Yale University |
| Sven Linker | Lancaster University in Leipzig |
| Kirby Linvill | CU Boulder (Programming Languages and Verification group) |
| Y. Cyrus Liu | Stevens Institute of Technology |
| Tianhan Lu | University of Colorado Boulder |
| Enrico Magnago | Fondazione Bruno Kessler, University of Trento |
| Tobias Meggendorfer | IST Austria |
| Fabian Meyer | RWTH Aachen University |
| Stefanie Mohr | Technical Universitiy of Munich |
| Raphaël Monat | LIP6, Sorbonne Université & CNRS |
| Felipe R. Monteiro | Amazon, USA |
| Marcel Moosbrugger | TU Wien |
| Marco Muniz | Aalborg University |
| Neelanjana Pal | Vanderbilt University |
| Francesco Parolini | Sorbonne University |
| Mário Pereira | NOVA LINCS & Nova School of Science and Technology |
| João Pereira | ETH Zurich |
| Sumanth Prabhu | Indian Institute of Science and TCS Research |
| Cedric Richter | Carl von Ossietzky University of Oldenburg |
| Clara Rodríguez | Complutense University of Madrid |
| Bob Rubbens | University of Twente |
| Rubén Rubio | Universidad Complutense de Madrid |
| Stanly Samuel | Indian Institute of Science, Bangalore |
| Daniel Schoepe | Amazon |
| Philipp Schröer | RWTH Aachen University |
| Joseph Scott | University of Waterloo |
| Arnab Sharma | University of Oldenburg |
| Salomon Sickert | The Hebrew University of Jerusalem |
| Yahui Song | National University of Singapore (NUS) |
| Michael Starzinger | University of Salzburg |
| Martin Tappler | Graz University of Technology |
| Michael Tautschnig | Queen Mary University of London |
| Mertcan Temel | Intel Corporation |
| Saeid Tizpaz-Niari | UT El Paso |
| Deivid Vale | Radboud University Nijmegen |
| Vesal Vojdani | University of Tartu |
| Masaki Waga | Kyoto University |
| Peixin Wang | University of Oxford |
| Tobias Winkler | RWTH Aachen University |
| Stefan Zetzsche | University College London |
| Xiao-Yi Zhang | National Institute of Informatics |
| Linpeng Zhang | UCL |
| Đorđe Žikelić | IST Austria |
PUBLICITY CHAIR
Shachar Itzhaky, The Technion
PROCEEDINGS and TALKS COORDINATOR
Hari Govind Vediramana Krishnan, University of Waterloo
WORKSHOP CHAIR
Grigory Fedyukovich, Florida state university