Evgenia Foustoucos
courses given
| Course | Semester | |
|---|---|---|
| Λ02Π. | Θέματα λογικής στην πληροφορική | 2002-2003, εαρινό εξάμηνο |
| Π18. | Λογικός προγραμματισμος | 2002-2003, χειμερινό εξάμηνο |
| Π18. | Λογικός προγραμματισμος | 2000-2001, χειμερινό εξάμηνο |
| Λ98Α. | Logic Programming II | 1998-1999, χειμερινό εξάμηνο |
| Π18. | Λογικός προγραμματισμος | 1997-1998, εαρινό εξάμηνο |
| 5 courses. | ||
seminars given
| ημερομηνία | τίτλος | |
|---|---|---|
| 2002/05/24 | Datalog with greatest fixed points can express various temporal logics | |
| 1999/12/17 | Persistency numbers of Datalog programs | |
| 2 seminars. | ||
PhD theses supervised
| τίτλος | student | defense |
|---|---|---|
| Monadic Second Order Logic and Parameterized Complexity on Structures of Bounded Treewidth | 2012-05-01 | |
| 1 PhD thesis. | ||
MSc theses supervised
| τίτλος | student | defense |
|---|---|---|
| MSO-evaluation and automata | 2004-11-01 | |
| 1 MSc thesis. | ||