Font size: Αα Αα Αα hide gadgets
You are here: Events » 2000 { prev, contents, next } Anonymously browsing from at 23:41:53, 25-09-2017. login

Events in 2000

Date Event
December 2000
2000-12-20 graduation ceremony
2000-12-15 C. D. Koutras (Theory of definability and completeness in Modal Logic)
2000-12-08 E. Kirousis (Dichotomy theorems on the satisfiability of propositional formulas)
2000-12-01 P. Karazeris (An application of categorical logic to declarative semantics)
November 2000
2000-11-10 C. Dimitracopoulos (Hilbert's 10th problem)
2000-11-03 C. Cornaros (Wilkie's problem)
2000-11-01 MSc defense of Georgia Stathopoulou
October 2000
2000-10-20 Y. N. Moschovakis (The logic of (complete and partial) equations)
2000-10-13 E. Kranakis (Searching with Uncertainty in Communication Networks)
July 2000
2000-07-20 A. S. Kechris (The complexity of the isometric classification of Polish metric spaces and the structure of their isometry groups)
2000-07-14 graduation ceremony
2000-07-12 V. Vazirani (The Primal-Dual Schema for Approximation Algorithms Where Does it Stand, and Where Can it Go?)
2000-07-11 J. Krivine (The Curry-Howard correspondence in set theory)
2000-07-06 P. Kolaitis (On the Complexity of Counting Problems in Equational Matching and Unification)
2000-07-01 MSc defense of Charalampia Toga
2000-07-01 MSc defense of Eleni Kalyvianaki
2000-07-01 MSc defense of Christos Kapoutsis
June 2000
2000-06-16 A. Dawar (Formulas, Games and Circuits)
2000-06-09 T. Pheidas (Lang's conjecture in Arithmetic Algebraic Geometry and its solution by model-theoretical means)
2000-06-02 S. Baratella (Quantifier elimination for first order theories)
2000-06-01 MSc defense of Ouranis Kebapi
2000-06-01 MSc defense of Aristidis Dimakakos
May 2000
2000-05-19 C. D. Koutras (Modal Logics of Knowledge and Multiple Intelligent Agents)
April 2000
2000-04-14 T. Dimitriou (Algorithms for random generation and counting)
2000-04-07 S. Weinstein (The Role of Decidability in First Order Separations over Classes of Finite Structures)
March 2000
2000-03-31 C. Dimitracopoulos (End extensions of models, II)
2000-03-17 P. Peppas (Belief Revision, II)
2000-03-10 C. Dimitracopoulos (End extensions of models, I)
2000-03-03 P. Peppas (Belief Revision, I)
February 2000
2000-02-25 Y. N. Moschovakis (Meanings, algorithms and games)
2000-02-18 J. R. Moschovakis (The Gödel-Gentzen Negative Translation and Classical Function Realizability)
2000-02-16 graduation ceremony
2000-02-11 E. Zachos (S-terms revisited)
January 2000
2000-01-20 J. Benthem (Modal Foundations for Predicate Logic)


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.