50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
(Weekly event) Feb 11, 2021 to May 13, 2021 (ended)View all dates
All scheduled dates:
- Feb 11, 2021 (ended)
- Feb 18, 2021 (ended)
- Mar 4, 2021 (ended)
- Mar 11, 2021 (ended)
- Mar 18, 2021 (ended)
- Mar 25, 2021 (ended)
- Apr 1, 2021 (ended)
- Apr 8, 2021 (ended)
- Apr 15, 2021 (ended)
- Apr 22, 2021 (ended)
- Apr 29, 2021 (ended)
- May 6, 2021 (ended)
- May 13, 2021 (ended)
| 8:30 am–9:30 am |
Jack Edmonds (University of Waterloo) |
|
| 9:30 am–10:30 am |
Russell Impagliazzo (UC San Diego) |
| 8:30 am–9:30 am |
Christos Papadimitriou (Columbia University) |
|
| 9:30 am–10:30 am |
Ryan Williams (MIT) |
| 8:30 am–9:30 am |
Moshe Vardi (Rice University) |
|
| 9:30 am–10:30 am |
Karem Sakallah (University of Michigan) |
| 8:30 am–9:30 am |
Dick Karp (UC Berkeley) |
|
| 9:30 am–10:30 am |
Avi Wigderson (Institute for Advanced Study) |
| 8:30 am–9:30 am |
Amin Coja-Oghlan (Goethe University) |
| 8:30 am–9:30 am |
Jan Krajicek (Charles University in Prague) |
|
| 9:30 am–10:30 am |
Susanna de Rezende (Czech Academy of Sciences) |
| 8:30 am–9:30 am |
Marijn Heule (Carnegie Mellon University) |
|
| 9:30 am–10:30 am |
Fahiem Bacchus (University of Toronto) |
| 8:30 am–9:30 am |
Adnan Darwiche (UCLA) |
|
| 9:30 am–10:30 am |
Andrei Krokhin (Durham University) |
| 8:30 am–9:30 am |
Les Valiant (Harvard University) |
| 8:30 am–9:30 am |
Lenka Zdeborova (EPFL) |
|
| 9:30 am–10:30 am |
Phokion Kolaitis (UC Santa Cruz & IBM Research) |
| 8:30 am–9:30 am |
Irit Dinur (Weizmann Institute) |
|
| 9:30 am–10:30 am |
Alasdair Urquhart (University of Toronto) |
| 8:30 am–9:30 am |
Holger Hoos (Leiden University & University of British Columbia) |
| 8:30 am–9:30 am |
Armin Biere (Johannes Kepler University) |
|
| 9:30 am–10:30 am |
Sasha Razborov (University of Chicago) |
