| Δεκέμβριος 2005 |
| 2005-12-16 |
Κ. Δημητρακόπουλος (Subsystems of first-order arithmetic) |
| 2005-12-01 |
MSc defense of Μαργαρίτας Μαρίνου |
| Νοέμβριος 2005 |
| 2005-11-11 |
D. Richerby (Is there a logic for polynomial time?) |
| 2005-11-04 |
P. Karazeris (Geometrical theories, classifying topoi) |
| Οκτώβριος 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 Γεωργίου Τσοτάκου |
| Σεπτέμβριος 2005 |
| 2005-09-26 |
graduation ceremony |
| 2005-09-01 |
MSc defense of Αγγελίνας Βιδάλη |
| 2005-09-01 |
MSc defense of Κωνσταντίνας Γαρούφη |
| Ιούνιος 2005 |
| 2005-06-17 |
Ι. Στεφάνου (Fuzziness and super-valuations) |
| 2005-06-03 |
C. Tsinakis (A general approach to the study of logical consequence relations) |
| Μάιος 2005 |
| 2005-05-27 |
N. Foo (Games, equilibria and logic programs) |
| Απρίλιος 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 Γεωργίου Γεωργίου |
| 2005-04-01 |
Y. N. Moschovakis (Recursion and complexity) |
| Μάρτιος 2005 |
| 2005-03-18 |
Σ. Κολλιόπουλος (Edge pricing of multicommodity networks for selfish users) |
| Ιανουάριος 2005 |
| 2005-01-21 |
Κ. Δημητρακόπουλος (Hilbert's 10th problem, II) |
| 2005-01-01 |
MSc defense of Θεοδώρας Βαλασκοπούλου |