| Abdalrhman Mohamed | Stanford University |
| Abhishek Kr Singh | National University of Singapore |
| Adwait Godbole | UC Berkeley |
| Akshatha Shenoy | Universita della italiana lugano |
| Alejandro Hernández-Cerezo | Complutense University of Madrid |
| Ameer Hamza | Florida State University |
| Amit Samanta | University of Utah |
| Anna Becchi | Fondazione Bruno Kessler |
| Annelot Bosman | Universiteit Leiden |
| Avaljot Singh | UIUC |
| Avraham Raviv | Bar Ilan university |
| Benjamin F Jones | Amazon Web Services |
| Bruno Andreotti | Federal University of Minas Gerais (UFMG) |
| Calvin Chau | Technische Universität Dresden, Germany |
| Cayden Codel | Carnegie Mellon University |
| Chenyu Zhou | University of Southern California |
| Christoph Weinhuber | University of Oxford |
| Clara Rodríguez-Núñez | Universidad Complutense de Madrid |
| Daniel Ajeleye | University of Colorado, Boulder |
| Diptarko Roy | University of Birmingham |
| Ehsan Kafshdar Goharshady | Institute of Science and Technology Austria (ISTA) |
| Enrico Magnago | Amazon Web Services |
| Filip Cano | Graz University of Technology |
| Filip Macák | Brno University of Technology |
| Filipe de Arruda | Universidade Federal de Pernambuco |
| Florian Sextl | TU Wien |
| Frédéric Recoules | CEA LIST |
| Geunyeol Yu | Pohang University of Science and Technology (POSTECH) |
| Guangyu Hu | The Hong Kong University of Science and Technology |
| Hichem Rami Ait-El-Hara | OCamlPro and Université Paris-Saclay, CEA, List |
| Idan Refaeli | The Hebrew University of Jerusalem |
| Jacqueline Mitchell | University of Southern California |
| Jaime Arias | CNRS, LIPN, Université Sorbonne Paris Nord |
| Jiong Yang | Georgia Institute of Technology |
| Joseph Tafese | University of Waterloo |
| Kadiray Karakaya | Paderborn University |
| Konstantin Britikov | University of Lugano (USI) |
| Konstantin Kueffner | IST Austria |
| Leni Aniva | Stanford University |
| Lutz Klinkenberg | RWTH Aachen University |
| Mahboubeh Samadi | Tehran Institute for Advanced Studies (TeIAS) |
| Mahyar Karimi | Institute of Science and Technology Austria |
| Marek Chalupa | Institute of Science and Technology |
| Mário Pereira | NOVA School of Science and Technology, NOVA LINCS |
| Mathias Fleury | University Freiburg |
| Matthias Heizmann chair | University of Stuttgart |
| Mehrdad Karrabi | Institute of Science and Technology Austria (ISTA) |
| Miguel Isabel | Complutense University of Madrid |
| Mihai Nicola | Stevens Institute of Technology |
| Mihály Dobos-Kovács | Budapest University of Technology and Economics |
| Mikael Mayer | Amazon AWS Automated Reasoning Dafny |
| Muqsit Azeem | Technical University of Munich |
| N. Ege Saraç | Institute of Science and Technology Austria (ISTA) |
| Neea Rusch | Augusta University |
| Nicolas Koh | Princeton |
| Omar Inverso | Gran Sasso Science Institute |
| Omkar Tuppe | IIT Bombay |
| Omri Isac | The Hebrew University of Jerusalem |
| Oyendrila Dobe | Amazon Web services |
| Pablo Gordillo | Complutense University of Madrid |
| Patrick Trentin | AWS - Amazon Web Services |
| Pei-Wei Chen | UC Berkeley |
| Peixin Wang | Nanyang Technological University |
| Philipp Kern | Karlsruhe Institute of Technology |
| Pinhan Zhao | University of Michigan |
| Po-Chun Chien | LMU Munich; Stanford University |
| Rajarshi Roy | University of Oxford |
| Ruzica Piskac chair | Yale |
| Sankalp Gambhir | EPFL, Switzerland |
| Sascha Klüppelholz | Technische Universität Dresden, Germany |
| Shantanu Kulkarni | IIT Bombay |
| Simon Guilloud | EPFL |
| Stefan Zetzsche | Amazon Web Services |
| Tanja Schindler chair | University of Basel |
| Timo Lang | Huawei, Ireland Research Center |
| Xuan Xie | University of Alberta |
| Yanju Chen | University of California, Santa Barbara |
| Yannik Schnitzer | University of Oxford |
| Yibo Dong | East China normal university |
| Yizhak Elboher | The Hebrew University of Jerusalem Israel |
| Yogev Shalmon | Technion & Intel |
| Yuning Wang | Rutgers University |
| Yusen Su | University of Waterloo |
| Zhengyang John Lu | University of Waterloo |
| Zhiyang Chen | University of Toronto |
| Zunchen Huang | CWI |