EN | DE
Theoretische Informatik

Welcome

The Chair of Theoretical Computer Science (INF8) belongs to the Department of Computer Science at the Faculty of Engineering of the Friedrich-Alexander-Universität Erlangen-Nürnberg. Our core research topics are

  • Logic in Computer Science
  • Formal Methods
  • Knowledge Representation

Head of the group is Prof. Dr. Lutz Schröder.

News

  • Program Equivalence is Coinductive (D. Pattinson, L. Schröder) accepted at LICS 2016
  • Global Caching for the Alternation-free Coalgebraic mu-Calculus (Daniel Hausmann, Lutz Schröder, Christoph Egger) accepted at CONCUR 2016
  • New DFG project Generic Algorithmic Methods in Modal and Hybrid Logics (GenMod3) (Lutz Schröder) granted
  • COOL - The Coalgebraic Ontology Logic Reasoner extended to cover the alternation-free (coalgebraic) mu-calculus
  • A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties (Stefan Milius, Dirk Pattinson, Thorsten Wißmann) and Profinite Monads, Profinite Equations and Reitermann's Theorem (Liang-Ting Chen, Jiří Adámek, Stefan Milius, Henning Urbat) presented at FoSSaCS 2016
  • 07/2015: Ulrich Rabenstein wins the Brose-Preis for his Bachelor's Thesis “Ontology-supported classification of ad hoc disclosures”
  • Global Caching for the Flat Coalgebraic mu-Calculus (D. Hausmann, L. Schröder) at TIME 2015
  • DFG project Coinduction meets algebra for the axiomatization of system equivalences (COAX) (Stefan Milius / Lutz Schröder) up and running