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)

• Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics
  
• Coinduction meets algebra for the axiomatization of system equivalences
  
• Probabilistic Description Logic as a Fragment of Probabilistic First- Order Logic
  

• A High Level Language for Monad Combination
  
• Formal Methods and Semantic Technologies for Engineering Design Processes
  
• Generic Algorithmic Methods in Modal and Hybrid Logics
  
• Probabilistic Description Logic