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

Events in 2002

Date Event
Δεκέμβριος 2002
2002-12-13 C. Chartonas (A minimal calculus for situated multi-agent systems)
2002-12-06 V. Kanellopoulos (Ramsey theorems for trees)
Νοέμβριος 2002
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
2002-10-18 V. Tannen (XML Query Reformulation)
2002-10-11 R. Kahle (Applicative Theories and their Applications)
Σεπτέμβριος 2002
2002-09-01 MSc defense of Ορέστη Ράπτη
2002-09-01 MSc defense of Τ. Ασλανίδη
2002-09-01 MSc defense of Εμμανουήλ Κανδηλάκη
Ιούλιος 2002
2002-07-16 graduation ceremony
2002-07-15 Α. Κεχρής (The Vaught Conjecture)
2002-07-01 MSc defense of Παντελεήμονος Ελευθερίου
2002-07-01 MSc defense of Κυριάκου Κυπριωτάκη
2002-07-01 MSc defense of Μαρίας Λιάζη
2002-07-01 MSc defense of Δημητρίου Σταθόπουλου
2002-07-01 MSc defense of Νικολάου Σαλαμάνου
2002-07-01 MSc defense of Δημητρίου Σπόντα
2002-07-01 MSc defense of Ιωάννη Σουλδάτου
Ιούνιος 2002
2002-06-21 Y. Matiyasevich (Hilbert's Tenth Problem today: Main results and Open Problems)
2002-06-14 Α. Αρβανιτάκης (The proof of Generalized Banach Contraction Conjecture)
2002-06-07 Π. Ροντογιάννης (Minimum model semantics for logic programs with negation)
Μάιος 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)
Απρίλιος 2002
2002-04-26 E. Kranakis (Node Discovery in Ad Hoc Networks)
2002-04-12 Φ. Αφράτη (Answering Conjunctive Queries with Comparisons Using Views)
2002-04-05 P. Spirakis (Game Theory and Complexity)
Μάρτιος 2002
2002-03-29 F. Ferreira (Amending Frege's “Grundgesetze der Arithmetic”)
2002-03-01 MSc defense of Πολυνίκης Σύψα
2002-03-01 Κ. Δημητρακόπουλος (Finite axiomatizability of subsystems of P)
Φεβρουάριος 2002
2002-02-15 Ε. Ζάχος (Counting functions)


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