MCL/Timetable/SS2016/en: Difference between revisions
From International Center for Computational Logic
Serge Stratan (talk | contribs) m (Serge Stratan verschob die Seite MCLSummerTerm2016/timetable/en nach MCL/Timetable/SS2016/en) |
Stephan Mennicke (talk | contribs) (Adding this page to category MCL) |
||
| (9 intermediate revisions by 3 users not shown) | |||
| Line 12: | Line 12: | ||
<div style="font-size: 95%; padding-bottom: 1ex !important; "> | <div style="font-size: 95%; padding-bottom: 1ex !important; "> | ||
<ul class="nav-list" style="padding-left: 1ex !important; "> | <ul class="nav-list" style="padding-left: 1ex !important; "> | ||
<li>[[ | <li>[[MCL/Courses/SS2016/en|Courses]]</li> | ||
<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> | </ul> | ||
</div> | </div> | ||
| Line 24: | Line 30: | ||
<li>[[MCL/Guests_Events/en|Guests and Events]]</li> | <li>[[MCL/Guests_Events/en|Guests and Events]]</li> | ||
<li>[[MCL/Internals/en|Internals]]</li> | |||
</ul> | </ul> | ||
| Line 120: | Line 126: | ||
<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> | ||
| Line 130: | Line 136: | ||
<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> | ||
| Line 140: | Line 146: | ||
<td>'''KRR'''</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> | ||
| Line 160: | Line 166: | ||
<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> | ||
| Line 189: | 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 [[MCLCurrentStudents/en#Open_House|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 199: | Line 205: | ||
| | ||
}} | }} | ||
[[Kategorie:MCL]] | |||
Latest revision as of 15:40, 17 July 2020
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 |
Category:
- MCL
