Past Workshops & Symposia
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)
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)
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)
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),
Kuldeep Singh Meel
(National University of Singapore),
Martina Seidl
(Johannes Kepler University Linz)
May 10, 2021
Organizers:
Radu Grosu
(TU Wien),
Ras Bodik
(University of Washington),
Ruzica Piskac
(Yale University),
Sanjit Seshia
(UC Berkeley)
May 7, 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)
May 6, 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)
May 5, 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)
May 4, 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),
Kuldeep Singh Meel
(National University of Singapore),
Martina Seidl
(Johannes Kepler University Linz)
May 3, 2021
Organizers:
Radu Grosu
(TU Wien),
Ras Bodik
(University of Washington),
Ruzica Piskac
(Yale University),
Sanjit Seshia
(UC Berkeley)
Apr. 30, 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)
Apr. 29, 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)
Apr. 28, 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)
Apr. 27, 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),
Kuldeep Singh Meel
(National University of Singapore),
Martina Seidl
(Johannes Kepler University Linz)
Apr. 26, 2021
Organizers:
Radu Grosu
(TU Wien),
Ras Bodik
(University of Washington),
Ruzica Piskac
(Yale University),
Sanjit Seshia
(UC Berkeley)
Apr. 23, 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)
Apr. 22, 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)
Apr. 21, 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)
Apr. 20, 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),
Kuldeep Singh Meel
(National University of Singapore),
Martina Seidl
(Johannes Kepler University Linz)
Apr. 19, 2021
Organizers:
Radu Grosu
(TU Wien),
Ras Bodik
(University of Washington),
Ruzica Piskac
(Yale University),
Sanjit Seshia
(UC Berkeley)
Pages
