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



Date Speaker(s) Title
2000/07/20 Α. Κεχρής The complexity of the isometric classification of Polish metric spaces and the structure of their isometry groups
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/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/05/19 Κ. Δ. Κούτρας Modal Logics of Knowledge and Multiple Intelligent Agents
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/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/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/11 Ε. Ζάχος S-terms revisited
2000/01/20 J. Benthem Modal Foundations for Predicate Logic
1999/12/17 E. Foustoucos Persistency numbers of Datalog programs
1999/12/10 S. Weinstein A guide to Finite Model Theory
1999/12/03 P. Karazeris Scott continuous local operators on complete Heyting algebras
1999/11/26 J. Väänänen Generalized quantifiers and finite model theory
1999/11/26 J. Kennedy On embedding models of arithmetic into reduced products
1999/11/19 Κ. Δημητρακόπουλος Introduction to Stoic Logic - The “indemonstrable moods” of the Stoics
1999/11/12 Ι. Εμίρης Solving polynomial systems
1999/11/05 I. Soskov Degrees of structures
1999/10/22 W. Charatonik Path-based versus set-based analysis of logic programs
1999/10/15 Y. N. Moschovakis Three episodes from the history of set theory
1999/10/08 P. Kolaitis The Ordered Conjecture: A status report


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