Upcoming Workshops & Symposia
Feb. 12, 2021 to May 14, 2021
Organizers:
Rajeev Alur
(University of Pennsylvania),
Pavol Černý
(TU Wien),
Rupak Majumdar
(Max Planck Institute for Software Systems; International Computer Science Institute),
Michael Wooldridge
(University of Oxford)
Feb. 8, 2021 to May 10, 2021
Organizers:
Radu Grosu
(TU Wien),
Ras Bodik
(University of Washington),
Ruzica Piskac
(Yale University),
Sanjit Seshia
(UC Berkeley)
Feb. 9, 2021 to May 11, 2021
Organizers:
Jakob Nordström
(University of Copenhagen & Lund University; chair),
Nikolaj Bjorner
(Microsoft Research),
Adnan Darwiche
(UC Los Angeles),
Ambros Gleixner
(Zuse Institute Berlin),
Martina Seidl
(Johannes Kepler University Linz)
Feb. 10, 2021 to May 12, 2021
Organizers:
Antonina Kolokolova
(Memorial University of Newfoundland; co-chair),
Moshe Vardi
(Rice University; co-chair),
María Luisa Bonet Carbonell
(Universitat Politecnica de Catalunya),
Vijay Ganesh
(University of Waterloo),
Marijn Heule
(Carnegie Mellon University),
Kevin Leyton-Brown
(University of British Columbia)
Feb. 11, 2021 to May 13, 2021
Organizers:
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)