Font size: Αα Αα Αα hide gadgets
You are here: Events » 2003 { prev, contents, next }

Events in 2003

Date Event
Δεκέμβριος 2003
2003-12-22 graduation ceremony
2003-12-19 Κ. Δ. Κούτρας (Multiple-valued Modal Logic: definability, completeness, model theory)
2003-12-12 G. Barbalias (Hypersimple semicomputable sets in the weak truth table degrees)
2003-12-05 Φ. Αφράτη (The complexity of conjunctive query containment)
2003-12-01 MSc defense of Γεωργίου Τζαχρίστα
Νοέμβριος 2003
2003-11-28 S. Ghilezan (Intersection types in classical logic)
2003-11-21 J. R. Moschovakis (Hierarchies in realistic extensions of intuitionistic theories)
2003-11-07 P. Spirakis (Communication problems in ad-hoc mobile nets: Multi-particle interactions and concurrent random walks)
2003-11-01 MSc defense of Χρήστου Τζέτζια
Οκτώβριος 2003
2003-10-31 Δ. Μ. Θηλυκός (The theory of minor graphs and its use in the design of subexponential parametric algorithms)
2003-10-24 A. Louveau (Dichotomy results for Borel graphs)
2003-10-10 B. Löwe (Deterministic and nondeterministic supertask computation)
2003-10-03 Y. N. Moschovakis (Is Euclid's algorithm optimal?)
Ιούλιος 2003
2003-07-01 MSc defense of Βασιλικής Καλιακούδα
Ιούνιος 2003
2003-06-30 Α. Κεχρής (Fraissé limits, Ramsey theory and topological dynamics of automorphism groups)
2003-06-20 Δ. Μ. Θηλυκός (Retreat is futile when you want to take over the world)
2003-06-06 K. Drossos (Infinitesimals and non-standard mathematics)
Μάιος 2003
2003-05-30 Π. Στεφανέας (Information technology and ethics)
2003-05-23 E. Kranakis (Compasses, Faces and Butterflies: Route Discovery in Ad-hoc \\ Networks)
2003-05-16 P. D'Aquino (Weak fragments of arithmetic)
2003-05-09 N. Rigas (Intersection types and applications to lambda calculus)
Απρίλιος 2003
2003-04-18 E. Koutsoupias (Coordination Mechanisms)
2003-04-11 M. Mavronikolas (Game-theoretic techniques in package routing)
2003-04-04 Θ. Ανδρόνικος (Automatic system verification and synthesis)
Μάρτιος 2003
2003-03-28 G. Kapoulas (Infinitesimals via the cofinite filter)
2003-03-21 R. Diaconescu (From Birkhoff axiomatizability to interpolation: a categorical model-theoretic approach)
2003-03-14 D. Kavvadias (Generating extreme structures: algorithms and complexity)
Φεβρουάριος 2003
2003-02-28 Σ. Νικολετσέας (Smart Dust Protocols for Local Detection and Propagation)
2003-02-21 graduation ceremony
2003-02-21 Κ. Δημητρακόπουλος (The pigeonhole principle and the infinitude of primes)
2003-02-14 Ι. Εμίρης (The theory of algebraic sparse elimination)
Ιανουάριος 2003
2003-01-10 A. Παγουρτζής (Communication algorithms in wireless networks of unknown topology)


Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.