mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Teachers » Panagis Karazeris Anonymously browsing from 54.80.137.187 at 00:59:11, 24-09-2017. login

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

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.