| 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 |