Chair for Algebraic and Logical Foundations of Computer Science

Education

• Educational fields:
  • Logics for Computer Science
  • Advanced Logics
  • Formal Models of Concurrency
  • Verifying Temporal Propeties of Systems
  • Specifications of Programs and Data Types
  • Principles of Automated Theorem Proving
  • Category Theory for Computing Science
  • Foundations of Logic Programming
  • Functional Programming

• Lectures in summer term 2006

  • Listen der Fakultät mit LV des Lehrstuhls und des Institutes

  • LV des Lehstuhles in JEXAM

  • Advanced Logics (in engl. Sprache) Prof. Reichel

  • Proseminar Modale Logik (Prof. Reichel / Dipl.-Inf. Hofmann)

  • Berechenbare Funktionen und Daten Dr. Posegga

  • Design and Analysis with Petri Nets Dr. W. Nauber

  • archivierte Seminarseiten

  • Software für LV

• Topics of Practical Work and Masters Thesis ( Computational Logic )
  Graduate Programme in Computer Science

• Educational Programs
  • Postgraduate Programme:
    Specification of discrete processes and systems of processes by operational models and logics
  • Postgraduate Programme:
    Tools for efficient applications of concurrent and distributed computer systems

Research

• Research topics
  • Specifications of Abstract Data Types
  • Inductive Definitions and Proofs
  • Coinductive Definitions and Proofs for Temporal Properties of Systems
  • Formal Semantics of Object-oriented Programming
  • Categorical Logic and Type Theory

• Research activities
  • Workshop on Algorithms and Tools for Coinductive Reasoning
  • Workshop "Categorical Models of Concurrency "
  • Workshop on "Coalgebraic Methods in Computer Science (CMCS'2000)"
  • STACS 2001

• Publications

• Chairs Research Seminar