10:45-12:30 | Special Topics in Logic: Descriptive Set Theory | 108, School of Electrical and Computer Engineering, NTUA |
13:00-15:00 | Semantics of Programming Languages | Β, Department of Informatics and Telecommunications, NKUA |
13:15-15:00 | Special Topics in Logic: Descriptive Complexity | Online |
17:00-19:00 | Logic | Online |