| December 2002 |
| 2002-12-13 |
C. Chartonas (A minimal calculus for situated multi-agent systems) |
| 2002-12-06 |
V. Kanellopoulos (Ramsey theorems for trees) |
| November 2002 |
| 2002-11-29 |
A. Shlapentokh (Hilbert's Tenth Problem over Number Fields) |
| 2002-11-22 |
C. Verykios (Morley's theorem and concepts from stability theory) |
| 2002-11-15 |
C. Dimitracopoulos (The MacDowell-Specker theorem and generalizations) |
| 2002-11-08 |
S. Kreutzer (Ficed-Point Logics on Finite and Infinite Structures) |
| 2002-11-01 |
Y. N. Moschovakis (Inductive relations) |
| October 2002 |
| 2002-10-18 |
V. Tannen (XML Query Reformulation) |
| 2002-10-11 |
R. Kahle (Applicative Theories and their Applications) |
| September 2002 |
| 2002-09-01 |
MSc defense of Orestis Raptis |
| 2002-09-01 |
MSc defense of T. Aslanidis |
| 2002-09-01 |
MSc defense of Emmanouil Kandilakis |
| July 2002 |
| 2002-07-16 |
graduation ceremony |
| 2002-07-15 |
A. S. Kechris (The Vaught Conjecture) |
| 2002-07-01 |
MSc defense of Panteleimon Eleftheriou |
| 2002-07-01 |
MSc defense of Kyriakos Kypriotakis |
| 2002-07-01 |
MSc defense of Maria Liazi |
| 2002-07-01 |
MSc defense of Dimitrios Stathopoulos |
| 2002-07-01 |
MSc defense of Nikolaos Salamanos |
| 2002-07-01 |
MSc defense of Dimitrios Spontas |
| 2002-07-01 |
MSc defense of Ioannis Souldatos |
| June 2002 |
| 2002-06-21 |
Y. Matiyasevich (Hilbert's Tenth Problem today: Main results and Open Problems) |
| 2002-06-14 |
A. Arvanitakis (The proof of Generalized Banach Contraction Conjecture) |
| 2002-06-07 |
P. Rondogiannis (Minimum model semantics for logic programs with negation) |
| May 2002 |
| 2002-05-24 |
E. Foustoucos (Datalog with greatest fixed points can express various temporal logics) |
| 2002-05-17 |
A. Tzouvaras (A structural approach of fuzzy sets) |
| April 2002 |
| 2002-04-26 |
E. Kranakis (Node Discovery in Ad Hoc Networks) |
| 2002-04-12 |
F. Afrati (Answering Conjunctive Queries with Comparisons Using Views) |
| 2002-04-05 |
P. Spirakis (Game Theory and Complexity) |
| March 2002 |
| 2002-03-29 |
F. Ferreira (Amending Frege's “Grundgesetze der Arithmetic”) |
| 2002-03-01 |
MSc defense of Polyniki Sypsa |
| 2002-03-01 |
C. Dimitracopoulos (Finite axiomatizability of subsystems of P) |
| February 2002 |
| 2002-02-15 |
E. Zachos (Counting functions) |