PROGRAM CHAIRS
Ruzica Piskac, Yale University
Zvonimir Rakamaric, Amazon (AWS)
LOCAL CHAIR
Alan Jović, University of Zagreb
WORKSHOP CHAIR
Grigory Fedyukovich, Florida State University
SPONSORSHIP CHAIRS
Borzoo Bonakdarpour, Michigan State University
Jana Hofmann, Max Planck Institute for Security and Privacy
FELLOWSHIP CHAIR
Ning Luo, University of Illinois Urbana-Champaign
ARTIFACT EVALUATION CHAIRS
Matthias Heizmann, University of Stuttgart
Tanja Schindler, University of Basel
AREA CHAIRS
Anthony Widjaja Lin, Technical University of Kaiserslautern
Azadeh Farzan, University of Toronto
Erika Ábrahám, RWTH Aachen University
Eva Darulova , Uppsala University
Guy Katz, Hebrew University of Jerusalem
Peter Müller, ETH Zurich
Philipp Rümmer, University of Regensburg
Roderick Bloem, Graz University of Technology
PUBLICATION CHAIR
Steve Siegel, University of Delaware
PUBLICITY CHAIRS
Ferhat Erata, Yale University
Hadar Frenkel, Bar Ilan University
WEBSITE CHAIR
Jordan Schmerge, Yale University
PROGRAM COMMITTEE
Aarti Gupta, Princeton University
Ahmed Bouajjani, Université Paris Cité
Aina Niemetz, Stanford University
Alan J. Hu, University of British Columbia
Alberto Griggio, Fondazione Bruno Kessler
Alessandro Cimatti, Fondazione Bruno Kessler
Alexander Nadel, Technion & NVIDIA
Alexander J. Summers University of British Columbia
Alfons Laarman, Leiden Institute of Advanced Computer Science (LIACS)
Aman Goel, AWS
Anastasia Isychev, TU Wien
Anastasia Mavridou, KBR / NASA Ames Research Center
Anca Muscholl, LaBRI, Université Bordeaux, France
Andreas Podelski, University of Freiburg, Germany
Andreas Pavlogiannis, Aarhus University
Anna Lukina, TU Delft
Anne-Kathrin Schmuck, Max Planck Institute for Software Systems
Anthony Widjaja Lin, TU Kaiserslautern and Max-Planck Institute for Software Systems
Anton Wijs, Eindhoven University of Technology
Arie Gurfinkel, University of Waterloo
Armin Biere, University of Freiburg, Germany
Azadeh Farzan, University of Toronto
Barbara Jobstmann, Cadence Design Systems
Benjamin Kaminski, Saarland University and University College London
Bernd Finkbeiner, CISPA Helmholtz Center for Information Security
Bettina Könighofer, Graz University of Technology
Borzoo Bonakdarpour, Michigan State University
Burcu Kulahcioglu Ozkan, Delft University of Technology (TU Delft)
Cesar Sanchez, IMDEA Software Institute
Christoph Matheja, University of Oldenburg
Christoph M. Wintersteiger, Imandra
Clark Barrett, Stanford University
Claudia Cauli, Huawei Ireland Research Center
Corina Pasareanu, NASA Ames and Carnegie Mellon University
Cristina David, University of Bristol
Daniel Kröning, Amazon
Daniel STAN, LRE EPITA, ICube, University of Strasbourg, France
Damien Zufferey, NVIDIA
Dirk Beyer, LMU Munich, Germany
Dominik Winterer, ETH Zurich
Đorđe Žikelić, Singapore Management University
Dorra BEN KHALIFA, ENAC
Duc-Hiep Chu, Google Research
Elizabeth Polgreen, University of Edinburgh
Elvira Albert, Complutense University of Madrid, Spain
Enrico Magnago, Amazon
Erika Abraham, RWTH Aachen University
Eva Darulova, Uppsala University
Gidon Ernst, LMU Munich
Guowen Xu, University of Electronic Science and Technology of China
Guy Amir, Cornell University
Guy Katz, The Hebrew University of Jerusalem
Hadar Frenkel, Bar Ilan University
Haoze (Andrew) Wu, Amherst College
Harald Ruess, SRI International, Menlo Park, California
Hari Govind Vediramana Krishnan, Microsoft
Hazem Torfah, Chalmers University of Technology, Sweden
He Zhu, Rutgers
Hossein Hojjat, Tehran Institute for Advanced Studies
Ichiro Hasuo, National Institute of Informatics
Jana Hofmann, MPI-SP
Ji Guan, Institute of Software, Chinese Academy of Sciences
Jianan Yao, Amazon
Jingbo Wang, Purdue University
Jocelyn (Qiaochu) Chen, New York University/University of Alberta
Joey Dodds, Amazon
Joost-Pieter Katoen, RWTH-Aachen University, Germany
Jorge A. Pérez, University of Groningen
Junkil Park, Aptos Labs
Kaushik Mallik, IMDEA Software Institute
Kedar Namjoshi, Bell Labs, Nokia
Kshitij Bansal, Google
Kyungmin Bae, POSTECH
Laura Kovacs, TU Wien
Magnus Myreen, Chalmers University of Technology
Marco Faella, University of Naples Federico II, Italy
Marieke Huisman, University of Twente
Mark Santolucito, Barnard College, Columbia University
Mihaela Sighireanu, ENS Paris-Saclay, France
Michael Emmi, Amazon Web Services
Mirco Giacobbe, University of Birmingham
Natasha Sharygina, University of Lugano
Nian-Ze Lee, National Taiwan University / LMU Munich
Ning Luo, UIUC
Ondřej Lengál, Brno University of Technology
Pablo Castro, Universidad Nacional de Río Cuarto - CONICET
Pavithra Prabhakar, Kansas State University
Peter Müller, ETH Zurich
Philipp Ruemmer, University of Regensburg
Qinxiang Cao, Shanghai Jiao Tong University
Ravi Mangal, Colorado State University
Rayna Dimitrova, CISPA Helmholtz Center for Information Security
Roderick Bloem, Graz University of Technology
Ruzica Piskac chair, Yale
S. Akshay, Indian Institute of Technology Bombay
S. Krishna, Indian Institute of Technology Bombay
Sébastien Bardin, CEA List, Université Paris Saclay
Shaobo He, Amazon Web Services
Shibashis Guha, Tata Institute of Fundamental Research
Soham Chakraborty, TU Delft
Stefan Leue, University of Konstanz
Stefan Zetzsche, Amazon Web Services
Stephen F. Siegel, University of Delaware
Subhajit Roy, Indian Institute of Technology Kanpur
Sylvie Putot, Ecole Polytechnique
Tachio Terauchi, Waseda University
Tatjana Petrov, University of Trieste, Italy
Thomas Wahl, Trusted Science and Technology, Inc.
Tim King, Amazon
Timos Antonopoulos, Yale University
Tom van Dijk, University of Twente
Tomas Vojnar, Masaryk University, Faculty of Informatics
Vijay Ganesh, Georgia Tech
Viktor Kunčak, EPFL, Switzerland
William Hallahan, Binghamton University
Wenxi Wang, The University of Virginia
Xi (James) Zheng, Macquarie University Australia
Yakir Vizel, The Technion, Haifa Israel
Yedi Zhang, National University of Singapore
Yu-Fang Chen, Academica Sinica Taiwan
Yuting Wang, Shanghai Jiao Tong University
Yuxin Deng, Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China
Yuyang Sang, Alibaba Cloud
Zvonimir Rakamaric chair, Amazon Web Services
STEERING COMMITTEE
Orna Grumberg, Technion
Aarti Gupta, Princeton University
Daniel Kröning, Amazon
Ken McMillan, UT Austin