Font size: Αα Αα Αα hide gadgets
You are here: Events » 2003 { prev, contents, next } Anonymously browsing from at 19:37:25, 20-09-2017. login

Events in 2003

Date Event
December 2003
2003-12-22 graduation ceremony
2003-12-19 C. D. Koutras (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 F. Afrati (The complexity of conjunctive query containment)
2003-12-01 MSc defense of Georgios Tzachristas
November 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 Christos Tzetzias
October 2003
2003-10-31 D. M. Thilikos (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?)
July 2003
2003-07-01 MSc defense of Vasiliki Kaliakouda
June 2003
2003-06-30 A. S. Kechris (Fraissé limits, Ramsey theory and topological dynamics of automorphism groups)
2003-06-20 D. M. Thilikos (Retreat is futile when you want to take over the world)
2003-06-06 K. Drossos (Infinitesimals and non-standard mathematics)
May 2003
2003-05-30 P. Stephaneas (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)
April 2003
2003-04-18 E. Koutsoupias (Coordination Mechanisms)
2003-04-11 M. Mavronikolas (Game-theoretic techniques in package routing)
2003-04-04 T. Andronikos (Automatic system verification and synthesis)
March 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)
February 2003
2003-02-28 S. Nikoletseas (Smart Dust Protocols for Local Detection and Propagation)
2003-02-21 graduation ceremony
2003-02-21 C. Dimitracopoulos (The pigeonhole principle and the infinitude of primes)
2003-02-14 I. Emiris (The theory of algebraic sparse elimination)
January 2003
2003-01-10 A. T. Pagourtzis (Communication algorithms in wireless networks of unknown topology)


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
news RSS
announcements RSS
website news RSS
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.