MCL/Timetable/WS2016/en: Difference between revisions
From International Center for Computational Logic
Serge Stratan (talk | contribs) No edit summary |
Serge Stratan (talk | contribs) No edit summary |
||
| Line 119: | Line 119: | ||
<td>'''AA'''</td> | <td>'''AA'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Seminar_Abstract_Argumentation_%28WS2016%29/en|Seminar Abstract Argumentation]]''' ''[[Sarah_Alice_Gaggl|Gaggl]]''</td> | <td>'''[[Seminar_Abstract_Argumentation_%28WS2016%29/en|Seminar Abstract Argumentation]]''' [''[[Sarah_Alice_Gaggl|Gaggl]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''CL'''</td> | <td>'''CL'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Science_of_Computational_Logic_%28WS2016%29/en|Science of CL]]''' ''[[Steffen_Hölldobler|Hölldobler]]''</td> | <td>'''[[Science_of_Computational_Logic_%28WS2016%29/en|Science of CL]]''' [''[[Steffen_Hölldobler|Hölldobler]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''DS'''</td> | <td>'''DS'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Description_Logic_%28WS2016%29/en|Description Logic]]''' ''[[Anni-Yasmin_Turhan/en|Turhan]]''</td> | <td>'''[[Description_Logic_%28WS2016%29/en|Description Logic]]''' [''[[Anni-Yasmin_Turhan/en|Turhan]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''IFCA'''</td> | <td>'''IFCA'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Introduction_to_Formal_Concept_Analysis_%28WS2016%29/en|Introduction to Formal Concept Analysis]]''' ''[[Sebastian_Rudolph/en|Rudolph]]''</td> | <td>'''[[Introduction_to_Formal_Concept_Analysis_%28WS2016%29/en|Introduction to Formal Concept Analysis]]''' [''[[Sebastian_Rudolph/en|Rudolph]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''HR'''</td> | <td>'''HR'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Human_Reasoning_and_Computational_Logic_(WS2016)/en|Human Reasoning and Computational Logic]]''' ''[[Steffen_Hölldobler|Hölldobler]]''</td> | <td>'''[[Human_Reasoning_and_Computational_Logic_(WS2016)/en|Human Reasoning and Computational Logic]]''' [''[[Steffen_Hölldobler|Hölldobler]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''KRR'''</td> | <td>'''KRR'''</td> | ||
<td style="width: 20px"></td> | <td style="width: 20px"></td> | ||
<td>'''[[Knowledge_Representation_and_Reasoning_Seminar_(WS2016)/en|Knowledge Representation and Reasoning]]''' ''[[Steffen_Hölldobler|Hölldobler]]''</td> | <td>'''[[Knowledge_Representation_and_Reasoning_Seminar_(WS2016)/en|Knowledge Representation and Reasoning]]''' [''[[Steffen_Hölldobler|Hölldobler]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''LM'''</td> | <td>'''LM'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Logical_Modeling_(WS2016)/en|Logical Modeling]]''' ''[[Sebastian_Rudolph/en|Rudolph]]''</td> | <td>'''[[Logical_Modeling_(WS2016)/en|Logical Modeling]]''' [''[[Sebastian_Rudolph/en|Rudolph]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''L'''</td> | <td>'''L'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Logic_(WS2016)/en|Logic]]''' ''[[Steffen_Hölldobler|Hölldobler]]''</td> | <td>'''[[Logic_(WS2016)/en|Logic]]''' [''[[Steffen_Hölldobler|Hölldobler]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''LPE'''</td> | <td>'''LPE'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[http://www.inf.tu-dresden.de/index.php?node_id=3770&ln=en LP Engeneering]''' ''[https://wwwtcs.inf.tu-dresden.de/~klueppel/ Klüppelholz]''</td> | <td>'''[http://www.inf.tu-dresden.de/index.php?node_id=3770&ln=en LP Engeneering]''' [''[https://wwwtcs.inf.tu-dresden.de/~klueppel/ Klüppelholz]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''FLP'''</td> | <td>'''FLP'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Foundations_of_Logic_Programming_(WS2016)/en|Foundations of Logic Programming]]''' ''[[Sebastian_Rudolph/en|Rudolph]]''</td> | <td>'''[[Foundations_of_Logic_Programming_(WS2016)/en|Foundations of Logic Programming]]''' [''[[Sebastian_Rudolph/en|Rudolph]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''FCP'''</td> | <td>'''FCP'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Foundations_of_Constraint_Programming_(WS2016)/en|Foundations of Constraint Programming]]''' ''[[Sebastian_Rudolph/en|Rudolph]]''</td> | <td>'''[[Foundations_of_Constraint_Programming_(WS2016)/en|Foundations of Constraint Programming]]''' [''[[Sebastian_Rudolph/en|Rudolph]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''MC'''</td> | <td>'''MC'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[http://www.inf.tu-dresden.de/index.php?node_id=3771&ln=en Model Checking]''' ''[http://www.inf.tu-dresden.de/index.php?node_id=1438 Baader]'', ''[https://wwwtcs.inf.tu-dresden.de/~klueppel/ Klüppelholz]''</td> | <td>'''[http://www.inf.tu-dresden.de/index.php?node_id=3771&ln=en Model Checking]''' [''[http://www.inf.tu-dresden.de/index.php?node_id=1438 Baader]'', ''[https://wwwtcs.inf.tu-dresden.de/~klueppel/ Klüppelholz]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''PPAB'''</td> | <td>'''PPAB'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[[Practical_Planning_for_Angry_Birds_(WS2016)/en|Practical Plannings for Angry Birds]]''' ''[[Sebastian_Rudolph/en|Rudolph]]''</td> | <td>'''[[Practical_Planning_for_Angry_Birds_(WS2016)/en|Practical Plannings for Angry Birds]]''' [''[[Sebastian_Rudolph/en|Rudolph]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''TCS'''</td> | <td>'''TCS'''</td> | ||
<td></td> | <td></td> | ||
<td>Theretical Computer Science ''[[Anni-Yasmin_Turhan/en|Turhan]]''</td> | <td>Theretical Computer Science [''[[Anni-Yasmin_Turhan/en|Turhan]]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''DS'''</td> | <td>'''DS'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=24 Distributed Systems]''' ''[http://www.inf.tu-dresden.de/index.php?node_id=588&ln=en Schill]''</td> | <td>'''[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=24 Distributed Systems]''' [''[http://www.inf.tu-dresden.de/index.php?node_id=588&ln=en Schill]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''MCC'''</td> | <td>'''MCC'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=16 Mobile Communication and Mobile Computation]''' ''[http://www.inf.tu-dresden.de/index.php?node_id=588&ln=en Schill]''</td> | <td>'''[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=16 Mobile Communication and Mobile Computation]''' [''[http://www.inf.tu-dresden.de/index.php?node_id=588&ln=en Schill]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''TIS'''</td> | <td>'''TIS'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=16 Transactional Information Systems]''' ''[https://wwwdb.inf.tu-dresden.de/team/head/wolfgang-lehner/ Lehner]''</td> | <td>'''[http://www.inf.tu-dresden.de/index.php?node_id=2568&ln=en&lv_id=16 Transactional Information Systems]''' [''[https://wwwdb.inf.tu-dresden.de/team/head/wolfgang-lehner/ Lehner]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''SC'''</td> | <td>'''SC'''</td> | ||
<td></td> | <td></td> | ||
<td>'''[https://tu-dresden.de/ing/informatik/sya/ps/studium/lectures/sac-i Security & Cryptography I]''' ''[https://tu-dresden.de/ing/informatik/sya/ps/die-professur/inhaber-in Strufe]''</td> | <td>'''[https://tu-dresden.de/ing/informatik/sya/ps/studium/lectures/sac-i Security & Cryptography I]''' [''[https://tu-dresden.de/ing/informatik/sya/ps/die-professur/inhaber-in Strufe]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td>'''DPF'''</td> | <td>'''DPF'''</td> | ||
<td></td> | <td></td> | ||
<td>Design Patterns and Frameworks ''[http://www1.inf.tu-dresden.de/~ua1/ Assmann]''</td> | <td>Design Patterns and Frameworks [''[http://www1.inf.tu-dresden.de/~ua1/ Assmann]'']</td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
Revision as of 21:26, 17 September 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 (t) | 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] | |
| DS | Description Logic [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 [Baader, Klüppelholz] | |
| PPAB | Practical Plannings for Angry Birds [Rudolph] | |
| TCS | Theretical 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 |
