Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| First meeting | Meetings | Building E1 3, Room 528 | 21.10.15 | 21.10.15 | No | ||
| Talks: Foundations of SAT, QBF, and DQBF | Meetings | Building E1 3, Room 528 | 13.01.16 | 13.01.16 | No | ||
| Talks: Advanced Topics | Meetings | Building E1 3, Room 528 | 17.02.16 | N/A | Yes |