MCL/Timetable/WS2016/en: Difference between revisions
From International Center for Computational Logic
Sibylle Möhle (talk | contribs) No edit summary |
Sibylle Möhle (talk | contribs) No edit summary |
||
| Line 131: | Line 131: | ||
<td>'''DL'''</td> | <td>'''DL'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[ | <td>'''[[Description_Logics_(WS2016)/en|Description Logics]]''' [''[[Anni-Yasmin_Turhan/en|Turhan]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
Revision as of 13:25, 13 October 2016
Timetable in Winter Term 2016/17
Please note that this timetable is still liable to change.
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| DS 1: 07.30 - 09.00 |
|||||
| DS 2: 09.20 - 10.50 |
AA (s) | DS (t) LPE (t) |
IFCA (t) | SC (l) MC (l/t) |
MC (l/t) |
| DS 3: 11.10 - 12.40 |
DL (t) | LPE (t) | FLP (l) | SC (l) MC (l/t) |
MC (l/t) |
| DS 4: 13.00 - 14.30 |
TIS (l) L (l) |
TIS (t) ICCL Colloquium |
FCP (l/t) | MCC (l) CL (l) |
HR (t) |
| DS 5: 14.50 - 16.20 |
Open House TCS (t) |
DPF (t) L (t) in APB 2026 ICCL Colloquium |
HR (l) | DS (l) CL (t) |
PPAB (s) |
| DS 6: 16.40 - 18.10 |
KRR (s) | DL (l) | IFCA (l) | DL (l) | FLP (t)** |
| DS 7: 18.30 - 20.00 |
German * | German * |
Location: In general the classes are held in room APB E005. Only the classes written in bold are held in APB E023.
*German language course is offered by TUDIAS. Information about the registration will be given in the introductory week.
**FLP (t) is held every fortnight.
Abbreviations
Courses
| AA | Seminar Abstract Argumentation [Gaggl] | |
| CL | Science of CL [Hölldobler] | |
| DL | Description Logics [Turhan] | |
| IFCA | Introduction to Formal Concept Analysis [Rudolph] | |
| HR | Human Reasoning and Computational Logic [Hölldobler] | |
| KRR | Knowledge Representation and Reasoning [Hölldobler] | |
| LM | Logical Modeling [Rudolph] | |
| L | Logic [Hölldobler] | |
| LPE | LP Engeneering [Klüppelholz] | |
| FLP | Foundations of Logic Programming [Rudolph] | |
| FCP | Foundations of Constraint Programming [Rudolph] | |
| MC | Model Checking [Baier, Klüppelholz] | |
| PPAB | Practical Plannings for Angry Birds [Rudolph] | |
| TCS | Theoretical Computer Science [Turhan] | |
| DS | Distributed Systems [Schill] | |
| MCC | Mobile Communication and Mobile Computation [Schill] | |
| TIS | Transactional Information Systems [Lehner] | |
| SC | Security & Cryptography I [Strufe] | |
| DPF | Design Patterns and Frameworks [Assmann] | |
| l, t, s | Lecture, tutorial and seminar, respectively |
Other Events
| Open House | Students and lecturers meet for open discussions | |
| Projects | Students are invited to contact the supervisor of their project to arrange meetings |
