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

Events in 2002

Date Event
December 2002
2002-12-13 C. Chartonas (A minimal calculus for situated multi-agent systems)
2002-12-06 V. Kanellopoulos (Ramsey theorems for trees)
November 2002
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)
October 2002
2002-10-18 V. Tannen (XML Query Reformulation)
2002-10-11 R. Kahle (Applicative Theories and their Applications)
September 2002
2002-09-01 MSc defense of Orestis Raptis
2002-09-01 MSc defense of T. Aslanidis
2002-09-01 MSc defense of Emmanouil Kandilakis
July 2002
2002-07-16 graduation ceremony
2002-07-15 A. S. Kechris (The Vaught Conjecture)
2002-07-01 MSc defense of Panteleimon Eleftheriou
2002-07-01 MSc defense of Kyriakos Kypriotakis
2002-07-01 MSc defense of Maria Liazi
2002-07-01 MSc defense of Dimitrios Stathopoulos
2002-07-01 MSc defense of Nikolaos Salamanos
2002-07-01 MSc defense of Dimitrios Spontas
2002-07-01 MSc defense of Ioannis Souldatos
June 2002
2002-06-21 Y. Matiyasevich (Hilbert's Tenth Problem today: Main results and Open Problems)
2002-06-14 A. Arvanitakis (The proof of Generalized Banach Contraction Conjecture)
2002-06-07 P. Rondogiannis (Minimum model semantics for logic programs with negation)
May 2002
2002-05-24 E. Foustoucos (Datalog with greatest fixed points can express various temporal logics)
2002-05-17 A. Tzouvaras (A structural approach of fuzzy sets)
April 2002
2002-04-26 E. Kranakis (Node Discovery in Ad Hoc Networks)
2002-04-12 F. Afrati (Answering Conjunctive Queries with Comparisons Using Views)
2002-04-05 P. Spirakis (Game Theory and Complexity)
March 2002
2002-03-29 F. Ferreira (Amending Frege's “Grundgesetze der Arithmetic”)
2002-03-01 MSc defense of Polyniki Sypsa
2002-03-01 C. Dimitracopoulos (Finite axiomatizability of subsystems of P)
February 2002
2002-02-15 E. Zachos (Counting functions)


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