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

Events in 2000

Date Event
Δεκέμβριος 2000
2000-12-20 graduation ceremony
2000-12-15 Κ. Δ. Κούτρας (Theory of definability and completeness in Modal Logic)
2000-12-08 Ε. Κυρούσης (Dichotomy theorems on the satisfiability of propositional formulas)
2000-12-01 P. Karazeris (An application of categorical logic to declarative semantics)
Νοέμβριος 2000
2000-11-10 Κ. Δημητρακόπουλος (Hilbert's 10th problem)
2000-11-03 C. Cornaros (Wilkie's problem)
2000-11-01 MSc defense of Γεωργίας Σταθοπούλου
Οκτώβριος 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)
Ιούλιος 2000
2000-07-20 Α. Κεχρής (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 Χαραλαμπίας Τόγκα
2000-07-01 MSc defense of Ελένη Καλυβιανάκη
2000-07-01 MSc defense of Χρήστου Καπουτσή
Ιούνιος 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 Ουρανίας Κεμπάπη
2000-06-01 MSc defense of Αριστείδη Δημακάκου
Μάιος 2000
2000-05-19 Κ. Δ. Κούτρας (Modal Logics of Knowledge and Multiple Intelligent Agents)
Απρίλιος 2000
2000-04-14 Τ. Δημήτριου (Algorithms for random generation and counting)
2000-04-07 S. Weinstein (The Role of Decidability in First Order Separations over Classes of Finite Structures)
Μάρτιος 2000
2000-03-31 Κ. Δημητρακόπουλος (End extensions of models, II)
2000-03-17 P. Peppas (Belief Revision, II)
2000-03-10 Κ. Δημητρακόπουλος (End extensions of models, I)
2000-03-03 P. Peppas (Belief Revision, I)
Φεβρουάριος 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 Ε. Ζάχος (S-terms revisited)
Ιανουάριος 2000
2000-01-20 J. Benthem (Modal Foundations for Predicate Logic)


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