mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Persons » Panagis Karazeris Anonymously browsing from 54.224.214.93 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

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
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.