PROGRAM
|
Aug, 12 Wed |
Aug, 13 Thu |
Aug, 14 Fri |
Aug, 15 Sat |
Aug, 16 Sun |
|
|---|---|---|---|---|---|
| 09:00 | excursion | ||||
| 09:30 |
Lance Fortnow Structural Complexity |
Lance Fortnow Structural Complexity |
Nicola Galesi Proof Complexity |
Nicola Galesi Proof Complexity |
|
| 10:00 | |||||
| 10:30 | |||||
| 11:00 | coffee | coffee | coffee | coffee | |
| 11:30 |
Lance Fortnow Structural Complexity |
Lance Fortnow Structural Complexity |
Nicola Galesi Proof Complexity |
Nicola Galesi Proof Complexity |
|
| 12:00 | |||||
| 12:30 | |||||
| 13:00 | lunch | lunch | lunch | lunch | |
| 13:30 | |||||
| 14:00 | |||||
| 14:30 |
Heribert Vollmer Satisfiability Problems |
Heribert Vollmer Satisfiability Problems |
Uri Zwick Complexity of Graph Algorithms Based on Matrix Multiplication |
Uri Zwick Complexity of Graph Algorithms Based on Matrix Multiplication |
|
| 15:00 | |||||
| 15:30 | |||||
| 16:00 | coffee | coffee | coffee | coffee | |
| 16:30 |
Heribert Vollmer Satisfiability Problems |
Heribert Vollmer Satisfiability Problems |
Uri Zwick Complexity of Graph Algorithms Based on Matrix Multiplication |
Uri Zwick Complexity of Graph Algorithms Based on Matrix Multiplication |
|
| 17:00 | |||||
| 17:30 | |||||
| 18:00 | |||||
| 18:30 | |||||
|
19:00 - 22:00 |
conference dinner | ||||