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) |