Panagis Karazeris
courses given
| Course | Semester | |
|---|---|---|
| Λ98Γ. | Category theory and applications | 2005-2006, fall semester |
| Λ98Γ. | Category theory and applications | 1998-1999, spring semester |
| 2 courses. | ||
seminars given
| date | title | |
|---|---|---|
| 2011/04/08 | Coalgebras, data types and modal logic | |
| 2010/11/26 | Coalgebras, datatypes and modal logic | |
| 2005/11/04 | Geometrical theories, classifying topoi | |
| 2000/12/01 | An application of categorical logic to declarative semantics | |
| 1999/12/03 | Scott continuous local operators on complete Heyting algebras | |
| 1999/05/14 | Topology without points: Logical character and applications | |
| 1998/03/13 | Introduction to Categorical Logic | |
| 7 seminars. | ||
MSc theses supervised
| title | student | defense |
|---|---|---|
| Locally finitely presentable categories as categories of models of $L_\omega$ | 2000-06-01 | |
| 1 MSc thesis. | ||