| Δεκέμβριος 2003 |
| 2003-12-22 |
graduation ceremony |
| 2003-12-19 |
Κ. Δ. Κούτρας (Multiple-valued Modal Logic: definability, completeness, model theory) |
| 2003-12-12 |
G. Barbalias (Hypersimple semicomputable sets in the weak truth table degrees) |
| 2003-12-05 |
Φ. Αφράτη (The complexity of conjunctive query containment) |
| 2003-12-01 |
MSc defense of Γεωργίου Τζαχρίστα |
| Νοέμβριος 2003 |
| 2003-11-28 |
S. Ghilezan (Intersection types in classical logic) |
| 2003-11-21 |
J. R. Moschovakis (Hierarchies in realistic extensions of intuitionistic theories) |
| 2003-11-07 |
P. Spirakis (Communication problems in ad-hoc mobile nets: Multi-particle interactions and concurrent random walks) |
| 2003-11-01 |
MSc defense of Χρήστου Τζέτζια |
| Οκτώβριος 2003 |
| 2003-10-31 |
Δ. Μ. Θηλυκός (The theory of minor graphs and its use in the design of subexponential parametric algorithms) |
| 2003-10-24 |
A. Louveau (Dichotomy results for Borel graphs) |
| 2003-10-10 |
B. Löwe (Deterministic and nondeterministic supertask computation) |
| 2003-10-03 |
Y. N. Moschovakis (Is Euclid's algorithm optimal?) |
| Ιούλιος 2003 |
| 2003-07-01 |
MSc defense of Βασιλικής Καλιακούδα |
| Ιούνιος 2003 |
| 2003-06-30 |
Α. Κεχρής (Fraissé limits, Ramsey theory and topological dynamics of automorphism groups) |
| 2003-06-20 |
Δ. Μ. Θηλυκός (Retreat is futile when you want to take over the world) |
| 2003-06-06 |
K. Drossos (Infinitesimals and non-standard mathematics) |
| Μάιος 2003 |
| 2003-05-30 |
Π. Στεφανέας (Information technology and ethics) |
| 2003-05-23 |
E. Kranakis (Compasses, Faces and Butterflies: Route Discovery in Ad-hoc \\ Networks) |
| 2003-05-16 |
P. D'Aquino (Weak fragments of arithmetic) |
| 2003-05-09 |
N. Rigas (Intersection types and applications to lambda calculus) |
| Απρίλιος 2003 |
| 2003-04-18 |
E. Koutsoupias (Coordination Mechanisms) |
| 2003-04-11 |
M. Mavronikolas (Game-theoretic techniques in package routing) |
| 2003-04-04 |
Θ. Ανδρόνικος (Automatic system verification and synthesis) |
| Μάρτιος 2003 |
| 2003-03-28 |
G. Kapoulas (Infinitesimals via the cofinite filter) |
| 2003-03-21 |
R. Diaconescu (From Birkhoff axiomatizability to interpolation: a categorical model-theoretic approach) |
| 2003-03-14 |
D. Kavvadias (Generating extreme structures: algorithms and complexity) |
| Φεβρουάριος 2003 |
| 2003-02-28 |
Σ. Νικολετσέας (Smart Dust Protocols for Local Detection and Propagation) |
| 2003-02-21 |
graduation ceremony |
| 2003-02-21 |
Κ. Δημητρακόπουλος (The pigeonhole principle and the infinitude of primes) |
| 2003-02-14 |
Ι. Εμίρης (The theory of algebraic sparse elimination) |
| Ιανουάριος 2003 |
| 2003-01-10 |
A. Παγουρτζής (Communication algorithms in wireless networks of unknown topology) |