Timetable in Summer Term 2017
Aus International Center for Computational Logic
Timetable in Summer Term 2017
This section contains useful information for students who enrolled in 2016 or before, only. Students who will enroll in 2017 or later are referred to the website of the faculty.
Please note that this timetable is still liable to change.
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| DS 1: 07.30-09.00 |
FCDS (t) | ||||
| DS 2: 09.20-10.50 |
FSWT (t)
FCDS (t) |
SSAA (l) | FSWT (l) | AL (l)
CBSE (l) |
AL (t) |
| DS 3: 11.10-12.40 |
TCS (s) | SSAA (l)
SCII (l) WSN (l) |
FSWT (l) | AL (l) | SSTLV (s) |
| DS 4: 13.00-14.30 |
PME (l/t/s) | PGMC (t) | LM (s) | SS (l)
WSN (t) |
PSS (l) |
| DS 5: 14.50-16.20 |
PGTCS (s)
Open House |
PSS (t) | FDL (t) | SCII (t)
IWA (l) SS (l/t) |
LCMAV (t)
CBSE (t) |
| DS 6: 16.40-18.10 |
KRR (s) | FDL (t) | DS (l/t) | IWA (l) | |
| DS 7: 18.30-20.00 |
Location:
In general, the classes are held in APB E005.
The KRR-seminar will be held in APB 2026 from May.
Information on the CSE-module courses can be found on the faculty web page.
For the SSAA course you may contact Prof. Schroeder.
Abbreviations
Courses
| AL | Advanced Logics (Baier) | |
| CBSE | Component-Based Software Engineering (Assmann/Götz) | |
| DS | Deduction Systems (Rudolph) | |
| FCDS | Foundations of Concurrent and Distributed Systems (Fetzer) | |
| FDL | Fuzzy Description Logic (Turhan) | |
| FSWT | Foundations of Semantic Web Technologies (Rudolph) | |
| IWA | Internet & Web Applications (Schill) | |
| KRR | Knowledge Representation and Reasoning (Hölldobler) | |
| LCMAV | Lab Course Modeling and Automated Verification (Baier) | |
| LM | Logical Modeling (Rudolph) | |
| PGMC | Project Group (Baier) | |
| PGTCS | Project Group Theoretical Computer Science (Turhan) | |
| PSS | Problem Solving and Search in AI (Gaggl) | |
| PME | Programming Machine Ethics (Hölldobler) | |
| SCII | Security & Cryptography (Köpsell) | |
| SS | SAT Solving (Hölldobler) | |
| SSTLV | Seminar Selected Topics in Logics and Verification (Baier) | |
| SSAA | Semantic Search: Algorithms and Applications (Schroeder) | |
| TCS | Theoretical Computer Science (Turhan) | |
| WSN | Wireless Sensor Networks (Dargie) | |
| l, t, s | Lecture, tutorial and seminar, respectively |
Other Events
| GK | Talks within the DFG Research Training Group | |
| Open House | Students and lecturers meet for open discussions | |
| Projects | Students are invited to contact the supervisor of their project to arrange meetings |
Kategorie:
- MCL
