Font size: Αα Αα Αα hide gadgets
You are here: Seminars » 2002-2003 { prev, contents, next } Anonymously browsing from at 15:32:02, 24-03-2019. login



Date Speaker(s) Title
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
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
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
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 S. Nikoletseas Smart Dust Protocols for Local Detection and Propagation
2003/02/21 C. Dimitracopoulos The pigeonhole principle and the infinitude of primes
2003/02/14 I. Emiris The theory of algebraic sparse elimination
2003/01/10 A. T. Pagourtzis 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 C. Verykios Morley's theorem and concepts from stability theory
2002/11/15 C. Dimitracopoulos 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


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 – 2019 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.