Conference Co-Chairs
Rustan Leino, Amazon
Alexandra Silva, University College London
Local Chairs for the Asia/Australia Timezone
Krishna S, IIT Bombay
Ichiro Hasuo, National Institute of Informatics, Japan
Artifact Co-Chairs
Clément Pit-Claudel, Massachusetts Institute of Technology
Maria Schett, University College London
Workshop Chair
Arie Gurfinkel, University of Waterloo
Verification Mentoring Workshop Organizing Committee
Jean-Baptiste Jeannin, University of Michigan (VMW co-chair)
Arjun Radhakrishna, Microsoft Research (VMW co-chair)
Suguman Bansal, University of Pennsylvania
Roopsha Samanta, Purdue University
Caterina Urban, INRIA École Normale Supérieure
Logic Lounge Organizer
Leopold Haller, Agentic AI
Ask Me Anything Organizer
Peter Müller, ETH Zürich
Publicity Committee
Norine Coenen, CISPA Helmholtz Center for Information Security (chair)
Sepideh Asadi, Università della Svizzera italiana (USI Lugano)
Claudia Cauli, University of Gothenburg
Tzu-Han Hsu, Michigan State University
Sponsorship Chair
Bor-Yuh Evan Chang, University of Colorado Boulder
Fellowship Chair
Thomas Wies, New York University
Proceedings and Talks Coordinator
John Cyphert, University of Wisconsin-Madison
Virtualization Committee
Tiago Ferreira, University College London (chair)
Laura Graves, University of Waterloo
Adharsh Kamath, NITK, Surathkal
Hanneli Tavante, McGill University
Justin Wong, UC Berkeley
Social Program
Emily Yu, Johannes Kepler University
Student Volunteer Coordinators
Tao Gu, University College London
Tobias Kappé, Cornell University
Student Volunteers
Mohammad Ahmadi, University of South Florida
Sepideh Asadi, Università della Svizzera italiana (USI Lugano)
Kimaya Bedarkar, Birla Institute of Technology and Science, Pilani
Claudia Cauli, University of Gothenburg
Xiaohong Chen, University of Illinois at Urbana-Champaign
Katherine Cordwell, Carnegie Mellon University
Lesly-Ann Daniel, CEA List
Nils Froleyks, Johannes Kepler University
Isabel Gan, Carnegie Mellon University
Laura Graves, University of Waterloo
Linus Heck, RWTH Aachen
Tzu-Han Hsu, Michigan State University
Natasha Joseph, Bits Pilani
Adharsh Kamath, National Institute of Technology Karnataka, India
Mayuko Kori, SOKENDAI
Satoshi Kura, National Institute of Informatics, Tokyo
Wen-Ding Li, Cornell University
Zhengyao Lin, University of Illinois at Urbana-Champaign
Roma Malhotra, Narsee Monjee Institute of Management Studies
Denis Mazzucato, Inria – ENS
Sophie Rain, TU Wien
Aishwarya Ramanathan, University of Waterloo
Paulo Santos, Universidade de Lisboa
Sota Sato, National Institute of Informatics, Tokyo
Matias Scharager, Carnegie Mellon University
William Smith, University College London
Hanneli Tavante, McGill University
Hari Govind Vediramana Krishnan, University of Waterloo
Kazuki Watanabe, SOKENDAI
Justin Wong, UC Berkeley
Stefan Zetzsche, University College London
Program Committee
Erika Abraham, RWTH Aachen University
Elvira Albert, Universidad Complutense de Madrid
Christel Baier, TU Dresden
Clark Barrett, Stanford University
Ezio Bartocci, Vienna University of Technology
Josh Berdine, Facebook
Armin Biere, Johannes Kepler University Linz
Sam Blackshear, Novi Research
Jasmin Blanchette, Vrije Universiteit Amsterdam
Roderick Bloem, Graz University of Technology
Borzoo Bonakdarpour, Michigan State University
Ahmed Bouajjani, University of Paris
Tevfik Bultan, University of California at Santa Barbara
Sagar Chaki, Mentor Graphics
Bor-Yuh Evan Chang, University of Colorado Boulder & Amazon
Hana Chockler, King’s College London
Cristina David, University of Cambridge
Jennifer Davis, Collins Aerospace
Yuxin Deng, East China Normal University
Rayna Dimitrova, CISPA Helmholtz Center for Information Security
Alastair Donaldson, Imperial College London, UK
Constantin Enea, IRIF, Université de Paris
Joao Fernandes, University of Coimbra
Bernd Finkbeiner, CISPA Helmholtz Center for Information Security
Vijay Ganesh, University of Waterloo
Pierre Ganty, IMDEA Software Institute
Aarti Gupta, Princeton University
Arie Gurfinkel, University of Waterloo
Ichiro Hasuo, National Institute of Informatics
Marieke Huisman, University of Twente
David N. Jansen, Institute of Software, Chinese Academy of Sciences
Jean- Baptiste Jeannin, University of Michigan
Ranjit Jhala, University of California San Diego
Rajeev Joshi, Automated Reasoning Group, Amazon
Temesghen Kahsai, Groq Inc
Benjamin Lucien Kaminski, University College London
Joost- Pieter Katoen, RWTH Aachen University
Guy Katz, The Hebrew University of Jerusalem
Laura Kovacs, Vienna University of Technology
Orna Kupferman, The Hebrew University of Jerusalem
Marta Kwiatkowska, University of Oxford
Ori Lahav, Tel Aviv University
Shuvendu Lahiri, Microsoft Research
Akash Lal, Microsoft Research
Kim Larsen, Aalborg University
Marijana Lazic, Technical University of Munich
Owolabi Legunsen, Cornell University
Rustan Leino, Amazon (PC co-chair)
Rupak Majumdar, MPI-SWS
Ruben Martins, Carnegie Mellon University
Ken McMillan, UT Austin
Aina Niemetz, Stanford University
Ruzica Piskac, Yale University
Sylvie Putot, LIX, École Polytechnique
Markus N. Rabe, Google
Talia Ringer, University of Washington
Kristin Yvonne Rozier, Iowa State University
Philipp Ruemmer, Uppsala University
Krishna S, IIT Bombay
Roopsha Samanta, Purdue University
Sanjit A. Seshia, University of California, Berkeley
Natarajan Shankar, SRI International
Natasha Sharygina, USI Lugano, Switzerland
Satnam Singh, Google Research
Sharon Shoham, Tel Aviv University
Alexandra Silva, University College London (PC co-chair)
Tachio Terauchi, Waseda University
Cesare Tinelli, The University of Iowa
Aaron Tomb, Galois, Inc.
Ashutosh Trivedi, University of Colorado Boulder
Caterina Urban, INRIA & École Normale Supérieure | Université PSL
Margus Veanes, Microsoft Research
Jules Villard, Facebook
Yakir Vizel, Technion
Chao Wang, University of Southern California
Wang Yi, Uppsala University
Mingsheng Ying, University of Technology, Sydney
Nobuko Yoshida, Imperial College London
Lijun Zhang, Institute of Software, Chinese Academy of Sciences
Artifact Evaluation Committee
Pablo Gordillo, Complutense University of Madrid
Sarah Winkler, University of Bolzano
Mathias Preiner, Stanford University
Masaki Waga, Kyoto University
Hira Syeda, Chalmers University, Gothenburg
Isabel Garcia-Contreras, IMDEA
Michael Tautschnig, Industry
Suguman Bansal, University of Pennsylvania
Filipe Arruda, UFPE – Brazil
Makai Mann, Stanford
Saeid Tizpaz Niari, University of Texas at El Paso
Zafer Esen, Uppsala University
Marcel Moosbrugger, TU Wien
Mitja Kulczynski, Christian-Albrechts-Universität zu Kiel
Guy Amir, Hebrew University of Jerusalem
Laura Graves, University of Waterloo
Peixin Wang, Shanghai Jiao Tong University
Murphy Berzish, University of Waterloo
Tim Quatmann, RWTH Aachen University
Tobias Winkler, RWTH Aachen University
Miguel Isabel , Technical University of Madrid
Mário Pereira, Universidade NOVA de Lisboa
Kevin Batz, RWTH Aachen University
Mathias Fleury, Johannes Kepler Universität Linz
Anastasiia Izycheva, TU Munich
Chunxiao Li
Brian Kempa, Iowa State University
Junyi Liu
Xiao-Yi Zhang, National Institute of Informatics, Tokyo
Bettina Könighofer, TU Graz
Mateo Perez, University of Colorado Boulder
Ali Younes, Ecole Polytechnique
Kshitij Bansal, Research Engineer
Nick Giannarakis, UW-Madison
Stella Lau, MIT
Sidi Mohamed Beillahi, Université de Paris
M. Fareed Arif, The University of Iowa
Julien Lepiller, Yale
Ranadeep Biswas, Universite de Paris
Mohit Kumar Tekriwal, University of Michigan, Ann Arbor
Albin Stjerna, Uppsala university
Debasmita Lohar, MPI-SWS
Rosa Abbasi Boroujeni, Max Planck Institute for Software Systems
Martin Desharnais, Research Institut Cyber Defence, Universität der Bundeswehr, Germany
Julia Belyakova, Northeastern University
Vedad Hadzic, TU Graz
Andres Noetzli, Amazon AWS
Philipp Schröer, RWTH Aachen University
Heiko Becker, Max Planck Institute for Software Systems
Elizabeth Polgreen, UC Berkeley, University of Edinburgh
Roy Margalit, Tel Aviv University
Bob Rubbens, University of Twente
Katherine Cordwell, Carnegie Mellon University
Luke Geeson, University College London
Marianela Morales, École Polytechnique
Deivid Vale, Radboud University Nijmegen
Yuhao Zhang, University of Wisconsin-Madison
Martin Tappler, Schaffhausen Institute of Technology
Vincent Archambault, Université de Montréal
Hazem Torfah, UC Berkeley
Joseph Scott, University of Waterloo
Shraddha Barke, UC San Diego
Vimala S, Indian Institute of Technology, Madras
Zheng Guo, UC San Diego
Alexandra Bugariu, ETH Zurich, Switzerland
Jasper Nalbach, RWTH AAchen University
Zachary Susag, University of Wisconsin – Madison
Daniela Kaufmann, Johannes Kepler University Linz, Austria
Chris Jenkins, The University of Iowa
CAV Award Committee
Pierre Wolper, Liege University (chair)
Somesh Jha, University of Wisconsin-Madison
Parosh Abdulla, Uppsala University
Corina Pasareanu, NASA
Steering Committee
Orna Grumberg , The Technion
Aarti Gupta , Princeton University
Daniel Kröning , University of Oxford
Ken McMillan , UT Austin