Font size: Αα Αα Αα hide gadgets
You are here: Persons » Panagis Karazeris Anonymously browsing from at 14:04:33, 23-09-2017. login

Panagis Karazeris

Panagis Karazeris

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

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.

Further information


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
news RSS
announcements RSS
website news RSS
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.