STEERING COMMITTEE
STEERING COMMITTEE
ORGANIZING COMMITTEE
General chair
Alexandra Silva, Cornell University
Advisory chair
Moshe Y. Vardi, Rice University
Co-Chair
Orna Grumberg, Technion
Co-Chair
Eran Yahav, Technion
Website Chair
Shachar Itzhaky, Technion
Publicity Chair
Arie Gurfinkel, University of Waterloo
General Administrative Manager
Fundraising Chair
Hana Chockler, King’s College London
Diversity Co-chairs
Orna Kupferman, Hebrew University of Jerusalem
Prakash Panangaden, McGill University
Workshops Co-chairs
Shaull Almagor, Technion
Guillermo A. Pérez, University of Antwerp
Mentoring Workshop Co-chairs
Sandra Kiefer, ax Planck Institute for Software Systems
Marijana Lazić, TU Munich
Caterina Urban, Inria
Gail Weiss, Technion
Program Chair
Ori Lahav, Tel Aviv University
Volunteer Co-chair
Guy Avni, University of Haifa
Hila Peleg, Technion
Noam Zilberstein, Cornell University
General Public Events Chair
Georg Weissenbacher, TU Wien
Olympic Games Chair
Dana Drachsler, Technion
CAV Conference Chairs
Sharon Shoham, Tel Aviv University
Yakir Vizel, Technion
CP Conference Chairs
Ferdinando Fioretto, Syracuse University
Roie Zivan, Ben-Gurion University
CSF Conference Chair
Eyal Ronen, Tel Aviv University
DL Conference Chair
Ofer Arieli, The Academic College of Tel-Aviv
FSCD Conference Chair
Nachum Dershowitz, Tel Aviv University
ICLP Conference Chair
Michael Codish, Ben-Gurion University
IJCAR Conference Chair
Arnon Avron, Tel Aviv University
ITP Conference Chair
Liron Cohen, Ben-Gurion University
KR Conference Chair
Ofer Arieli, The Academic College of Tel-Aviv
LICS
Conference Chair
Dana Fisman, Ben-Gurion University
NMR Conference Chair
Ofer Arieli, The Academic College of Tel-Aviv
SAT Conference Chair
Ofer Strichman, Technion
PROGRAM COMMITTEE
General chair
Alexandra Silva, Cornell University
Advisory chair
Moshe Y. Vardi, Rice University
Co-Chair
Orna Grumberg, Technion
Co-Chair
Eran Yahav, Technion
CAV PC Chairs
Sharon Shoham, Tel Aviv University
Yakir Vizel, Technion
CP PC Chairs
Christine Solnon, INSA Lyon
CSF PC Chairs
Stefano Calzavara, Università Ca’ Foscari Venezia
David Naumann, Stevens Institute of Technology
DL PC Chairs
Martin Homola, Comenius University in Bratislava
Marie-Laure Mugnier, University of Montpellier
FSCD PC Chairs
Amy Felty, University of Ottawa
ICLP PC Chairs
Yuliya Lierler, University of Nebraska Omaha
José F. Morales, IMDEA Software Institute
IJCAR PC Chairs
Jasmin Blanchette, Vrije University Amsterdam
Laura Kovacs, TU Wien
Dirk Pattinson, The Australian National University
ITP PC Chairs
June Andronick, UNSW Sidney & Proofcraft
Leonardo de Moura, Microsoft Research
KR PC Chairs
Gabriele Kern-Isberner, TU Dortmund
Tommie Meyer, University of Cape Town
LICS PC Chairs
Christel Baier, TU Dresden
NMR PC Chairs
Giovanni Casini, ISTI-CNR
Laura Giordano, Università del Piemonte Orientale
SAT PC Chairs
Kuldeep S. Meel, National University of Singapore
Ofer Strichman, Technion
STEERING COMMITTEE
Advisory chair
Moshe Y. Vardi, Rice University
Co-Chair
Orna Grumberg, Technion
Co-Chair
Eran Yahav, Technion
CAV Representative
Daniel Kroening, University of Oxford
CP Representative
Emmanuel Hebrard, LAAS-CNRS
CSF Representative
Ante Đerek, University of Zagreb
FSCD Representative
Delia Kesner, Université de Paris
ICLP Representative
Marco Gavanelli, Università Degli Studi Di Ferrara
IJCAR Representative
Franz Baader, TU Dresden
ITP Representative
Lawrence Paulson, University of Cambridge
KR Representative
Gerhard Lakemeyer, RWTH Aachen University
LICS Representative
Orna Kupferman, Hebrew University of Jerusalem
SAT Representative
Armin Biere, Albert-Ludwigs-University Freiburg
CONFERENCE CHAIRS
CAV
Sharon Shoham, Tel Aviv University
Yakir Vizel, Technion
CP
Ferdinando Fioretto, Syracuse University
Roie Zivan, Ben-Gurion University
CSF
Eyal Ronen, Tel Aviv University
DL
Ofer Arieli, The Academic College of Tel-Aviv
FSCD
Nachum Dershowitz, Tel Aviv University
ICLP
Michael Codish, Ben-Gurion University
IJCAR
Arnon Avron, Tel Aviv University
ITP
Liron Cohen, Ben-Gurion University
KR
Ofer Arieli, The Academic College of Tel-Aviv
LICS
Dana Fisman, Ben-Gurion University
NMR
Ofer Arieli, The Academic College of Tel-Aviv
SAT
Ofer Strichman, Technion