Steering Committee

General Chair Alexandra Silva, University College London
Advisory Chair Moshe Y. Vardi, Rice University
Co-Chair Orna Grumberg, Technion
Co-Chair Eran Yahav, Technion
LICS Representative Dale Miller, Inria
FSCD Representative Delia Kesner, Université de Paris
ITP Representative Lawrence Paulson, University of Cambridge
IJCAR Representative Franz Baader, TU Dresden
CSF Representative Ante Đerek, University of Zagreb
CAV Representative Daniel Kroening, University of Oxford
KR Representative Gerhard Lakemeyer, RWTH Aachen University
ICLP Representative Marco Gavanelli, Università Degli Studi Di Ferrara
SAT Representative Armin Biere, Johannes Kepler University Linz

 

FLoC

During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called “the calculus of computer science”, playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.

The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science.

Programme Committee

General chair Alexandra Silva, University College London
Advisory chair Moshe Y. Vardi, Rice University
Co-chair Orna Grumberg, Technion
Co-chair Eran Yahav, Technion

Conference PC Chairs

LICS
FSCD Amy Felty, University of Ottawa
ITP
IJCAR
CSF
CAV Yakir Vizel, Technion
Sharon Shoham, Tel Aviv University
KR Gabriele Kern-Isberner, TU Dortmund
ICLP
SAT

 

Organizing Committee

General chair Alexandra Silva, University College London
Advisory chair Moshe Y. Vardi, Rice University
Co-chair Orna Grumberg, Technion
Co-chair Eran Yahav, Technion
Website Shachar Itzhaky, Technion
PR Coordinator Arie Gurfinkel, University of Waterloo
General Administrative
Manager
Suzie Eid, Technion
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 Marijana Lazić, TU Munich
Caterina Urban, Inria
Proceedings coordinator Hilel Kugler, Bar-Ilan University
Program Coordinator Ori Lahav, Tel Aviv University
Registration Chair Georg Weissenbacher, TU Wein
Olympic Games Coordinator Dana Drachsler, Technion
 

Conference Chairs

LICS Dana Fisman, Ben-Gurion University
FSCD Nachum Dershowitz, Tel Aviv University
ITP Liron Cohen, Ben-Gurion University
IJCAR Arnon Avron, Tel Aviv University
CSF Eyal Ronen, Tel Aviv University
CAV Yakir Vizel, Technion
Sharon Shoham, Tel Aviv University
KR Ofer Arieli, The Academic College of Tel-Aviv
ICLP Michael Codish, Ben-Gurion University
SAT Ofer Strichman, Technion

 

Workshops Committee