Past Workshops & Symposia

Bay Area Discrete Math Day (BAD Math Day)
Apr. 10, 2021

Organizers:

Sylvie Corteel (UC Berkeley), Chris Eur (Stanford University)
Games and Equilibria in System Design and Analysis
Apr. 9, 2021
Program: Theoretical Foundations of Computer Systems

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)
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Apr. 8, 2021
Program: Satisfiability: Theory, Practice, and Beyond

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)
Theoretical Foundations of SAT/SMT Solving
Apr. 7, 2021
Program: Theoretical Foundations of Computer Systems, Satisfiability: Theory, Practice, and Beyond

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)
Beyond Satisfiability
Apr. 6, 2021
Program: Satisfiability: Theory, Practice, and Beyond

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)
Synthesis of Models and Systems
Apr. 5, 2021
Program: Theoretical Foundations of Computer Systems

Organizers:

Radu Grosu (TU Wien), Ras Bodik (University of Washington), Ruzica Piskac (Yale University), Sanjit Seshia (UC Berkeley)
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Apr. 1, 2021
Program: Satisfiability: Theory, Practice, and Beyond

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)
Beyond Satisfiability
Mar. 30, 2021
Program: Satisfiability: Theory, Practice, and Beyond

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)
Synthesis of Models and Systems
Mar. 29, 2021
Program: Theoretical Foundations of Computer Systems

Organizers:

Radu Grosu (TU Wien), Ras Bodik (University of Washington), Ruzica Piskac (Yale University), Sanjit Seshia (UC Berkeley)
Games and Equilibria in System Design and Analysis
Mar. 26, 2021
Program: Theoretical Foundations of Computer Systems

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)
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Mar. 25, 2021
Program: Satisfiability: Theory, Practice, and Beyond

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)
Theoretical Foundations of SAT/SMT Solving
Mar. 24, 2021
Program: Theoretical Foundations of Computer Systems, Satisfiability: Theory, Practice, and Beyond

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)
Beyond Satisfiability
Mar. 23, 2021
Program: Satisfiability: Theory, Practice, and Beyond

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)
Synthesis of Models and Systems
Mar. 22, 2021
Program: Theoretical Foundations of Computer Systems

Organizers:

Radu Grosu (TU Wien), Ras Bodik (University of Washington), Ruzica Piskac (Yale University), Sanjit Seshia (UC Berkeley)
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Mar. 18, 2021
Program: Satisfiability: Theory, Practice, and Beyond

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)
Theoretical Foundations of SAT/SMT Solving
Mar. 17, 2021
Program: Theoretical Foundations of Computer Systems, Satisfiability: Theory, Practice, and Beyond

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)
Beyond Satisfiability
Mar. 16, 2021
Program: Satisfiability: Theory, Practice, and Beyond

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)
Synthesis of Models and Systems
Mar. 15, 2021
Program: Theoretical Foundations of Computer Systems

Organizers:

Radu Grosu (TU Wien), Ras Bodik (University of Washington), Ruzica Piskac (Yale University), Sanjit Seshia (UC Berkeley)
Games and Equilibria in System Design and Analysis
Mar. 12, 2021
Program: Theoretical Foundations of Computer Systems

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)
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Mar. 11, 2021
Program: Satisfiability: Theory, Practice, and Beyond

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)

Pages