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



Date Speaker(s) Title
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/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/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/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/02/28 Σ. Νικολετσέας Smart Dust Protocols for Local Detection and Propagation
2003/02/21 Κ. Δημητρακόπουλος The pigeonhole principle and the infinitude of primes
2003/02/14 Ι. Εμίρης The theory of algebraic sparse elimination
2003/01/10 A. Παγουρτζής Communication algorithms in wireless networks of unknown topology
2002/12/13 C. Chartonas A minimal calculus for situated multi-agent systems
2002/12/06 V. Kanellopoulos Ramsey theorems for trees
2002/11/29 A. Shlapentokh Hilbert's Tenth Problem over Number Fields
2002/11/22 Χ. Βερύκιος Morley's theorem and concepts from stability theory
2002/11/15 Κ. Δημητρακόπουλος The MacDowell-Specker theorem and generalizations
2002/11/08 S. Kreutzer Ficed-Point Logics on Finite and Infinite Structures
2002/11/01 Y. N. Moschovakis Inductive relations
2002/10/18 V. Tannen XML Query Reformulation
2002/10/11 R. Kahle Applicative Theories and their Applications


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