Wintersemester 2013/14

Version vom 29.11.2013

MCL-AL Advanced Logics

Modulverantwortlicher: Prof. Baier

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

Im WS 2013/14 werden in diesem Modul keine Veranstaltungen angeboten.

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
Design Patterns and Frameworks

 2/2/0

 Prof. Aßmann

 SMT

 V
U
 Dienstag
Mittwoch
 5.
3.
 INF/E023
INF/E023
 wöch.
wöch.
Distributed Systems

 2/2/0

 Prof. Schill

 SyA

 V
U
 Donnerstag
Dienstag
 6.
2.
 BAR/0106
INF/E023
 wöch.
wöch.
Mobile Communication and Mobile Computing
 2/0/0
 Prof. Schill
 SyA
 V
 Donnerstag
 4.
 INF/E023
 wöch.
Security and Cryptography I
 2/2/0
 Dr. Köpsell
 SyA
 V
 Donnerstag
 2., 3.
 INF/E023
 wöch.
Transactional Information Systems

 2/2/0

 Prof. Lehner

 SyA

 V
U
 Montag
Mittwoch
 4.
5.
 INF/E023
AVO
 wöch.
wöch.

MCL-F Foundations

Modulverantwortlicher: Prof. Hölldobler

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Logic



 2/2/0



 Prof. Hölldobler



 KI



 V
V
U
U
 Montag
Donnerstag
Dienstag
Donnerstag
 5.
4.
3.
2.
 INF/E005
INF/E005
INF/E005
INF/E005
 wöch. (Okt. 2013 - Nov. 2013)
wöch. (Okt. 2013 - Nov. 2013)
wöch. (Okt. 2013 - Nov. 2013)
wöch. (Okt. 2013 - Nov. 2013)
Science of Computational Logic



 2/2/0



 Prof. Hölldobler



 KI



 V
V
U
U
 Montag
Donnerstag
Dienstag
Donnerstag
 5.
4.
3.
2.
 INF/E005
INF/E005
INF/E005
INF/E005
 wöch. (Dez. 2013 - Feb. 2014)
wöch. (Dez. 2013 - Feb. 2014)
wöch. (Dez. 2013 - Feb. 2014)
wöch. (Dez. 2013 - Feb. 2014)

MCL-ILS Integrated Logic Systems

Modulverantwortlicher: Dr. Schröder

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

Im WS 2013/14 werden in diesem Modul keine Veranstaltungen angeboten.

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
Existential Rules

 2/2/0

 Prof. Rudolph

 KI

 V
U
 Freitag
Freitag
 4.
5.
 INF/E005
INF/E005
 wöch.
wöch.
Introduction to Formal Concept Analysis

 2/2/0

 Prof. Rudolph

 KI

 V
U
 Mittwoch
Montag
 2.
2.
 INF/E005
INF/E005
 wöch.
wöch.
Knowledge Representation and Reasoning
 0/2/0
 Prof. Hölldobler
 KI
 U
 Mittwoch
 6.
 INF/E005
 wöch.
SAT Solving

 2/2/0

 Prof. Hölldobler

 KI

 V
U
 Mittwoch
Freitag
 3.
2.
 INF/E005
INF/E005
 wöch.
wöch.
Seminar Abstract Argumentation
 0/2/0
 Dr. Gaggl
 KI
 U
 Freitag
 3.
 INF/E005
 wöch.

MCL-LCP Logic and Constraint Programming

Modulverantwortlicher: N.N.

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:


Lehrveranstaltung
 SWS
 Dozent
 Institut
 Art
 Tag
 DS
 Raum
 Woche
Foundations of Constraint Programming
 1/1/0
 Prof. Rudolph
 KI
 V
 Donnerstag
 3.
 INF/E005
 wöch.
Foundations of Logic Programming

 2/1/0

 Prof. Rudolph

 KI

 V
U
 Montag
Montag
 3.
4.
 INF/E005
INF/E005
 wöch.
2. Wo.
Tutorial Logic Programming Engineering
 0/2/0
 Dr. Nauber
 ThI
 U
 Mittwoch
 1.
 INF/E005
 wöch.

MCL-MV Modeling and Verification

Modulverantwortlicher: Prof. Baier

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

Im WS 2013/14 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 WS 2013/14 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
 AVO
Project Group Computational Logic
 0/0/4
 Prof. Rudolph
 KI
 P
 ZVZ
 ZVZ
 AVO
Project Group Knowledge Representation and Reasoning
 0/0/4
 Prof. Hölldobler
 KI
 P
 ZVZ
 ZVZ
 AVO
Project Group Model Checking
 0/0/4
 Dr. Klüppelholz
 ThI
 P
 ZVZ
 ZVZ
 AVO
Project Group Theoretical Computer Science
 0/0/4
 Dr. Penaloza
 ThI
 P
 ZVZ
 ZVZ
 AVO

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
 U
 Mittwoch
 6.
 INF/E005
 wöch.
Seminar Abstract Argumentation
 0/2/0
 Dr. Gaggl
 KI
 U
 Freitag
 3.
 INF/E005
 wöch.
Academic Skills in Computer Science

 2/2/0

 Prof. Hölldobler, Prof. Aßmann

 KI, SMT

 V
U
 Mittwoch
Donnerstag
 4.
5.
 INF/E005
INF/E005
 wöch.
wöch.
Lab Course Modeling and Automated Verification
 0/2/0
 Dr. Klüppelholz
 ThI
 U
 Donnerstag
 1.
 INF/E005
 1. Wo.
Seminar Selected Topics in Logic and Verification
 0/2/0
 Dr. Klüppelholz
 ThI
 U
 Donnerstag
 1.
 INF/E005
 1. Wo.
Seminar Theoretical Computer Science
 0/2/0
 Dr. Turhan
 ThI
 U
 Freitag
 5.
 AVO
 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
Existential Rules

 2/2/0

 Prof. Rudolph

 KI

 V
U
 Freitag
Freitag
 4.
5.
 INF/E005
INF/E005
 wöch.
wöch.
Introduction to Formal Concept Analysis

 2/2/0

 Prof. Rudolph

 KI

 V
U
 Mittwoch
Montag
 2.
2.
 INF/E005
INF/E005
 wöch.
wöch.
Knowledge Representation and Reasoning
 0/2/0
 Prof. Hölldobler
 KI
 U
 Mittwoch
 6.
 INF/E005
 wöch.
SAT Solving

 2/2/0

 Prof. Hölldobler

 KI

 V
U
 Mittwoch
Freitag
 3.
2.
 INF/E005
INF/E005
 wöch.
wöch.
Description Logic


 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.
Seminar Theoretical Computer Science
 0/2/0
 Dr. Turhan
 ThI
 U
 Freitag
 5.
 AVO
 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
Description Logic


 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.
Design and Analysis of Petri Nets

 1/1/0

 Dr. Nauber

 ThI

 V
U
 Dienstag
Dienstag
 2.
2.
 INF/E005
INF/E005
 2. Wo.
1. Wo.
Seminar Theoretical Computer Science
 0/2/0
 Dr. Turhan
 ThI
 U
 Freitag
 5.
 AVO
 wöch.


Wintersemester 2013/14