Der Lehrstuhl 8 repräsentiert Themen aus dem Bereich Logik in der Informatik in Lehre und Forschung.

Logikbasierte Wissensrepräsentation; Softwarespezifikation und -verifikation; Modallogik in der Informatik, insbesondere koalgebraische Logik; Programmlogiken und Semantik von Programmiersprachen, insbesondere monadische Programmierung und Semantik von Iteration und Rekursion; koalgebraische Semantik nebenläufiger Systeme.

Universität Bremen, AG Theorie der Künstlichen Intelligenz (Prof. Dr. Carsten Lutz);
TU Braunschweig, Institut für Theoretische Informatik (Prof. Dr. Jiri Adamek);
Australian National University, Canberra, Research School of Computer Science, (Prof. Dr. Dirk Pattinson);
Hokkaido University, Dept. of Philosophy (Prof. Dr. Katsuhiko Sano);
University College London, Dept. of Computer Science (Dr. Alexandra Silva, Dr. Fabio Zanasi);
Universität Duisburg-Essen, Fakultät für Ingenieurwissenschaften, Abteilung Informatik und Angewandte Kognitionswissenschaft (Prof. Dr. Barbara König);
University of Birmingham, School of Computer Science (Dr. Paul Blain Levy);
Indiana University Bloomington, Department of Mathematics (Prof. Dr. Lawrence Moss);
Universiteit Leiden, Leiden Institute of Advanced Computer Science (Prof. Dr. Marcello Bonsangue);
Cornell University, Dept. of Computer Science (Prof. Dr. Dexter Kozen)
KU Leuven, Dept. of Computer Science (Dr. Maciej Pirog)
Physikalisch-Technische Bundesanstalt (PTB), Braunschweig (Dr. Dieter Siebold)
TU Delft, Dept. of Software Technology (Prof. Dr. Jan Hidders)
Birkbeck, University of London (Dr. Szabolcs Mikulás)
UC Berkeley, Dept. of Philosophy (Prof. Dr. Wesley Holliday)
University of Leicester, Dept. of Computer Science (Prof. Dr. Alexander Kurz)
Ecole Normale Supérieure de Lyon, Laboratoire de l'Informatique du Parallélisme (Dr. Filippo Bonchi)
University of Strathclyde, Dept. Computer and Information Sciences (Dr. Clemens Kupke)
Universiteit van Amsterdam, Institute for Logic, Language and Computation (Prof. Dr. Yde Venema)
Universiteit Utrecht, Dept. of Philosophy (Prof. Dr. Albert Visser)

• Generische algorithmische Verfahren und Komplexitätsschranken für Modal- und Hybridlogiken auf koalgebraischer Basis
  
• Koinduktion und Algebra in der Axiomatisierung von Systemäquivalenz
  
• Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe
  

• Eine High-Level-Sprache für Monadenkombination
  
• Formale Methoden und semantische Technologien für technische Entwurfsprozesse
  
• Generische algorithmische Methoden für Modal- und Hybridlogiken
  
• Probabilistische Beschreibungslogik