Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2015, May 27
Time: 11:00
Author: GŁnther, Stephan
Title: Institutions Exemplified


Institutions are a general concept aimed at formalizing the notion of a “logical system” in order to provide a uniform way to reason about the properties of different logics by treating them as mathematical objects. Originally developed in the context of model theory, institutions have now found applications in many different areas. But they are a very abstract concept and rooted in category theory, which itself is a very abstract branch of mathematics. This talk aims to explain institutions by providing concrete examples of familiar logical systems formalized as institutions.

Back to the Oberseminar web page