Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Design and Analysis of Petri Nets
|
MCL-TCSL
|
1/1/0
|
Dr. Nauber
|
ThI
|
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
|
Lab Course Modeling and Automated Verification
|
MCL-PCS
|
0/2/0
|
Dr. Klüppelholz
|
ThI
|
Project Group Model Checking
|
MCL-P
|
0/0/4
|
Dr. Klüppelholz
|
ThI
|
Seminar Selected Topics in Logic and Verification
|
INF-04-HS, INF-AQUA, INF-D-940, MCL-PCS
|
0/2/0
|
Dr. Klüppelholz
|
ThI
|
Tutorial Logic Programming Engineering
|
MCL-LCP
|
0/2/0
|
Dr. Nauber
|
ThI
|
Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
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
|
Formale Systeme
|
INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS
|
4/2/0
|
Prof. Baader
|
ThI
|
Forschungsprojekt Theoretical Computer Science
|
INF-PM-FPG
|
8P/PB
|
Prof. Baader
|
ThI
|
Hauptseminar Theoretische Informatik
|
INF-04-HS
|
0/2/0
|
Dr. Turhan
|
ThI
|
Informatik für Biologen
|
INF-LE-BIO
|
2/1/0
|
Dr. Sturm
|
ThI
|
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
|
Project Group Theoretical Computer Science
|
MCL-P
|
0/0/4
|
Dr. Penaloza
|
ThI
|
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
|
Seminar Theoretical Computer Science
|
INF-AQUA, INF-D-940, MCL-PCS, MCL-PI, MCL-TCSL
|
0/2/0
|
Dr. Turhan
|
ThI
|
Lehrveranstaltung
|
Modul
|
SWS
|
Dozent
|
Institut
|
Advanced Topics on Weighted Tree Automata
|
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6
|
2/2/0
|
Prof. Vogler
|
ThI
|
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
|
Forschungsprojekt Verarbeitung natürlicher Sprachen
|
INF-PM-FPG
|
8P/PB
|
Prof. Vogler
|
ThI
|
Maschinelles Übersetzen natürlicher Sprachen
|
INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6
|
4/2/0
|
Prof. Vogler
|
ThI
|
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
|
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
|
Seminar Reading Group Weighted Tree Automata
|
INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940
|
0/2/0
|
Prof. Vogler, Dipl.-Inf. Osterholzer
|
ThI
|