View source for MCL/Timetable/SS2016/en

{{#leftsidenav:

{{LeftsidenavHeading|Modules}}
<div class="no-toc-head">__TOC__</div>
|

{{Main heading|Timetable in Summer Term 2016}}

Please note that this timetable is still liable to change. 
<br />
<table border=1 style="text-align:center">
   <tr>
      <th style="background-color: #cccccc; width:18%"></th>
      <th style="background-color: #cccccc; width:17%; text-align:center">Mon</th>
      <th style="background-color: #cccccc; width:17%; text-align:center">Tue</th>
      <th style="background-color: #cccccc; width:17%; text-align:center">Wed</th>
      <th style="background-color: #cccccc; width:17%; text-align:center">Thu</th>
      <th style="background-color: #cccccc; width:17%; text-align:center">Fri</th>
   </tr>
   <tr>
      <td style="background-color: #cccccc; text-align:left">&nbsp;DS 1:<br/>&nbsp;07.30 - 09.00</td>
      <td></td>
      <td></td>
      <td></td>
      <td></td>
      <td></td>
   </tr>
   <tr>
      <td style="background-color: #cccccc; text-align:left">&nbsp;DS 2:<br/>&nbsp;09.20 - 10.50</td>
      <td>&nbsp;FoSWT (t)&nbsp;</td>
      <td>&nbsp;ItAS (t)&nbsp;</td>
      <td>&nbsp;FoSWT (l)&nbsp;</td>
      <td>AL (l)</td>
      <td>AL (t)</td>
   </tr>
   <tr>
      <td style="background-color: #cccccc; text-align:left">&nbsp;DS 3:<br/>&nbsp;11.10 - 12.40</td>
      <td>DT (t)</td>
      <td>ATiCT</td>
      <td>FoSWT (l)</td>
      <td>AL (l)</td>
      <td>&nbsp;STiLaV (s)&nbsp;</td>
   </tr>
   <tr>
      <td style="background-color: #cccccc; text-align: left">&nbsp;DS 4:<br/>&nbsp;13.00 - 14.30</td>
      <td>ItAS (l)</td>
      <td>GK</td>
      <td>LM (s)</td>
      <td>DT (l)</td>
      <td>PSaSiA (l)</td>
   </tr>
   <tr>
      <td style="background-color: #cccccc; text-align: left">&nbsp;DS 5:<br/>&nbsp;14.50 - 16.20</td>
      <td>ATiCT</td>
      <td>GK</td>
      <td>TRS (t)</td>
      <td>&nbsp;Open House&nbsp;<br/>Projects<br/>TCS (s)</td>
      <td>PSaSiA (t)</td>
   </tr>
   <tr>
      <td style="background-color: #cccccc; text-align: left">&nbsp;DS 6:<br/>&nbsp;16.40 - 18.10</td>
      <td>KRR (s)</td>
      <td>TRS (l)</td>
      <td>DS (l+t)</td>
      <td>TRS (l)</td>
      <td></td>
   </tr>
   <tr>
      <td style="background-color: #cccccc; text-align: left">&nbsp;DS 7:<br/>&nbsp;18.30 - 20.00</td>
      <td></td>
      <td></td>
      <td></td>
      <td></td>
      <td></td>
   </tr>
</table>
<br />
'''Location:'''   In general the classes are held in APB E005. <!--Only the classes written in italics are held as indicated in the Abbreviations. -->

== Abbreviations ==

=== Courses ===
<table>
   <tr>
      <td>'''AL'''</td>
      <td></td>
      <td>Advanced Logic ''[Baier]</td>
   </tr>
   <tr>
      <td>'''ATiCT'''</td>
      <td></td>
      <td>[[Advanced_Topics_in_Complexity_Theory_%28SS2016%29|Advanced Topics in Complexity Theory]] ''[Baader, Borchmann]''</td>
   </tr>
   <tr>
      <td>'''DS'''</td>
      <td></td>
      <td>Deduction Systems ''[Rudolph]''</td>
   </tr>
   <tr>
      <td>'''DT'''</td>
      <td></td>
      <td>Database Theory ''[Krötzsch]''</td>
   </tr>
   <tr>
      <td>'''FoSWT'''</td>
      <td></td>
      <td>Foundations of Semantic Web Technologies ''[Rudolph]''</td>
   </tr>
   <tr>
      <td>'''ItAS'''</td>
      <td></td>
      <td>[[Introduction_to_Automatic_Structures_(SS2016)|Introduction to Automatic Structures]] ''[Turhan]''</td>
   </tr>
   <tr>
      <td>'''KRaR'''</td>
      <td style="width: 20px"></td>
      <td>Knowledge  Representation and Reasoning ''[Hölldobler]''</td>
   </tr>
   <tr>
      <td>'''LM'''</td>
      <td></td>
      <td>Logical Modelling ''[Rudolph]''</td>
   </tr>
   <tr>
      <td>'''PSaSiA'''</td>
      <td></td>
      <td>[[Problem_Solving_and_Search_in_Artificial_Intelligence_(SS2016)|Problem Solving and Search in AI]] ''[Gaggl]''</td>
   </tr>
   <tr>
      <td>'''STiLaV'''</td>
      <td></td>
      <td>Selected Topics in Logics and Verification ''[Baier]''</td>
   </tr>
   <tr>
      <td>'''TCS'''</td>
      <td></td>
      <td>Theoretical Computer Science ''[Baader]''</td>
   </tr>
   <tr>
      <td>'''TRS'''</td>
      <td></td>
      <td>Term Rewriting Systems ''[Baader]''</td>
   </tr>
<!--   <tr>
      <td>l, t, s, p</td>
      <td style="width: 30px"><br/>&nbsp;</td>
      <td>Lecture, tutorial, seminar, and practical class, respectively</td>
   </tr>-->
   <tr>
      <td>l, t, s</td>
      <td style="width: 30px"><br/>&nbsp;</td>
      <td>Lecture, tutorial and seminar, respectively</td>
   </tr>
</table>

=== Other Events ===
<table>
   <tr>
      <td>'''GK'''</td>
      <td></td>
      <td>Talks within the DFG Research Training Group</td>
   </tr>
   <tr>
      <td>'''Open House'''</td>
      <td style="width: 30px"></td>
      <td style="vertical-align: top">Students and lecturers meet for [[MCLCurrentStudents/en#Open_House|open discussions]]</td>
   </tr>
   <tr>
      <td style="vertical-align: top">'''Projects'''</td>
      <td style="width: 30px"></td>
      <td>Students are invited to contact the supervisor of their project to arrange meetings</td>
   </tr>
</table>
&nbsp;
}}