Primary tabs
Mon | Tue | Wed | Thu | Fri | Sat | Sun |
---|---|---|---|---|---|---|
29
|
30
|
31
|
2
|
3
|
4
|
|
|
|
|
|
|
|
|
|
||||||
11
|
||||||
Synthesis of Models and Systems Apr. 5, 2021
|
Beyond Satisfiability Apr. 6, 2021
|
Theoretical Foundations of SAT/SMT Solving Apr. 7, 2021
|
Games and Equilibria in System Design and Analysis Apr. 9, 2021
|
Bay Area Discrete Math Day (BAD Math Day) Apr. 10, 2021
|
|
|
|
|
|
|
|
|
|
17
|
18
|
|||||
Synthesis of Models and Systems Apr. 12, 2021
|
Beyond Satisfiability Apr. 13, 2021
|
Theoretical Foundations of SAT/SMT Solving Apr. 14, 2021
|
Games and Equilibria in System Design and Analysis Apr. 16, 2021
|
|
|
|
|
|
|
|
|
||
24
|
25
|
|||||
Toniann Pitassi (University of Toronto) 9:00 am – 10:00 am |
Beyond Satisfiability Apr. 20, 2021
|
Theoretical Foundations of SAT/SMT Solving Apr. 21, 2021
|
Games and Equilibria in System Design and Analysis Apr. 23, 2021
|
|
|
|
|
|
|
|
|||
1
|
2
|
|||||
Synthesis of Models and Systems Apr. 26, 2021
|
Beyond Satisfiability Apr. 27, 2021
|
Theoretical Foundations of SAT/SMT Solving Apr. 28, 2021
|
Games and Equilibria in System Design and Analysis Apr. 30, 2021
|
|
|
|
|
|
Michal Feldman (Tel Aviv University) 11:00 am – 12:30 pm |
|
|
Please also consider the following event calendars
UC Berkeley Statistics Department
UC Berkeley Electrical Engineering & Computer Sciences Department
Mathematical Sciences Research Institute
International Computer Science Institute