Δεκέμβριος 2011 |
2011-12-28 |
MSc defense of Ιωάννης Παναγέας |
2011-12-05 |
MSc defense of Γεώργιος Σταθόπουλος |
Νοέμβριος 2011 |
2011-11-24 |
A. Bovykin (Searching for strength and unprovability: the case of the infinite-dimensional Ramsey Theorem) |
2011-11-22 |
MSc defense of Παναγιώτης Τσατσάνης |
Ιούλιος 2011 |
2011-07-18 |
G. Barbalias (Universality probability of a prefix free machine) |
Ιούνιος 2011 |
2011-06-24 |
Y. N. Moschovakis (Horner's rule is optimal for Polynomial 0-testing) |
2011-06-10 |
T. Muller (Random Geometric Graphs) |
Μάιος 2011 |
2011-05-30 |
MSc defense of Γεωργίου Ασκαλίδη |
2011-05-27 |
Δ. Φωτάκης (Winner-Imposing Strategyproof Mechanisms for Multiple Facility Location Games) |
2011-05-25 |
MSc defense of Βενέδικτος Τσομπλεκτζόγλου |
2011-05-20 |
Ά. Σιροκόφσκιχ (Decidability of algebraic theories) |
2011-05-13 |
A. Παγουρτζής (Distributed broadcasting with few transmissions in ad hoc radio networks) |
2011-05-06 |
A. Sidiropoulos (Stochastic topological simplification, and its algorithmic applications) |
Απρίλιος 2011 |
2011-04-15 |
Ι. Γιώτης (Approximation Algorithms for Correlation Clustering) |
2011-04-08 |
P. Karazeris (Coalgebras, data types and modal logic) |
2011-04-01 |
C. Kornaros (The weak regularity principle) |
Μάρτιος 2011 |
2011-03-18 |
K. Papalamprou (From graphs and matrices to matroids: algorithms and optimization) |
2011-03-01 |
MSc defense of Παύλου Ιωάννη Πύρρου Χάιδου |
Φεβρουάριος 2011 |
2011-02-25 |
D. Coudert (Parameterized Algorithms for Shared Risk Link Groups) |
Ιανουάριος 2011 |
2011-01-28 |
Κ. Γεωργίου (Fooling Strong LP and SDP Relaxations for Vertex Cover) |
2011-01-24 |
B. Courcelle (Special tree-width and the verification of monadic second-order Properties) |