| December 2005 |
| 2005-12-16 |
C. Dimitracopoulos (Subsystems of first-order arithmetic) |
| 2005-12-01 |
MSc defense of Margarita Marinou |
| November 2005 |
| 2005-11-11 |
D. Richerby (Is there a logic for polynomial time?) |
| 2005-11-04 |
P. Karazeris (Geometrical theories, classifying topoi) |
| October 2005 |
| 2005-10-21 |
R. Iemhoff (An alternative Skolemization method) |
| 2005-10-14 |
S. Terwijn (Intuitionistic Logic and Medvedev Degrees) |
| 2005-10-07 |
Y. N. Moschovakis (Kleene's infamous second recursion) |
| 2005-10-01 |
MSc defense of Georgios Tsotakos |
| September 2005 |
| 2005-09-26 |
graduation ceremony |
| 2005-09-01 |
MSc defense of Aggelina Vidali |
| 2005-09-01 |
MSc defense of Konstantina Garoufi |
| June 2005 |
| 2005-06-17 |
I. Stephanou (Fuzziness and super-valuations) |
| 2005-06-03 |
C. Tsinakis (A general approach to the study of logical consequence relations) |
| May 2005 |
| 2005-05-27 |
N. Foo (Games, equilibria and logic programs) |
| April 2005 |
| 2005-04-22 |
L. Kirby (A fine structure for the hereditarily finite sets) |
| 2005-04-15 |
E. Kranakis (Asymptotics of random RNA) |
| 2005-04-08 |
P. Peppas (Distance semantics for relevance-sensitive belief revision) |
| 2005-04-01 |
MSc defense of Georgios Georgiou |
| 2005-04-01 |
Y. N. Moschovakis (Recursion and complexity) |
| March 2005 |
| 2005-03-18 |
S. Kolliopoulos (Edge pricing of multicommodity networks for selfish users) |
| January 2005 |
| 2005-01-21 |
C. Dimitracopoulos (Hilbert's 10th problem, II) |
| 2005-01-01 |
MSc defense of Theodora Valaskopoulou |