Satisfiability: Theory, Practice, and Beyond

Tuesday, Jan. 12 – Friday, May 14, 2021

Albert Atserias

(UPC Barcelona; chair)

(UC San Diego)

(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)

(UC Los Angeles )

Ambros Gleixner

(Zuse Institute Berlin)

Kuldeep S. Meel

(University of Toronto)

(Johannes Kepler University Linz)

Antonina Kolokolova

(Memorial University of Newfoundland; co-chair)

(Rice University; co-chair)

María Luisa Bonet Carbonell

(Universitat Politècnica de Catalunya)

(Georgia Institute of Technology)

(Carnegie Mellon University)

Kevin Leyton-Brown

(University of British Columbia)

Albert Atserias

(UPC Barcelona; co-chair)

(UC San Diego; co-chair)

(University of Washington)

Matti Järvisalo

(University of Helsinki)

(UC San Diego)

(Columbia University)

(Czech Academy of Sciences)

Albert Atserias

(UPC Barcelona; chair)

(UC San Diego)

(Georgia Institute of Technology)

Antonina Kolokolova

(Memorial University of Newfoundland)

Jakob Nordström

(University of Copenhagen & Lund University)