| Δεκέμβριος 2000 |
| 2000-12-20 |
graduation ceremony |
| 2000-12-15 |
Κ. Δ. Κούτρας (Theory of definability and completeness in Modal Logic) |
| 2000-12-08 |
Ε. Κυρούσης (Dichotomy theorems on the satisfiability of propositional formulas) |
| 2000-12-01 |
P. Karazeris (An application of categorical logic to declarative semantics) |
| Νοέμβριος 2000 |
| 2000-11-10 |
Κ. Δημητρακόπουλος (Hilbert's 10th problem) |
| 2000-11-03 |
C. Cornaros (Wilkie's problem) |
| 2000-11-01 |
MSc defense of Γεωργίας Σταθοπούλου |
| Οκτώβριος 2000 |
| 2000-10-20 |
Y. N. Moschovakis (The logic of (complete and partial) equations) |
| 2000-10-13 |
E. Kranakis (Searching with Uncertainty in Communication Networks) |
| Ιούλιος 2000 |
| 2000-07-20 |
Α. Κεχρής (The complexity of the isometric classification of Polish metric spaces and the structure of their isometry groups) |
| 2000-07-14 |
graduation ceremony |
| 2000-07-12 |
V. Vazirani (The Primal-Dual Schema for Approximation Algorithms Where Does it Stand, and Where Can it Go?) |
| 2000-07-11 |
J. Krivine (The Curry-Howard correspondence in set theory) |
| 2000-07-06 |
P. Kolaitis (On the Complexity of Counting Problems in Equational Matching and Unification) |
| 2000-07-01 |
MSc defense of Χαραλαμπίας Τόγκα |
| 2000-07-01 |
MSc defense of Ελένη Καλυβιανάκη |
| 2000-07-01 |
MSc defense of Χρήστου Καπουτσή |
| Ιούνιος 2000 |
| 2000-06-16 |
A. Dawar (Formulas, Games and Circuits) |
| 2000-06-09 |
T. Pheidas (Lang's conjecture in Arithmetic Algebraic Geometry and its solution by model-theoretical means) |
| 2000-06-02 |
S. Baratella (Quantifier elimination for first order theories) |
| 2000-06-01 |
MSc defense of Ουρανίας Κεμπάπη |
| 2000-06-01 |
MSc defense of Αριστείδη Δημακάκου |
| Μάιος 2000 |
| 2000-05-19 |
Κ. Δ. Κούτρας (Modal Logics of Knowledge and Multiple Intelligent Agents) |
| Απρίλιος 2000 |
| 2000-04-14 |
Τ. Δημήτριου (Algorithms for random generation and counting) |
| 2000-04-07 |
S. Weinstein (The Role of Decidability in First Order Separations over Classes of Finite Structures) |
| Μάρτιος 2000 |
| 2000-03-31 |
Κ. Δημητρακόπουλος (End extensions of models, II) |
| 2000-03-17 |
P. Peppas (Belief Revision, II) |
| 2000-03-10 |
Κ. Δημητρακόπουλος (End extensions of models, I) |
| 2000-03-03 |
P. Peppas (Belief Revision, I) |
| Φεβρουάριος 2000 |
| 2000-02-25 |
Y. N. Moschovakis (Meanings, algorithms and games) |
| 2000-02-18 |
J. R. Moschovakis (The Gödel-Gentzen Negative Translation and Classical Function Realizability) |
| 2000-02-16 |
graduation ceremony |
| 2000-02-11 |
Ε. Ζάχος (S-terms revisited) |
| Ιανουάριος 2000 |
| 2000-01-20 |
J. Benthem (Modal Foundations for Predicate Logic) |