TUD Logo

TUD Home » ... » Teaching » Summer Term 2016 » Seminar “Selected Topics in Logic and Verification”

Chair of Algebraic and Logical Foundations of Computer Science

Seminar “Selected Topics in Logic and Verification” (0/2/0)

Prof. Dr. Baier

Language: English


This seminar is mainly intended for students enrolled in the Master or Diplom programs Informatik (computer science).


To participate, please register using the form below until Sunday, April 10th, 2016.

All registered students will be informed about the first meeting via email.


The seminar addresses students that have profound knowledge in theoretical computer science and logics.

  • For students of the Master or Diplom program Informatik, the material of the course “Formale Systeme” and “Theoretische Informatik und Logik” is required.
  • The seminar is intended for students of the Master program Computational Logic in the second year of their studies that have successfully completed at least one of the following courses: “Model Checking”, “Advanced Logics” or “Automata and Logics”.


  • a written summary of 5–10 pages
  • and a presentation, approximately 30 minutes


Master Informatik
INF-AQUA: Allgemeine Qualifikation
Master Medieninformatik
INF-AQUA: Allgemeine Qualifikation
Master Computational Logic
MCL-PCS: Presentation and Communication Skills
Diplom Informatik
INF-D-940: Berufsspezifische Schlüsselqualifikation
Diplom Informatik (DPO 2004)
INF-04-HS: Hauptseminar


In case of questions or problems please contact Dr. Klüppelholz.

Last modified: 11th Apr 2016, 12.00 PM
Author: Dipl.-Inf. Steffen Märcker