| 9:00-11:00 | Special Topics on Algorithms: Simulation | Α11, Department of Mathematics, NKUA |
| 10:45-12:30 | Special Topics in Logic: Descriptive Set Theory | 106, School of Applied Mathematical and Physical Sciences, NTUΑ (new building) |
| 13:00-15:00 | Semantics of Programming Languages | Β, Department of Informatics and Telecommunications, NKUA |
| 15:00-17:00 | Special Topics in Logic: Descriptive Complexity | 1.1.31, School of Electrical and Computer Engineering, NTUA (old building) |
| 17:00-19:00 | Logic | Online |
Current Semester
Spring 2022-2023
| Name | Type | Group |
|---|---|---|
| Algorithmic Game Theory | Elective | |
| Algorithms in Structural Bioinformatics | Elective | |
| Computation Models, Formal Languages and Automata | Elective | |
| Graph Theory | Elective Required | C |
| Information Theory | Elective | |
| Logic | Elective Required | B |
| Network Algorithms and Complexity | Elective | |
| Semantics of Programming Languages | Elective | |
| 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: Logic and Computer Science: λ-calculus, Curry-Howard Isomorphism | 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: Simulation | Elective |
Time Schedule
Monday
Tuesday
| 10:00-12:00 | Graph Theory | ΣΤ, Department of Informatics and Telecommunications, NKUA |
| 10:45-12:30 | Special Topics in Logic: Descriptive Set Theory | 106, School of Applied Mathematical and Physical Sciences, NTUΑ (new building) |
| 13:00-15:00 | Special Topics on Algorithms: Advanced Topics in Computational Learning | Β, Department of Informatics and Telecommunications, NKUA |
| 13:15-15:00 | Special Topics in Logic: Logic and Computer Science: λ-calculus, Curry-Howard Isomorphism | 1.1.29, School of Electrical and Computer Engineering, NTUA (old building) |
| 15:15-19:00 | Algorithmic Game Theory |
Wednesday
| 8:30-12:30 | Special Topics on Algorithms: Algorithmic Data Science | 002, School of Electrical and Computer Engineering, NTUA (new building) |
| 13:00-15:00 | Special Topics on Algorithms: Advanced Topics in Computational Learning | Δ, Department of Informatics and Telecommunications, NKUA |
| 13:15-15:00 | Special Topics in Logic: Logic and Computer Science: λ-calculus, Curry-Howard Isomorphism | 1.1.29, School of Electrical and Computer Engineering, NTUA (old building) |
| 15:00-18:00 | Algorithms in Structural Bioinformatics | Ε, Department of Informatics and Telecommunications, NKUA |
| 15:00-19:00 | Network Algorithms and Complexity | 009, School of Electrical and Computer Engineering, NTUA (new building) |
Thursday
| 10:00-12:00 | Graph Theory | Ε, Department of Informatics and Telecommunications, NKUA |
| 10:00-13:00 | Information Theory | Αίθουσα Χόνδρου, Department of Physics, NKUA |
| 11:00-13:00 | Special Topics on Algorithms: Simulation | A11, Department of Mathematics, NKUA |
| 12:00-14:00 | Semantics of Programming Languages | Β, Department of Informatics and Telecommunications, NKUA |
| 16:00-20:00 | Special Topics in Discrete Mathematics: Advanced Topics in Cryptography | 1.1.31, School of Electrical and Computer Engineering, NTUA (old building) |
| 18:00-20:00 | Logic | Online |
Friday
| 11:45-15:30 | Computation Models, Formal Languages and Automata | 1.1.31, School of Electrical and Computer Engineering, NTUA (old building) |
| 12:45-16:30 | Special Topics on Algorithms: Convex Optimization with Applications in Machine Learning | |
| 17:15-19:00 | Special Topics in Logic: Descriptive Complexity | 1.1.31, School of Electrical and Computer Engineering, NTUA (old building) |