Stundenplan Sommersemester 2014

Version vom 13.05.2014

MCL-AL Advanced Logics

Modulverantwortlicher: Prof. Baier

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Advanced Logics: Model Checking
 4/2/0
 Prof. Baier
 ThI
 V
 ZVZ
 ZVZ
 AVO

MCL-CSE Computer Science Engineering

Modulverantwortlicher: Fakultät Informatik

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Component Based Software Engineering

 2/2/0

 Prof. Aßmann

 SMT

 V
U
 Mittwoch
Freitag
 2.
5.
 INF/E023
INF/E023
 wöch.
wöch.
Foundations of Concurrent and Distributed Systems

 4/0/0

 Prof. Fetzer

 SyA

 V
V
 Dienstag
Dienstag
 1.
2.
 INF/E006
INF/E006
 wöch.
wöch.
Internet and Web Applications
 2/2/0
 Prof. Schill
 SyA
 V
 Donnerstag
 5., 6.
 INF/E023
 wöch.
Security and Cryptography II

 2/2/0

 Dr. Köpsell

 SyA

 V
U
 Dienstag
Donnerstag
 3.
5.
 INF/E008
INF/E001
 wöch.
wöch.
Wireless Sensor Networks

 2/2/0

 Prof. Schill, Dr. Dargie

 SyA

 V
U
 Dienstag
Donnerstag
 3.
2.
 INF/E006
INF/E007
 wöch.
wöch.

MCL-F Foundations

Modulverantwortlicher: Prof. Hölldobler

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

Im SS 2014 werden in diesem Modul keine Veranstaltungen angeboten.

MCL-ILS Integrated Logic Systems

Modulverantwortlicher: Dr. Schröder

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Semantic Search: Algorithms and Applications

 2/2/0

 Prof. Schroeder

 BIOTEC

 V
U
 Mittwoch
Mittwoch
 2.
3.
 INF/E005
INF/E046
 wöch.
wöch.
Deduction Systems
 1/1/0
 Prof. Rudolph
 KI
 V
 Donnerstag
 4.
 INF/E005
 wöch.

MCL-KR Knowledge Representation

Modulverantwortlicher: N.N.

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Applying Deduction Systems
 1/1/0
 Dr. Wernhard
 KI
 V
 Dienstag
 3.
 INF/E005
 wöch.
Foundations of Semantic Web Technologies

 4/2/0

 Prof. Rudolph

 KI

 V
U
 Freitag
Mittwoch
 5., 6.
6.
 INF/E005
INF/E005
 wöch.
wöch.
Knowledge Representation and Reasoning
 0/2/0
 Prof. Hölldobler
 KI
 S
 Montag
 2.
 INF/E005
 wöch.
Natural Language Processing for Knowledge Representation

 2/2/0

 Dr. Thomazo

 KI

 V
U
 Montag
Montag
 3.
4.
 INF/E005
INF/E005
 wöch.
wöch.
Problem Solving and Search in AI

 2/1/0

 Dr. Gaggl

 KI

 V
V
 Montag
Dienstag
 5.
2.
 INF/E005
INF/E005
 wöch.
wöch.
Logical Approach to Physical Data Independence and Query Compilation
 1/1/0
 Prof. Baader, Prof. Toman
 ThI
 V
 Blockveranstaltung
 ZVZ
 AVO

MCL-LCP Logic and Constraint Programming

Modulverantwortlicher: N.N.

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

Im SS 2014 werden in diesem Modul keine Veranstaltungen angeboten.

MCL-MV Modeling and Verification

Modulverantwortlicher: Prof. Baier

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

Im SS 2014 werden in diesem Modul keine Veranstaltungen angeboten.

MCL-NLPA Natural Language Processing and Automata

Modulverantwortlicher: Fakultät Informatik

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

Im SS 2014 werden in diesem Modul keine Veranstaltungen angeboten.

MCL-P Project

Modulverantwortlicher: Fakultät Informatik

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Project Group Semantic Search
 0/0/4
 Prof. Schroeder
 BIOTEC
 P
 ZVZ
 ZVZ
 INF/E005
 wöch.
Project Group Computational Logic
 0/0/4
 Prof. Rudolph
 KI
 P
 ZVZ
 ZVZ
 INF/E005
 wöch.
Project Group Knowledge Representation and Reasoning
 0/0/4
 Prof. Hölldobler
 KI
 P
 ZVZ
 ZVZ
 INF/E005
 wöch.
Project Group Model Checking
 0/0/4
 Prof. Baier, Dr. Klüppelholz
 ThI
 P
 ZVZ
 ZVZ
 AVO
Project Group Theoretical Computer Science
 0/0/4
 Prof. Baader, Dr. Penaloza
 ThI
 P
 ZVZ
 ZVZ
 INF/E005
 wöch.

MCL-PCS Presentation and Communication Skills

Modulverantwortlicher: Fakultät Informatik

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Knowledge Representation and Reasoning
 0/2/0
 Prof. Hölldobler
 KI
 S
 Montag
 2.
 INF/E005
 wöch.
Lab Course Modeling and Automated Verification
 0/2/0
 Prof. Baier, Dr. Klüppelholz
 ThI
 U
 ZVZ
 ZVZ
 AVO
Seminar Selected Topics in Logic and Verification
 0/2/0
 Prof. Baier, Dr. Klüppelholz
 ThI
 U
 Donnerstag
 3.
 AVO
 wöch.
Seminar Theoretical Computer Science
 0/2/0
 Prof. Baader, Dr. Turhan
 ThI
 U
 Montag
 6.
 INF/E005
 wöch.

MCL-PI Principles of Inference

Modulverantwortlicher: Prof. Hölldobler

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Applying Deduction Systems
 1/1/0
 Dr. Wernhard
 KI
 V
 Dienstag
 3.
 INF/E005
 wöch.
Foundations of Semantic Web Technologies

 4/2/0

 Prof. Rudolph

 KI

 V
U
 Freitag
Mittwoch
 5., 6.
6.
 INF/E005
INF/E005
 wöch.
wöch.
Knowledge Representation and Reasoning
 0/2/0
 Prof. Hölldobler
 KI
 S
 Montag
 2.
 INF/E005
 wöch.
Natural Language Processing for Knowledge Representation

 2/2/0

 Dr. Thomazo

 KI

 V
U
 Montag
Montag
 3.
4.
 INF/E005
INF/E005
 wöch.
wöch.
Problem Solving and Search in AI

 2/1/0

 Dr. Gaggl

 KI

 V
V
 Montag
Dienstag
 5.
2.
 INF/E005
INF/E005
 wöch.
wöch.
Logical Approach to Physical Data Independence and Query Compilation
 1/1/0
 Prof. Baader, Prof. Toman
 ThI
 V
 Blockveranstaltung
 ZVZ
 AVO
Seminar Theoretical Computer Science
 0/2/0
 Prof. Baader, Dr. Turhan
 ThI
 U
 Montag
 6.
 INF/E005
 wöch.
Term Rewriting Systems


 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.

MCL-TCSL Theoretical Computer Science and Logic

Modulverantwortlicher: Prof. Baader

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


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

 2/2/0

 Dr. Nauber

 ThI

 V
U
 Mittwoch
Freitag
 4.
4.
 INF/E005
INF/E005
 wöch.
wöch.
Logical Approach to Physical Data Independence and Query Compilation
 1/1/0
 Prof. Baader, Prof. Toman
 ThI
 V
 Blockveranstaltung
 ZVZ
 AVO
Seminar Theoretical Computer Science
 0/2/0
 Prof. Baader, Dr. Turhan
 ThI
 U
 Montag
 6.
 INF/E005
 wöch.
Term Rewriting Systems


 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.


Stundenplan Sommersemester 2014