Latest revision as of 15:41, 17 July 2020

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) SCL (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) SCL (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]
SCL		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]
L		Logic [Hölldobler]
LPE		LP Engineering [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

Download the Timetable as PDF

@@ Line 15: / Line 15: @@
 <li>[[MCL/Timetable/WS2016/en|Timetable]]</li>
+<li>[[MCL/CurrentStudents/en#Open_House|Open House]]</li>
 <li>[[MCL/Social_Events/en|Social Events]]</li>
@@ Line 30: / Line 32: @@
 <li>[[MCL/Guests_Events/en|Guests and Events]]</li>
-<li>[[MCL/Internals/en|Internals]]</li>
+<!-- <li>[[MCL/Internals/en|Internals]]</li> -->
 </ul>
@@ Line 50: / Line 52: @@
     </tr>
     <tr>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; text-align:left">DS 1:<br/>07.30-09.00</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; text-align:left">DS 1:<br/>07.30 - 09.00</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
@@ Line 58: / Line 60: @@
     </tr>
     <tr>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; text-align:left">DS 2:<br/>09.20-10.50</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; text-align:left">DS 2:<br/>09.20 - 10.50</td>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">AA (t)</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">AA (s)</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">'''DS (t)''' <hr style="margin-top: 5px!important;margin-bottom: 5px!important;"> LPE (t)</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">IFCA (t)</td>
@@ Line 66: / Line 68: @@
     </tr>
     <tr>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align:left">DS 3:<br/>11.10-12.40</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align:left">DS 3:<br/>11.10 - 12.40</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">DL (t)</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">LPE (t)</td>
@@ Line 74: / Line 76: @@
     </tr>
     <tr>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align: left">DS 4:<br/>13.00-14.30</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align: left">DS 4:<br/>13.00 - 14.30</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">'''TIS (l)''' <hr style="margin-top: 5px!important;margin-bottom: 5px!important;"> L (l)</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">'''TIS (t)''' <hr style="margin-top: 5px!important;margin-bottom: 5px!important;"> ICCL Colloquium</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">FCP (l/t)</td>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">'''MCC (l)''' <hr style="margin-top: 5px!important;margin-bottom: 5px!important;">CL (l)</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">'''MCC (l)''' <hr style="margin-top: 5px!important;margin-bottom: 5px!important;">SCL (l)</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">HR (t)</td>
     </tr>
     <tr>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align: left">DS 5:<br/>14.50-16.20</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align: left">DS 5:<br/>14.50 - 16.20</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Open House <hr style="margin-top: 5px!important;margin-bottom: 5px!important;"> TCS (t)</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">'''DPF (t)''' <hr style="margin-top: 5px!important;margin-bottom: 5px!important;"> L (t) in APB 2026 <hr style="margin-top: 5px!important;margin-bottom: 5px!important;"> ICCL Colloquium</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">HR (l)</td>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">'''DS (l)''' <hr style="margin-top: 5px!important;margin-bottom: 5px!important;"> CL (t)</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">'''DS (l)''' <hr style="margin-top: 5px!important;margin-bottom: 5px!important;"> SCL (t)</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">PPAB (s)</td>
     </tr>
     <tr>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align: left">DS 6:<br/>16.40-18.10</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align: left">DS 6:<br/>16.40 - 18.10</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">KRR (s)</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">DL (l)</td>
@@ Line 98: / Line 100: @@
     </tr>
     <tr>
-       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align: left">DS 7:<br/>18.30-20.00</td>
+       <td style="padding-top:3px; padding-left:3px; padding-right:3px; background-color: #cccccc; text-align: left">DS 7:<br/>18.30 - 20.00</td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
        <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
@@ Line 122: / Line 124: @@
     </tr>
     <tr>
-       <td>'''CL'''</td>
+       <td>'''SCL'''</td>
        <td></td>
        <td>'''[[Science_of_Computational_Logic_%28WS2016%29/en|Science  of  CL]]''' [''[[Steffen_Hölldobler|Hölldobler]]'']</td>
     </tr>
     <tr>
-       <td>'''DS'''</td>
+       <td>'''DL'''</td>
        <td></td>
-       <td>'''[[Description_Logic_%28WS2016%29/en|Description  Logic]]''' [''[[Anni-Yasmin_Turhan/en|Turhan]]'']</td>
+       <td>'''[[Description_Logics_(WS2016)/en|Description  Logics]]''' [''[[Anni-Yasmin_Turhan/en|Turhan]]'']</td>
     </tr>
     <tr>
@@ Line 145: / Line 147: @@
        <td style="width: 20px"></td>
        <td>'''[[Knowledge_Representation_and_Reasoning_Seminar_(WS2016)/en|Knowledge  Representation and Reasoning]]''' [''[[Steffen_Hölldobler|Hölldobler]]'']</td>
-   </tr>
-   <tr>
-      <td>'''LM'''</td>
-      <td></td>
-      <td>'''[[Logical_Modeling_(WS2016)/en|Logical Modeling]]''' [''[[Sebastian_Rudolph/en|Rudolph]]'']</td>
     </tr>
     <tr>
@@ Line 159: / Line 156: @@
        <td>'''LPE'''</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  Engineering]''' [''[https://wwwtcs.inf.tu-dresden.de/~klueppel/ Klüppelholz]'']</td>
     </tr>
     <tr>
@@ Line 174: / Line 171: @@
        <td>'''MC'''</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 Baier]'', ''[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]''' [''[https://wwwtcs.inf.tu-dresden.de/~baier/ Baier]'', ''[https://wwwtcs.inf.tu-dresden.de/~klueppel/ Klüppelholz]'']</td>
     </tr>
     <tr>
@@ Line 184: / Line 181: @@
        <td>'''TCS'''</td>
        <td></td>
-       <td>Theretical  Computer  Science [''[[Anni-Yasmin_Turhan/en|Turhan]]'']</td>
+       <td>Theoretical  Computer  Science [''[[Anni-Yasmin_Turhan/en|Turhan]]'']</td>
     </tr>
     <tr>
@@ Line 217: / Line 214: @@
     </tr>
 </table>
 === Other Events ===
@@ Line 231: / Line 229: @@
     </tr>
 </table>
+'''[https://iccl.inf.tu-dresden.de/w/images/9/9e/TimetableWS2016-17.pdf Download the Timetable as PDF]'''
 &nbsp;
 }}
+[[Kategorie:MCL]]

MCL/Timetable/WS2016/en: Difference between revisions

Latest revision as of 15:41, 17 July 2020

Timetable in Winter Term 2016/17

Abbreviations

Courses

Other Events