Workshops

Albert Atserias (Universitat Politècnica de Catalunya; chair)

Sam Buss (UC San Diego)

Vijay Ganesh (University of Waterloo)

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 Singh Meel (National University of Singapore)

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 (University of Waterloo)

Marijn Heule (Carnegie Mellon University)

Kevin Leyton-Brown (University of British Columbia)

Albert Atserias (Universitat Politècnica de Catalunya; 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 (University of Toronto)

Neil Thapen (Czech Academy of Sciences)

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

Nikolaj Bjorner (Microsoft Research)

Adnan Darwiche (UC Los Angeles )

Ambros Gleixner (Zuse Institute Berlin)

Kuldeep Singh Meel (National University of Singapore)

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 (University of Waterloo)

Marijn Heule (Carnegie Mellon University)

Kevin Leyton-Brown (University of British Columbia)

Albert Atserias (Universitat Politècnica de Catalunya; 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 (University of Toronto)

Neil Thapen (Czech Academy of Sciences)

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

Nikolaj Bjorner (Microsoft Research)

Adnan Darwiche (UC Los Angeles )

Ambros Gleixner (Zuse Institute Berlin)

Kuldeep Singh Meel (National University of Singapore)

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 (University of Waterloo)

Marijn Heule (Carnegie Mellon University)

Kevin Leyton-Brown (University of British Columbia)

Satisfiability: Theory, Practice, and Beyond