| 9:00-11:00 | Special Topics on Algorithms: Deterministic models in Operations Research | A12, Department of Mathematics, NKUA |
| 9: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 in Logic: Formal Foundations of Mathematics and Proof Assistants | Γ31, Department of Mathematics, NKUA |
| 16:00-18:00 | Combinatorial Optimization | Β, Department of Informatics and Telecommunications, NKUA |
INTER-INSTITUTIONAL GRADUATE PROGRAM "ALGORITHMS, LOGIC AND DISCRETE MATHEMATICS"