| 11:00-13:00 | Special Topics in Logic: Descriptive Set Theory | Online |
| 13:00-15:00 | Special Topics in Logic: Dynamic Epistemic Logic | Online |
| 13:00-15:00 | Semantics of Programming Languages | Online |
| 14:00-17:00 | Algorithms in Structural Bioinformatics | Online |
| 18:00-21:00 | Special Topics on Algorithms: Algorithmic Data Science | Online |
Current Semester
Spring 2020-2021
| Name | Type | Group |
|---|---|---|
| Algorithmic Game Theory | Elective | |
| Algorithms in Structural Bioinformatics | Elective | |
| Computation Models, Formal Languages and Automata | Elective | |
| Graph Theory | Elective Required | C |
| Homotopy Type Theory | Seminar | |
| Network Algorithms and Complexity | Elective | |
| Parameterized Complexity and Algorithms | Elective | |
| Semantics of Programming Languages | Elective | |
| Set Theory | Elective Required | B |
| Special Topics in Discrete Mathematics: Advanced Topics in Cryptography | Elective | |
| Special Topics in Logic: Descriptive Set Theory | Elective | |
| Special Topics in Logic: Dynamic Epistemic Logic | Elective | |
| Special Topics on Algorithms: Algorithmic Data Science | Elective | |
| Stochastic Processes | Elective Required | C |
Time Schedule
Monday
Tuesday
| 9:00-11:00 | Stochastic Processes | Online |
| 11:00-13:00 | Graph Theory | Online |
| 11:00-13:00 | Set Theory | Online |
| 15:00-18:00 | Algorithmic Game Theory | Online |
| 19:00-21:00 | Special Topics in Logic: Dynamic Epistemic Logic | Online |
Wednesday
| 11:00-13:00 | Special Topics in Logic: Descriptive Set Theory | Online |
| 13:00-16:00 | Parameterized Complexity and Algorithms | Online |
| 15:00-19:00 | Network Algorithms and Complexity | Online |
Thursday
| 9:00-11:00 | Stochastic Processes | Online |
| 11:00-13:00 | Graph Theory | Online |
| 11:00-13:00 | Set Theory | Online |
| 12:00-14:00 | Semantics of Programming Languages | Online |
| 16:00-20:00 | Special Topics in Discrete Mathematics: Advanced Topics in Cryptography | Online |
Friday
| 10:00-14:30 | Computation Models, Formal Languages and Automata | Online |
| 15:00- | Homotopy Type Theory | Online |