Account
Edit tools
Internal
SucheSearch
Deutsch

MCL/Timetable/SS2016/en: Difference between revisions

From International Center for Computational Logic
No edit summary
No edit summary
Line 11: Line 11:
<table border=1 style="text-align:center">
<table border=1 style="text-align:center">
   <tr>
   <tr>
       <th style="background-color: #cccccc; width:18%"></th>
       <th style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width:20%"></th>
       <th style="background-color: #cccccc; width:17%; text-align:center">Mon</th>
       <th style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width:16%; text-align:center">Mon</th>
       <th style="background-color: #cccccc; width:17%; text-align:center">Tue</th>
       <th style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width:16%; text-align:center">Tue</th>
       <th style="background-color: #cccccc; width:17%; text-align:center">Wed</th>
       <th style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width:16%; text-align:center">Wed</th>
       <th style="background-color: #cccccc; width:17%; text-align:center">Thu</th>
       <th style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width:16%; text-align:center">Thu</th>
       <th style="background-color: #cccccc; width:17%; text-align:center">Fri</th>
       <th style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width:16%; text-align:center">Fri</th>
   </tr>
   </tr>
   <tr>
   <tr>
       <td style="background-color: #cccccc; text-align:left">&nbsp;DS 1:<br/>&nbsp;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></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
       <td></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
       <td></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
       <td></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
       <td></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td style="background-color: #cccccc; text-align:left">&nbsp;DS 2:<br/>&nbsp;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>&nbsp;FoSWT (t)&nbsp;</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">FoSWT (t)</td>
       <td>&nbsp;ItAS (t)&nbsp;</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ItAS (t)</td>
       <td>&nbsp;FoSWT (l)&nbsp;</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">FoSWT (l)</td>
       <td>AL (l)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">AL (l)</td>
       <td>AL (t)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">AL (t)</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td style="background-color: #cccccc; text-align:left">&nbsp;DS 3:<br/>&nbsp;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>DT (t)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">DT (t)</td>
       <td>ATiCT</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ATiCT</td>
       <td>FoSWT (l)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">FoSWT (l)</td>
       <td>AL (l)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">AL (l)</td>
       <td>&nbsp;STiLaV (s)&nbsp;</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">STiLaV (s)</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td style="background-color: #cccccc; text-align: left">&nbsp;DS 4:<br/>&nbsp;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>ItAS (l)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ItAS (l)</td>
       <td>GK</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">GK</td>
       <td>LM (s)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">LM (s)</td>
       <td>DT (l)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">DT (l)</td>
       <td>PSaSiA (l)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">PSaSiA (l)</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td style="background-color: #cccccc; text-align: left">&nbsp;DS 5:<br/>&nbsp;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>ATiCT</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ATiCT</td>
       <td>GK</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">GK</td>
       <td>TRS (t)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">TRS (t)</td>
       <td>&nbsp;Open House&nbsp;<br/>Projects<br/>TCS (s)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">Open House<br/>Projects<br/>TCS (s)</td>
       <td>PSaSiA (t)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">PSaSiA (t)</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td style="background-color: #cccccc; text-align: left">&nbsp;DS 6:<br/>&nbsp;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>KRR (s)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">KRR (s)</td>
       <td>TRS (l)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">TRS (l)</td>
       <td>DS (l+t)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">DS (l+t)</td>
       <td>TRS (l)</td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">TRS (l)</td>
       <td></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td style="background-color: #cccccc; text-align: left">&nbsp;DS 7:<br/>&nbsp;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></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
       <td></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
       <td></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
       <td></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
       <td></td>
       <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px"></td>
   </tr>
   </tr>
</table>
</table>
Line 90: Line 90:
       <td>'''ATiCT'''</td>
       <td>'''ATiCT'''</td>
       <td></td>
       <td></td>
       <td>[[Advanced_Topics_in_Complexity_Theory_%28SS2016%29|Advanced Topics in Complexity Theory]] ''[Baader, Borchmann]''</td>
       <td>[[Advanced_Topics_in_Complexity_Theory_%28SS2016%29/en|Advanced Topics in Complexity Theory]] ''[Baader, Borchmann]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
Line 100: Line 100:
       <td>'''DT'''</td>
       <td>'''DT'''</td>
       <td></td>
       <td></td>
       <td>Database Theory ''[Krötzsch]''</td>
       <td>[[Database_Theory_(SS2016)/en|Database Theory]] ''[Krötzsch]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
Line 110: Line 110:
       <td>'''ItAS'''</td>
       <td>'''ItAS'''</td>
       <td></td>
       <td></td>
       <td>[[Introduction_to_Automatic_Structures_(SS2016)|Introduction to Automatic Structures]] ''[Turhan]''</td>
       <td>[[Introduction_to_Automatic_Structures_(SS2016)/en|Introduction to Automatic Structures]] ''[Turhan]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
Line 125: Line 125:
       <td>'''PSaSiA'''</td>
       <td>'''PSaSiA'''</td>
       <td></td>
       <td></td>
       <td>[[Problem_Solving_and_Search_in_Artificial_Intelligence_(SS2016)|Problem Solving and Search in AI]] ''[Gaggl]''</td>
       <td>[[Problem_Solving_and_Search_in_Artificial_Intelligence_(SS2016)/en|Problem Solving and Search in AI]] ''[Gaggl]''</td>
   </tr>
   </tr>
   <tr>
   <tr>

Revision as of 16:28, 15 March 2016

Toggle side column

Timetable in Summer Term 2016

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		 FoSWT (t) ItAS (t) FoSWT (l) AL (l) AL (t)
DS 3:
11.10 - 12.40		 DT (t) ATiCT FoSWT (l) AL (l) STiLaV (s)
DS 4:
13.00 - 14.30		 ItAS (l) GK LM (s) DT (l) PSaSiA (l)
DS 5:
14.50 - 16.20		 ATiCT GK TRS (t) Open House
Projects
TCS (s)		 PSaSiA (t)
DS 6:
16.40 - 18.10		 KRR (s) TRS (l) DS (l+t) TRS (l)
DS 7:
18.30 - 20.00


Location: In general the classes are held in APB E005.

Abbreviations

Courses

AL Advanced Logic [Baier]
ATiCT Advanced Topics in Complexity Theory [Baader, Borchmann]
DS Deduction Systems [Rudolph]
DT Database Theory [Krötzsch]
FoSWT Foundations of Semantic Web Technologies [Rudolph]
ItAS Introduction to Automatic Structures [Turhan]
KRaR Knowledge Representation and Reasoning [Hölldobler]
LM Logical Modelling [Rudolph]
PSaSiA Problem Solving and Search in AI [Gaggl]
STiLaV Selected Topics in Logics and Verification [Baier]
TCS Theoretical Computer Science [Baader]
TRS Term Rewriting Systems [Baader]
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
 
Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=MCL/Timetable/SS2016/en&oldid=18353"