Account
Edit tools
Internal
SucheSearch
Deutsch

MCL/Timetable/SS2016/en: Difference between revisions

From International Center for Computational Logic
No edit summary
(Adding this page to category MCL)
 
(24 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{#leftsidenav:
{{#leftsidenav:


{{LeftsidenavHeading|Modules}}
{{LeftsidenavHeading|[[MCL/en|International Master]]}}
<div class="no-toc-head">__TOC__</div>
 
<ul class="nav-list">
<li>[[MCL/Introduction/en|Introduction]]</li>
 
<li>[[MCL/For_Prospective_Students/en|For Prospective Students]]</li>
 
<li>[[MCL/CurrentStudents/en|For Current Students]]</li>
 
<div style="font-size: 95%; padding-bottom: 1ex !important; ">
<ul class="nav-list" style="padding-left: 1ex !important; ">
<li>[[MCL/Courses/SS2016/en|Courses]]</li>
 
<li>[[MCL/Timetable/SS2016/en|Timetable]]</li>
 
<li>[[MCL/Social_Events/en|Social Events]]</li>
 
<li>[[MCL/CurrentStudents/Financial_Support/en|Financial Support]]</li>
 
<li>[[MCL/CurrentStudents/Other_Information/en|Other Information]]</li>
</ul>
</div>
 
<li>[[MCL/Business_Industry/en|Business and Industry]]</li>
 
<li>[[MCL/Grants/en|Grants]]</li>
 
<li>[[MCL/Guests_Events/en|Guests and Events]]</li>
 
<li>[[MCL/Internals/en|Internals]]</li>
</ul>
 
__NOTOC__
|
|


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


Please note that this timetable is still liable to change.  
Please note that this timetable is still liable to change.  
<br />
<br />
<table border=1 style="cellpadding: 10; 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:15%"></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:17%; 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:17%; 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:17%; 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:17%; 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:17%; 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&nbsp;</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 (l)</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 (t)</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 87: Line 116:
       <td>'''AL'''</td>
       <td>'''AL'''</td>
       <td></td>
       <td></td>
       <td>Advanced Logic ''[Baier]</td>
       <td>[https://www.inf.tu-dresden.de/index.php?node_id=3740&ln=en Advanced Logics] ''[Baier]</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <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>
       <td>'''DS'''</td>
       <td>'''DS'''</td>
       <td></td>
       <td></td>
       <td>Deduction Systems ''[Rudolph]''</td>
       <td>[[Deduction_Systems_%28SS2016%29/en|Deduction Systems]] ''[Rudolph]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <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>
       <td>'''FoSWT'''</td>
       <td>'''FoSWT'''</td>
       <td></td>
       <td></td>
       <td>Foundations of Semantic Web Technologies ''[Rudolph]''</td>
       <td>[[Foundations_of_Semantic_Web_Technologies_(SS2016)/en|Foundations of Semantic Web Technologies]] ''[Rudolph]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td>'''ItAS'''</td>
       <td>'''ItAS'''</td>
       <td></td>
       <td></td>
       <td>Introduction to Automatic Structures ''[Turhan]''</td>
       <td>[[Introduction_to_Automatic_Structures_(SS2016)/en|Introduction to Automatic Structures]] ''[Turhan]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td>'''KRaR'''</td>
       <td>'''KRR'''</td>
       <td style="width: 20px"></td>
       <td style="width: 20px"></td>
       <td>Knowledge  Representation and Reasoning ''[Hölldobler]''</td>
       <td>[[Knowledge_Representation_and_Reasoning_Seminar_(SS2016)/en|Knowledge  Representation and Reasoning]] ''[Hölldobler]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td>'''LM'''</td>
       <td>'''LM'''</td>
       <td></td>
       <td></td>
       <td>Logical Modelling ''[Rudolph]''</td>
       <td>[[Logical_Modeling_(SS2016)/en|Logical Modeling]] ''[Rudolph]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td>'''PSaSiA'''</td>
       <td>'''PSaSiA'''</td>
       <td></td>
       <td></td>
       <td>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>
       <td>'''STiLaV'''</td>
       <td>'''STiLaV'''</td>
       <td></td>
       <td></td>
       <td>Selected Topics in Logics and Verification ''[Baier]''</td>
       <td>[https://www.inf.tu-dresden.de/index.php?node_id=3737&ln=en Selected Topics in Logics and Verification] ''[Baier]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td>'''TCS'''</td>
       <td>'''TCS'''</td>
       <td></td>
       <td></td>
       <td>Theoretical Computer Science ''[Baader]''</td>
       <td>[https://lat.inf.tu-dresden.de/teaching/ss2016/seminar/ Theoretical Computer Science] ''[Baader]''</td>
   </tr>
   </tr>
   <tr>
   <tr>
       <td>'''TRS'''</td>
       <td>'''TRS'''</td>
       <td></td>
       <td></td>
       <td>Term Rewriting Systems ''[Baader]''</td>
       <td>[https://lat.inf.tu-dresden.de/teaching/ss2016/TRS/ Term Rewriting Systems] ''[Baader]''</td>
   </tr>
   </tr>
<!--  <tr>
<!--  <tr>
Line 166: Line 195:
       <td>'''Open House'''</td>
       <td>'''Open House'''</td>
       <td style="width: 30px"></td>
       <td style="width: 30px"></td>
       <td style="vertical-align: top">Students and lecturers meet for open discussions</td>
       <td style="vertical-align: top">Students and lecturers meet for '''[[MCLCurrentStudents/en#Open_House|open discussions]]'''</td>
   </tr>
   </tr>
   <tr>
   <tr>
Line 176: Line 205:
&nbsp;
&nbsp;
}}
}}
[[Kategorie:MCL]]

Latest revision as of 15:40, 17 July 2020

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 Logics [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]
KRR Knowledge Representation and Reasoning [Hölldobler]
LM Logical Modeling [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=31040"