Institut für Theoretische Informatik

Algebraische und logische Grundlagen der Informatik

Lehrveranstaltung	Modul	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Advanced Logics: Model Checking	MCL-AL	4/2/0	Prof. Baier	ThI	V	ZVZ	ZVZ	AVO
Design and Analysis of Petri Nets	MCL-TCSL	2/2/0	Dr. Nauber	ThI	V U	Mittwoch Freitag	4. 4.	INF/E005 INF/E005	wöch. wöch.
Komplexpraktikum Modellierung und quantitative Systemanalyse	INF-04-KP, INF-04-P, INF-MA-PR, INF-PM-FPG, IST-05-KP	0/0/4, 0/0/8	Prof. Baier, Dr. Klüppelholz	ThI	P	ZVZ	ZVZ	AVO
Lab Course Modeling and Automated Verification	MCL-PCS	0/2/0	Prof. Baier, Dr. Klüppelholz	ThI	U	ZVZ	ZVZ	AVO
Model Checking	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6	4/4/0	Prof. Baier, Dr. Klüppelholz	ThI	V V U	Donnerstag Donnerstag Freitag	2. 3. 2., 3.	INF/E005 INF/E005 INF/E005	wöch. wöch. wöch.
Project Group Model Checking	MCL-P	0/0/4	Prof. Baier, Dr. Klüppelholz	ThI	P	ZVZ	ZVZ	AVO
Proseminar Theoretische Informatik	INF-B-610, INF-D-520	0/2/0	Prof. Baier, Dr. Klüppelholz	ThI	U	ZVZ	ZVZ	AVO
Seminar Selected Topics in Logic and Verification	INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS	0/2/0	Prof. Baier, Dr. Klüppelholz	ThI	U	Donnerstag	3.	AVO	wöch.

Automatentheorie

Lehrveranstaltung	Modul	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Einführung in die Theoretische Informatik	INF-LE-WW, INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04	3/1/0	Prof. Baader, Dr. Turhan	ThI	V V	Montag Donnerstag	2. 3.	TOE/0317 INF/E023	wöch. wöch.
Forschungsprojekt Theoretical Computer Science	INF-PM-FPG	8P/PB	Prof. Baader	ThI	P	ZVZ	ZVZ	AVO
Komplexpraktikum Theoretische Informatik	INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2	0/0/4, 0/0/8	Prof. Baader, Dr. Penaloza	ThI	P	ZVZ	ZVZ	AVO
Logical Approach to Physical Data Independence and Query Compilation	MCL-KR, MCL-PI, MCL-TCSL	1/1/0	Prof. Baader, Prof. Toman	ThI	V	Blockveranstaltung	ZVZ	AVO
Molekulares Rechnen - in vitro und in vivo	INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6	2/2/0	Prof. Baader, Dr. Sturm	ThI	V U	Mittwoch Donnerstag	2. 1.	INF/E008 INF/E009	wöch. wöch.
Project Group Theoretical Computer Science	MCL-P	0/0/4	Prof. Baader, Dr. Penaloza	ThI	P	ZVZ	ZVZ	INF/E005	wöch.
Proseminar Ausgewählte Themen der Theoretischen Informatik	INF-B-510, INF-B-520, INF-B-610, INF-D-520	0/2/0	Prof. Baader, Dr. Sturm	ThI	U	Montag	2.	AVO	wöch.
Seminar Theoretical Computer Science	INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL	0/2/0	Prof. Baader, Dr. Turhan	ThI	U	Montag	6.	INF/E005	wöch.
Term Rewriting Systems	INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL	4/2/0	Prof. Baader, Dr. Penaloza	ThI	V V U	Dienstag Donnerstag Mittwoch	6. 6. 5.	INF/E005 INF/E005 INF/E005	wöch. wöch. wöch.
Theoretische Informatik und Logik	INF-B-290, INF-D-330	4/2/0	Prof. Baader	ThI	V V U U U U U U	Montag Donnerstag Montag Dienstag Mittwoch Mittwoch Donnerstag Freitag	2. 4. 6. 4. 1. 3. 6. 1.	GÖR/0226 HSZ/0004 INF/E008 INF/E010 INF/E007 INF/E010 INF/E010 INF/E010	wöch. wöch. wöch. wöch. wöch. wöch. wöch. wöch.

Grundlagen der Programmierung

Lehrveranstaltung	Modul	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Forschungsprojekt Verarbeitung natürlicher Sprachen	INF-PM-FPG	8P/PB	Prof. Vogler	ThI	P	ZVZ	ZVZ	AVO
Praktikum Haskell für NLP	INF-04-KP, INF-B-510, INF-B-520, INF-D-940, INF-MA-PR	0/0/4, 0/0/8	Prof. Vogler, Dipl.-Inf. Dietze	ThI	P	Dienstag	2., 3.	INF/E042	wöch.