| December 2004 |
| 2004-12-22 |
graduation ceremony |
| 2004-12-10 |
G. Plotkin (A calculus for chemical systems) |
| 2004-12-03 |
W. Demopoulos (Carnap and the rational reconstruction of the language of Physics) |
| 2004-12-01 |
MSc defense of Evaggelia Gavatha |
| 2004-12-01 |
MSc defense of E. Kotelida |
| 2004-12-01 |
MSc defense of Christos Tsironis |
| 2004-12-01 |
MSc defense of Georgios Kokoretsis |
| November 2004 |
| 2004-11-26 |
C. Dimitracopoulos (Hilbert's 10th problem, I) |
| 2004-11-19 |
A. Kaporis (The problem of satisfiability of random logical propositions: constructive techniques for solving, techniques of solution existence) |
| 2004-11-05 |
Y. N. Moschovakis (Inductive relations) |
| 2004-11-01 |
MSc defense of Lambrini Kalantzi |
| October 2004 |
| 2004-10-22 |
E. Zachos (The complexity of counting functions with easy decision version) |
| 2004-10-15 |
D. M. Thilikos (Wagner's conjecture and its proof: A short description of the theory of minor graphs, II) |
| 2004-10-08 |
D. M. Thilikos (Wagner's conjecture and its proof: A short description of the theory of minor graphs, I) |
| 2004-10-01 |
MSc defense of Nikolaos Kiourtis |
| 2004-10-01 |
F. Hamm (Plan-goal structures and the dynamics of temporal reasoning) |
| September 2004 |
| 2004-09-01 |
MSc defense of Nikolaos Maragos |
| August 2004 |
| 2004-08-01 |
MSc defense of Constantinos Georgiou |
| July 2004 |
| 2004-07-23 |
A. S. Kechris (Generic symmetries) |
| 2004-07-02 |
T. Viglas (On complexity class separations and algorithmic simulations) |
| June 2004 |
| 2004-06-18 |
N. Lygeros (Algorithms for enumerating posets, prosets and mixed models) |
| 2004-06-11 |
A. Potika (Problems of path routing and coloring in totally optical networks with multiple fibers) |
| 2004-06-04 |
N. S. Papaspyrou (Programming with proofs: Type systems based on logic ... and other frightening stories ..) |
| 2004-06-01 |
MSc defense of Stavroula Kalliakouda |
| 2004-06-01 |
MSc defense of Eystratios Peroutseas |
| May 2004 |
| 2004-05-28 |
A. Tzouvaras (Why is the operation of powerset so special?) |
| 2004-05-21 |
E. Kranakis (Mobile agent rendez-vous problem) |
| 2004-05-07 |
C. Dimitracopoulos (Ramsey's Theorem) |
| April 2004 |
| 2004-04-30 |
P. Kolaitis (On preservation under homomorphisms in the finite) |
| 2004-04-23 |
T. Pheidas (Using Logic to solve problems in Algebra) |
| March 2004 |
| 2004-03-19 |
R. Kossak (Automorphisms of models of arithmetic, non-classification and some classification results) |
| 2004-03-12 |
E. Zachos (Descriptive complexity: complexity classes and operators) |
| January 2004 |
| 2004-01-23 |
C. Dimitracopoulos (The “indemonstrable moods” of the Stoics) |