Font size: Αα Αα Αα hide gadgets
You are here: Persons » Panagis Karazeris

Panagis Karazeris

Panagis Karazeris

  • Επίκουρος Καθηγητής, Mathematics Department, University of Patras
  • ΜΠΛΑ

seminars given

ημερομηνία τίτλος
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

τίτλος student defense
Locally finitely presentable categories as categories of models of $L_\omega$ Ουρανία Κεμπάπη 2000-06-01
1 MSc thesis.

Further information


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