Wintersemester 2013/14

Version vom 29.11.2013

Institut für Theoretische Informatik

Algebraische und logische Grundlagen der Informatik


Lehrveranstaltung
 Modul
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Design and Analysis of Petri Nets

 MCL-TCSL

 1/1/0

 Dr. Nauber

 ThI

 V
U
 Dienstag
Dienstag
 2.
2.
 INF/E005
INF/E005
 2. Wo.
1. Wo.
Komplexpraktikum Model Checking
 INF-04-KP, INF-04-P, INF-MA-PR, IST-05-KP
 0/0/4, 0/0/8
 Dr. Klüppelholz
 ThI
 P
 ZVZ
 ZVZ
 AVO
Lab Course Modeling and Automated Verification
 MCL-PCS
 0/2/0
 Dr. Klüppelholz
 ThI
 U
 Donnerstag
 1.
 INF/E005
 1. Wo.
Project Group Model Checking
 MCL-P
 0/0/4
 Dr. Klüppelholz
 ThI
 P
 ZVZ
 ZVZ
 AVO
Seminar Selected Topics in Logic and Verification
 INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS
 0/2/0
 Dr. Klüppelholz
 ThI
 U
 Donnerstag
 1.
 INF/E005
 1. Wo.
Tutorial Logic Programming Engineering
 MCL-LCP
 0/2/0
 Dr. Nauber
 ThI
 U
 Mittwoch
 1.
 INF/E005
 wöch.

Automatentheorie


Lehrveranstaltung
 Modul
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Description Logic


 INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-PI, MCL-TCSL


 4/2/0


 Dr. Penaloza


 ThI


 V
V
U
 Dienstag
Donnerstag
Mittwoch
 6.
6.
5.
 INF/E005
INF/E005
INF/E005
 wöch.
wöch.
wöch.
Formale Systeme













 INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS













 4/2/0













 Prof. Baader













 ThI













 V
V
U
U
U
U
U
U
U
U
U
U
U
U
 Montag
Donnerstag
Montag
Montag
Montag
Dienstag
Dienstag
Mittwoch
Mittwoch
Donnerstag
Freitag
Freitag
Freitag
Freitag
 3.
4.
1.
2.
5.
1.
2.
1.
6.
1.
2.
3.
3.
5.
 HSZ/0002
HSZ/0003
INF/E008
PHY/C118
BZW/A152
INF/E008
INF/E001
INF/E001
INF/E009
INF/E008
INF/E008
BAR/218
INF/E006
INF/E010
 wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
Forschungsprojekt Theoretical Computer Science
 INF-PM-FPG
 8P/PB
 Prof. Baader
 ThI
 V
 ZVZ
 ZVZ
 AVO
Hauptseminar Theoretische Informatik
 INF-04-HS
 0/2/0
 Dr. Turhan
 ThI
 U
 Montag
 2.
 INF/E001
 wöch.
Informatik für Biologen


 INF-LE-BIO


 2/1/0


 Dr. Sturm


 ThI


 V
U
U
 Dienstag
Mittwoch
Mittwoch
 2.
3.
4.
 HSZ/0403
INF/E010
INF/E008
 wöch.
wöch.
wöch.
Komplexpraktikum Theoretische Informatik
 INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2
 0/0/4, 0/0/8
 Prof. Baader
 ThI
 P
 ZVZ
 ZVZ
 AVO
Project Group Theoretical Computer Science
 MCL-P
 0/0/4
 Dr. Penaloza
 ThI
 P
 ZVZ
 ZVZ
 AVO
Proseminar Ausgewählte Themen der Theoretischen Informatik
 INF-B-510, INF-B-520, INF-B-610, INF-D-520
 0/2/0
 Dr. Sturm
 ThI
 U
 ZVZ
 ZVZ
 AVO
Seminar Theoretical Computer Science
 INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL
 0/2/0
 Dr. Turhan
 ThI
 U
 Freitag
 5.
 AVO
 wöch.

Grundlagen der Programmierung


Lehrveranstaltung
 Modul
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Advanced Topics on Weighted Tree Automata

 INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, INF-BAS2, INF-VERT2

 2/2/0

 Prof. Vogler

 ThI

 V
U
 Montag
Donnerstag
 4.
3.
 INF/E009
INF/E007
 wöch.
wöch.
Algorithmen und Datenstrukturen


















 INF-B-210, INF-D-210, INF-LE-EUI, INF-LE-GEO, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-02, INF-SEMS-INF-02, IST-05-PF-GS, MATH-BA-INFA, MATH-MA-INFADS


















 2/2/0


















 Prof. Vogler


















 ThI


















 V
U
U
U
U
U
U
U
U
U
U
U
U
U
U
U
U
U
U
 Freitag
Montag
Montag
Montag
Montag
Dienstag
Dienstag
Dienstag
Dienstag
Mittwoch
Mittwoch
Mittwoch
Mittwoch
Donnerstag
Donnerstag
Donnerstag
Freitag
Freitag
Freitag
 2.
2.
4.
5.
6.
1.
2.
6.
6.
1.
4.
5.
6.
1.
5.
6.
1.
4.
5.
 HSZ/AUDI
INF/E008
SCH/A184
BZW/B101
POT/0351
WIL/C104
INF/E008
PHY/C118
SE2/0103
BZW/B101
INF/E007
GER/0009
INF/E023
WIL/C106
INF/E008
BZW/A152
WIL/C102
INF/E009
SE2/0103
 wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
wöch.
Forschungsprojekt Verarbeitung natürlicher Sprachen
 INF-PM-FPG
 8P/PB
 Prof. Vogler
 ThI
 V
 ZVZ
 ZVZ
 AVO
Maschinelles Übersetzen natürlicher Sprachen


 INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, INF-BAS2, INF-VERT2


 4/2/0


 Prof. Vogler


 ThI


 V
V
U
 Montag
Mittwoch
Donnerstag
 3.
3.
2.
 INF/E010
INF/E007
INF/E007
 wöch.
wöch.
wöch.
Proseminar Natural Language Processing
 INF-B-510, INF-B-520, INF-B-610, INF-D-520
 0/2/0
 Prof. Vogler, Dipl.-Inf. Dietze
 ThI
 U
 ZVZ
 ZVZ
 AVO
Reading Group Weighted Tree Automata
 INF-PM-FPG
 8P/PB
 Prof. Vogler, Dipl.-Inf. Osterholzer
 ThI
 V
 ZVZ
 ZVZ
 AVO
Seminar Natural Language Processing
 INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940
 0/2/0
 Prof. Vogler, Dipl.-Inf. Dietze
 ThI
 U
 ZVZ
 ZVZ
 AVO


Wintersemester 2013/14