| 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 |
Current Semester
Spring 2024-2025 (Tentative Course List)
| Name | Type | Group |
|---|---|---|
| Algorithmic Game Theory | Elective | |
| Algorithms in Structural Bioinformatics | Elective | |
| Combinatorial Optimization | Elective Required | A |
| Computation Models, Formal Languages and Automata | Elective | |
| Computational Geometry | Elective | |
| Information Theory | Elective | |
| Logic | Elective Required | B |
| 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 Complexity | Elective | |
| Special Topics in Logic: Descriptive Set Theory | Elective | |
| Special Topics in Logic: Type Theory | Elective | |
| Special Topics on Algorithms: Advanced Topics in Computational Learning | Elective | |
| Special Topics on Algorithms: Algorithmic Data Science | Elective | |
| Special Topics on Algorithms: Convex Optimization with Applications in Machine Learning | Elective | |
| Special Topics on Algorithms: Machine Learning | Elective |
Time Schedule
Monday
Tuesday
| 11:00-13:00 | Special Topics on Algorithms: Advanced Topics in Computational Learning | Δ, Department of Informatics and Telecommunications, NKUA |
| 15:00-17:00 | Combinatorial Optimization | Β, Department of Informatics and Telecommunications, NKUA |
| 15:00-18:00 | Algorithmic Game Theory | 004, School of Electrical and Computer Engineering, NTUA |
| 18:00-20:00 | Parameterized Complexity and Algorithms | Α11, Department of Mathematics, NKUA / online |
Wednesday
| 10:45-12:30 | Special Topics in Logic: Descriptive Set Theory | 108, School of Electrical and Computer Engineering, NTUA |
| 10:45-14:50 | Network Algorithms and Complexity | 008, School of Electrical and Computer Engineering, NTUA |
| 12:00-14:00 | Special Topics in Logic: Type Theory | Ε, Department of Informatics and Telecommunications, NKUA |
| 13:00-15:00 | Special Topics on Algorithms: Advanced Topics in Computational Learning | Δ, Department of Informatics and Telecommunications, NKUA |
| 14:00-18:00 | Algorithms in Structural Bioinformatics | Ε, Department of Informatics and Telecommunications, NKUA |
| 15:00-18:00 | Special Topics on Algorithms: Convex Optimization with Applications in Machine Learning | 009, School of Electrical and Computer Engineering, NTUA |
| 17:00-19:00 | Logic | Online |
Thursday
| 10:00-13:00 | Information Theory | Αίθουσα Χόνδρου, Department of Physics, NKUA |
| 11:00-13:00 | Special Topics on Algorithms: Machine Learning | Α12, Department of Mathematics, NKUA |
| 12:00-14:00 | Semantics of Programming Languages | Β, Department of Informatics and Telecommunications, NKUA |
| 14:00-18:00 | Computational Geometry | Γ, Department of Informatics and Telecommunications, NKUA |
| 18:00-20:00 | Parameterized Complexity and Algorithms | Α11, Department of Mathematics, NKUA / online |
Friday
| 10:45-13:30 | Computation Models, Formal Languages and Automata | 1.1.29, School of Electrical and Computer Engineering, NTUA |
| 11:00-13:00 | Special Topics on Algorithms: Machine Learning | Α12, Department of Mathematics, NKUA |
| 13:15-16:00 | Special Topics on Algorithms: Algorithmic Data Science | 003, School of Electrical and Computer Engineering, NTUA |
| 14:45-17:00 | Special Topics in Logic: Descriptive Complexity | Online |
| 15:00-17:00 | Combinatorial Optimization | Γ, Department of Informatics and Telecommunications, NKUA |
| 16:15-20:00 | Special Topics in Discrete Mathematics: Advanced Topics in Cryptography | 1.1.31, School of Electrical and Computer Engineering, NTUA |
| 17:00-19:00 | Special Topics in Logic: Type Theory | Ζ, Department of Informatics and Telecommunications, NKUA |