Wintersemester 2013/14

Version vom 21.11.2013


Institut für Theoretische Informatik

Algebraische und logische Grundlagen der Informatik


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

Automatentheorie


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

Grundlagen der Programmierung


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, INF-BAS2, INF-VERT2
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, INF-BAS2, INF-VERT2
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



Wintersemester 2013/14