mpla.math.uoa.gr

Graduate Program in Logic, Algorithms and Computation.

Courses

Full courses archive

By Semester

2009 – 2010, Fall
2008 – 2009, Spring
2008 – 2009, Fall
2007 – 2008, Spring
2007 – 2008, Fall
2006 – 2007, Spring
2006 – 2007, Fall
2005 – 2006, Spring
2005 – 2006, Fall
2004 – 2005, Spring
2004 – 2005, Fall
2003 – 2004, Spring
2003 – 2004, Fall
2002 – 2003, Spring
2002 – 2003, Fall
2001 – 2002, Spring
2001 – 2002, Fall
2000 – 2001, Spring
2000 – 2001, Fall
1999 – 2000, Spring
1999 – 2000, Fall
1998 – 1999, Spring
1998 – 1999, Fall
1997 – 1998, Spring
1997 – 1998, Fall
1996 – 1997, Spring

Courses offered in Fall Semester 2009 – 2010

Λ2. Computability
A. Arvanitakis
Λ3. Algorithms and Complexity I
E. Koutsoupias
Π98Π. Cryptography
A. Kiayias
Π00Γ. Combinatorial Optimization
V. Zissimopoulos
Π01A. Online Algorithms
E. Koutsoupias
Π17. Mathematics and Cryptography
E. Raptis
Π03Γ. Type systems and Programming Languages
N. Papaspyrou
Π05A. Cryptography and Complexity
E. Zachos & D. Fotakis
Λ06A. Graph Theory
D. Thilikos
Λ15. Proof Theory
G. Koletsos & G. Stavrinos

Courses offered in Spring Semester 2008 – 2009

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ4. Algorithms and Complexity II
S. Kolliopoulos
M6. Set theory
Y. Moschovakis
Π6. Foundations of Data Bases (and Knowledge)
M. Koumparakis
Λ14 Introduction to Lambda Calculus
G. Koletsos & G. Stavrinos
Π02E. Computational Algebra
E. Raptis
Π03A. Network Algorithms and Complexity
A. Pagourtzis
Π05B. Computation Models and Complexity
E. Zachos
Λ00Δ. Approximation Algorithms and Complexity
E. Zachos
Π03Δ. Semantics of Programming Languages
P. Rondogiannis
Λ08A. Techniques of modern cryptography
A. Kiayias
Λ07N. Parameteric Complexity and Algorithms
D. Thilikos
Λ08N. Functional interpretation of arithmetic
G. Koletsos & N. Rigas

Courses offered in Fall Semester 2008 – 2009

Λ2. Computability
D. Thilikos
Λ3. Algorithms and Complexity I
E. Koutsoupias
Π02Δ. Computational Geometry
G. Emiris
Π03Γ. Type systems and Programming Languages
N. Papaspyrou
Π05A. Cryptography and Complexity
E. Zachos & A. Pagourtzis
Π08A. Algorithmic Game Theory
E. Koutsoupias
Λ06A. Graph Theory
D. Thilikos

Courses offered in Spring Semester 2007 – 2008

Λ2. Computability
Y. Moschovakis
Λ4. Algorithms and Complexity II
S. Kolliopoulos
M6. Set theory
Y. Moschovakis
Π6. Foundations of Data Bases and Knowledge Bases
M. Koumparakis
M12. Model Theory
C. Dimitracopoulos
Λ14 Introduction to Lambda Calculus
G. Koletsos
Π17. Mathematics and Cryptography
E. Raptis
Π03A. Network Algorithms and Complexity
A. Pagourtzis
Π03Δ. Semantics of Programming Languages
P. Rondogiannis
Π03Z. Algorithms in Structural Bioinformatics
I. Emiris
Π04N. Logic in Artificial Intelligence
P. Peppas
Π05B. Computation Models and Complexity
E. Zachos
Π06A. Descriptive Set Theory
A. Tsarpalias
Π07A. Structural Complexity
E. Zachos & A. Pagourtzis
Λ07N. Parameteric Complexity and Algorithms
D. Thilikos
Π07Ξ. Wireless Networking and Mobile Computing
E. Kranakis
Λ07O. Linear Logic
G. Stavrinos

Courses offered in Fall Semester 2007 – 2008

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ3. Algorithms and Complexity I
E. Koutsoupias
Λ15. Proof Theory
G. Koletsos & G. Stavrinos
Π00Γ. Combinatorial Optimization
V. Zissimopoulos
Π01A. Online Algorithms
E. Koutsoupias
Π02Δ. Computational Geometry
G. Emiris & Ch. Fragoudakis
Π02E. Computational Algebra
G. Emiris & E. Raptis
Π03Γ. Type systems and Programming Languages
N. Papaspyrou
Π05A. Cryptography and Complexity
E. Zachos & A. Pagourtzis
Λ06A. Graph Theory
D. Thilikos

Courses offered in Spring Semester 2006 – 2007

Λ4. Algorithms and Complexity ��
S. Kolliopoulos
M6. Set Theory
C. Dimitracopoulos
Π6. Foundations of Databases (and Knowledge)
M. Koubarakis
Π17. Mathematics and Cryptography
E. Raptis
Π02Z. Topics in Game Theory and Computation
E. Koutsoupias
Π03A. Network Algorithms and Complexity
A. Pagourtzis
Π03Δ. Semantics of Programming Languages
P. Rondogiannis
Π05B. Computation Models, Formal Languages, Automata Theory and Complexity
E. Zachos
Λ99Δ. Descriptive Set Theory
A. Tsarpalias
Π07B. Advanced Databases: Algorithms and complexity
E. Zachos, A. Pagourtzis, G. Kollias
Λ07Γ. Logic, Automata and Games
D. Richerby
Λ07N. Parametric Complexity and Algorithms (seminar)
D. Thilikos
Π07Ξ. Wireless Networking and Mobile Computing (seminar)
E. Kranakis

Courses offered in Fall Semester 2006 – 2007

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ2. Computability
Y. Moschovakis
http://www.math.uoa.gr/~ymos/l2
Λ3. Algorithms and Complexity �
E. Koutsoupias
http://cgi.di.uoa.gr/~elias/index.cgi/Classes/Year%2020067/Algorithms%2006f
Λ99A. Finite Model Theory
D. Richerby
http://davidr.phlegethon.org/work/teaching/fmt/
Π00Γ. Combinatorial Optimization
V. Zissimopoulos
http://www.di.uoa.gr/~vassilis
Λ02�. Arithmetic Complexity
Y. Moschovakis
http://www.math.uoa.gr/~ymos/l02a
Π02Δ. Computational Geometry
I. Emiris
http://www.di.uoa.gr/~erga/YpolGewmMet.html
Π02�. Computational Algrbra
I. Emiris & E. Raptis
http://eclass.di.uoa.gr/D231/
Π03Γ. Type Systems for Programming Languages
N. Papaspyrou
http://courses.softlab.ece.ntua.gr/typesys/
Π05�. Cryptography and Complexity
E. Zachos & A. Pagourtzis
http://www.corelab.ntua.gr/courses/cryptograd/
Λ06A. Graph Theory
D. Thilikos
http://eclass.di.uoa.gr
�06�. Ergodic Ramsey Theory
V. Farmaki
Λ06N. Category Theory and Applications
G. Koletsos & G. Stavrinos
http://www.math.ntua.gr/logic/categories/

Courses offered in Spring Semester 2005 – 2006

Λ4. Algorithms and Complexity ��
S. Kolliopoulos
M6. Set Theory
C. Dimitracopoulos
Π6. Foundations of Databases (and Knowledge)
M. Koubarakis
Λ14. Introduction to �-Calculus
G. Koletsos & G. Stavrinos
Π17. Mathematics and Cryptography
E. Raptis
Π01Π. Algorithms for Data Mining
F. Afrati
Π02Ξ. Network Security and Cryptography
E. Kranakis
Π01�. Parallel Algorithms and Complexity
E. Zachos
Π01�. Probabilistic Algorithms
E. Koutsoupias
Π03�. Network Algorithms and Complexity
A. Pagourtzis
Π03Δ. Semantics of Programming Languages
P. Rondogiannis
Π03�. Geometrical and Algebraic Algorithms in Molecular Biology
I. Emiris
Π05�. Computation Models, Formal Languages, Automata Theory and Complexity
E. Zachos
Λ05Γ. Descriptive Complexity and Algorithms
D. Thilikos
Λ05Δ. Graph Theory
D. Richerby

Courses offered in Fall Semester 2005 – 2006

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ2. Computability
Y. Moschovakis
Λ3. Algorithms and Complexity �
E. Koutsoupias
Π6. Databases
F. Afrati & V. Vassalos
�11. Recursion Theory
Y. Moschovakis
Λ15. Proof Theory
G. Koletsos & G. Stavrinos
Λ98Γ. Category Theory and Applications
P. Karazeris & N. Rigas
Λ99A. Finite Model Theory
D. Richerby
Π00Γ. Combinatorial Optimization
V. Zissimopoulos
Π02Δ. Computational Geometry
I. Emiris
Λ03�. Computational Algebraic Geometry
E. Raptis
Π03Γ. Type Systems for Programming Languages
N. Papaspyrou
Π05�. Cryptography and Complexity
E. Zachos
�05�. Constructive Arithmetic and Analysis
J. R. Moschovakis

Courses offered in Spring Semester 2004 – 2005

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ4. Algorithms and Complexity ��
A. Potika
Λ14. Introduction to �-Calculus
G. Koletsos & G. Stavrinos
Π17. Mathematics and Cryptography
E. Raptis
Π99Π. Data Networks
E. Kranakis
Π00Δ. Approximation Algorithms and Computational Geometry
E. Zachos
Π02Z. Topics in Game Theory and Computation
E. Koutsoupias
Π03A. Network Algorithms and Complexity
A. Pagourtzis
Π03Δ. Semantics of Programming Languages
P. Rondogiannis
Π03�. Geometric and Algebraic Algorithms in Molecular Biology
I. Emiris
Π04�. Logic in Artificial Intelligence
P. Peppas

Courses offered in Fall Semester 2004 – 2005

Λ2. Computability
Y. Moschovakis
Λ3. Algorithms and Complexity �
E. Koutsoupias
M6. Set Theory
Y. Moschovakis
Π6. Databases
F. Afrati
�12. Model Theory
C. Dimitracopoulos
Λ02�. Arithmetic Complexity
Y. Moschovakis
Λ03�. Computational Algebraic Geometry
E. Raptis
Π00Γ. Combinatorial Optimization
V. Zissimopoulos
Λ04�. Proofs and Programs
G. Koletsos & G. Stavrinos
Π�04. Type Systems for Programming Languages
N. Papaspyrou

Courses offered in Spring Semester 2003 – 2004

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ4. Algorithms and Complexity ��
A. Pagourtzis
Π6. Databases
T. Sellis
Λ15. Proof Theory
G. Stavrinos
Π17. Mathematics and Cryptography
E. Raptis
Π01�. Online Algorithms
E. Koutsoupias
Π03�. Structural Complexity
E. Zachos
Π03�. Semantics of Programming Languages
P. Rondogiannis
Π03Γ. Type Systems for Programming Languages
N. Papaspyrou
Π03Δ. Algorithms in Molecular Biology
I. Emiris
Π01Π. Algorithms for Data Mining
F. Afrati

Courses offered in Fall Semester 2003 – 2004

Λ2. Computability
Y. Moschovakis
Λ3. Algorithms and Complexity �
E. Koutsoupias
Λ5. Set Theory
Y. Moschovakis
Λ14. Introduction to �-Calculus
G. Stavrinos
Λ00Γ. Combinatorial Complexity
V. Zissimopoulos
Λ03�. Computational Alegbraic Geometry
E. Raptis
Π03�. Network Algorithms and Complexity
A. Pagourtzis
Λ03N. Models of Peano Arithmetic
C. Dimitracopoulos
Π03Ξ. Approximation Algorithms
F. Afrati & T. Aslanidis

Courses offered in Spring Semester 2002 – 2003

Λ4. Algorithms and Complexity ��
Th. Andronikos
Λ5. Set Theory
A. Tsarpalias & C. Dimitracopoulos
Λ99�. Databases
M. Nikolaidou
Λ13. Proof Theory
G. Stavrinos
Λ00�. Mathematics and Cryptography
E. Raptis
Λ02�. Metamathematics of Peano Arithmetic
C. Dimitracopoulos & Ch. Cornaros
Λ02Γ. Cryptography and Complexity
E. Zachos
Λ02Δ. Computational Geometry
I. Emiris
Λ02�. Computational Algebra
I. Emiris
Λ02�. Topics in Game Theory and Computation
E. Koutsoupias
Λ02Ξ. Introduction to network security and cryptography
E. Kranakis
Λ02�. Algebraic specifications and their applications in Computer Science
R. Diaconescu & P. Stefaneas
Λ01�. Probabilistic Algorithms
S. Nikoletseas
Λ02Π. Topics of Logic in Computer Science
E. Foustoucos

Courses offered in Fall Semester 2002 – 2003

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ2. Computability
Y. Moschovakis
Λ3. Algorithms and Complexity �
E. Koutsoupias
Λ16. Logic Programming
E. Foustoucos
Λ00�. Metamathematics of Set Theory
A. Arvanitakis
Λ02�. Arithmetic Complexity
Y. Moschovakis
Λ02N. Logic in Databases
V. �annen

Courses offered in Spring Semester 2001 – 2002

Λ4. Algorithms and Complexity ��
Th. Andronikos
Λ5. Set Theory
A. Arvanitakis
Λ11. Introduction to � - Calculus
G. Koletsos & G. Stavrinos
Λ15. Model Theory
C. Dimitracopoulos & Ch. Cornaros
Λ99�. Databases
I. Karali & M. Nikolaidou
Λ99Π. Data Networks
E. Kranakis
Λ00�. Mathematics and Cryptography
E. Raptis
Λ00Γ. Combinatorial Optimization
V. Zissimopoulos
Λ01Γ. Parallel Algorithms and Complexity
E. Zachos
Λ01Π. Algorithms for Data Mining
F. Afrati

Courses offered in Fall Semester 2001 – 2002

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ2. Computability
Y. Moschovakis
Λ3. Algorithms and Complexity �
Th. Andronikos
Λ19. Non-classical Logics
C. Koutras
Λ00�. Metamathematics of Set Theory
A. Arvanitakis
Λ01�. Introduction to Recursion in Higher Types
Y. Moschovakis
Λ01Ξ. Mathematics and Robotics
E. Raptis
Λ01�. Online Algorithms
E. Koutsoupias
Λ01�. Probabilistic Algorithms
E. Koutsoupias

Courses offered in Spring Semester 2000 – 2001

Λ4. Algorithms and Complexity ��
T. Dimitriou
Λ5. Set Theory
A. Tsarpalias
Λ99�. Databases
I. Ioannidis & I. Karali
Λ00�. Mathematics and Cryptography
E. Raptis
Λ00Γ. Combinatorial Optimization
V. Zissimopoulos & E. Koutsoupias
Λ00Δ. Approximation Algorithms and Computational Geometry
E. Zachos

Courses offered in Fall Semester 2000 – 2001

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ2. Computability
Y. Moschovakis
Λ3. Algorithms and Complexity �
T. Dimitriou
Λ16. Logic Programming
E. Foustoucos
Λ98�. Introduction to Constructive Mathematics
J. R. Moschovakis
Λ00�. Metamathematics of Set Theory
Y. Moschovakis

Courses offered in Spring Semester 1999 – 2000

Λ4. Algorithms and Complexity ��
T. Dimitriou
Λ5. Set Theory
A. Tsarpalias
Λ11. Introduction to �-Calculus
G. Koletsos
Λ18. Mathematical Theory of Programming Languages
S. Cosmadakis
Λ99�. Databases
I. Ioannidis
Λ99�. Topics in Set Theory
Y. Moschovakis
Λ99Π. Data Networks
E. Kranakis

Courses offered in Fall Semester 1999 – 2000

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ2. Computability
Y. Moschovakis
Λ3. Algorithms and Complexity �
T. Dimitriou
Λ99A. Introduction to Finite Model Theory
S. Weinstein
Λ99�. Automata and Applications
I. Soskov
Λ99Γ. Modal Logic
C. Koutras
Λ99Δ. Descriptive Set Theory
Y. Moschovakis

Courses offered in Spring Semester 1998 – 1999

Λ4. Algorithms and Complexity ��
Ch. Nomikos
Λ5. Set Theory
A. Tsarpalias
Λ13. Proof Theory
G. Koletsos
Λ19. Non-classical Logics
C. Koutras
Λ98Γ. Category Theory and Applications
P. Karazeris
Λ98Π. Cryptography
E. Kranakis
Λ98�. Java
D. Theotokis

Courses offered in Fall Semester 1998 – 1999

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ2. Computability
Y. Moschovakis
Λ3. Algorithms and Complexity �
Ch. Nomikos
Λ18. Mathematical Theory of Programming Languages
K. Georgatos
Λ98�. Logic Programming ��
E. Foustoucos
Λ98�. Principles of Constructive Mathematics
J. R. Moschovakis
Λ98�. Metamathematics of Set Theory
Y. Moschovakis

Courses offered in Spring Semester 1997 – 1998

Λ4. Algorithms and Complexity ��
F. Afrati
Λ5. Set Theory
A. Tsarpalias
Λ15. Model Theory
C. Dimitracopoulos
Λ16. Logic Programming
E. Foustoucos
Λ97�. Probabilistic Algorithms
P. Spirakis

Courses offered in Fall Semester 1997 – 1998

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ2. Computability
Y. Moschovakis & M. Mytilinaios
Λ3. Algorithms and Complexity �
E. Zachos
Λ11. Recursion Theory
Y. Moschovakis
Λ14. Introduction to �-Calculus
G. Koletsos

Courses offered in Spring Semester 1996 – 1997

Λ1. Mathematical Logic
C. Dimitracopoulos
Λ2. Computability
Y. Moschovakis
Λ3. Algorithms and Complexity �
E. Kirousis
Λ5. Set Theory
A. Tsarpalias

Last update: Tue, 08 May 2012 23:10:22 EEST

Powered by...

©2006 – 2012 MPLA,
University of Athens, Department of Mathematics.