| Δεκέμβριος 2002 |
| 2002-12-13 |
C. Chartonas (A minimal calculus for situated multi-agent systems) |
| 2002-12-06 |
V. Kanellopoulos (Ramsey theorems for trees) |
| Νοέμβριος 2002 |
| 2002-11-29 |
A. Shlapentokh (Hilbert's Tenth Problem over Number Fields) |
| 2002-11-22 |
Χ. Βερύκιος (Morley's theorem and concepts from stability theory) |
| 2002-11-15 |
Κ. Δημητρακόπουλος (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) |
| Οκτώβριος 2002 |
| 2002-10-18 |
V. Tannen (XML Query Reformulation) |
| 2002-10-11 |
R. Kahle (Applicative Theories and their Applications) |
| Σεπτέμβριος 2002 |
| 2002-09-01 |
MSc defense of Ορέστη Ράπτη |
| 2002-09-01 |
MSc defense of Τ. Ασλανίδη |
| 2002-09-01 |
MSc defense of Εμμανουήλ Κανδηλάκη |
| Ιούλιος 2002 |
| 2002-07-16 |
graduation ceremony |
| 2002-07-15 |
Α. Κεχρής (The Vaught Conjecture) |
| 2002-07-01 |
MSc defense of Παντελεήμονος Ελευθερίου |
| 2002-07-01 |
MSc defense of Κυριάκου Κυπριωτάκη |
| 2002-07-01 |
MSc defense of Μαρίας Λιάζη |
| 2002-07-01 |
MSc defense of Δημητρίου Σταθόπουλου |
| 2002-07-01 |
MSc defense of Νικολάου Σαλαμάνου |
| 2002-07-01 |
MSc defense of Δημητρίου Σπόντα |
| 2002-07-01 |
MSc defense of Ιωάννη Σουλδάτου |
| Ιούνιος 2002 |
| 2002-06-21 |
Y. Matiyasevich (Hilbert's Tenth Problem today: Main results and Open Problems) |
| 2002-06-14 |
Α. Αρβανιτάκης (The proof of Generalized Banach Contraction Conjecture) |
| 2002-06-07 |
Π. Ροντογιάννης (Minimum model semantics for logic programs with negation) |
| Μάιος 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) |
| Απρίλιος 2002 |
| 2002-04-26 |
E. Kranakis (Node Discovery in Ad Hoc Networks) |
| 2002-04-12 |
Φ. Αφράτη (Answering Conjunctive Queries with Comparisons Using Views) |
| 2002-04-05 |
P. Spirakis (Game Theory and Complexity) |
| Μάρτιος 2002 |
| 2002-03-29 |
F. Ferreira (Amending Frege's “Grundgesetze der Arithmetic”) |
| 2002-03-01 |
MSc defense of Πολυνίκης Σύψα |
| 2002-03-01 |
Κ. Δημητρακόπουλος (Finite axiomatizability of subsystems of P) |
| Φεβρουάριος 2002 |
| 2002-02-15 |
Ε. Ζάχος (Counting functions) |