mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Panagis Karazeris

Panagis Karazeris

Panagis Karazeris

  • Assistant Professor, Mathematics Department, University of Patras
  • MPLA

courses given

Course Semester
Λ98Γ. 2005-2006, fall semester
Λ98Γ. 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$ Ouranis Kebapi 2000-06-01
1 MSc thesis.

Reporter

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