Workshops

Albert Atserias (UPC Barcelona; chair)

Sam Buss (UC San Diego)

Vijay Ganesh (Georgia Institute of Technology)

Antonina Kolokolova (Memorial University of Newfoundland)

Jakob Nordström (University of Copenhagen & Lund University)

Jakob Nordström (University of Copenhagen & Lund University; chair)

Nikolaj Bjorner (Microsoft Research)

Adnan Darwiche (UC Los Angeles )

Ambros Gleixner (Zuse Institute Berlin)

Kuldeep S. Meel (University of Toronto)

Martina Seidl (Johannes Kepler University Linz)

Antonina Kolokolova (Memorial University of Newfoundland; co-chair)

Moshe Vardi (Rice University; co-chair)

María Luisa Bonet Carbonell (Universitat Politècnica de Catalunya)

Vijay Ganesh (Georgia Institute of Technology)

Marijn Heule (Carnegie Mellon University)

Kevin Leyton-Brown (University of British Columbia)

Albert Atserias (UPC Barcelona; co-chair)

Sam Buss (UC San Diego; co-chair)

Paul Beame (University of Washington)

Matti Järvisalo (University of Helsinki)

Mohan Paturi (UC San Diego)

Toni Pitassi (Columbia University)

Neil Thapen (Czech Academy of Sciences)

Albert Atserias (UPC Barcelona; chair)

Sam Buss (UC San Diego)

Vijay Ganesh (Georgia Institute of Technology)

Antonina Kolokolova (Memorial University of Newfoundland)

Jakob Nordström (University of Copenhagen & Lund University)

Satisfiability: Theory, Practice, and Beyond