MCL/Timetable/SS2016/en: Difference between revisions
From International Center for Computational Logic
Sibylle Moehle (talk | contribs) No edit summary |
Sibylle Moehle (talk | contribs) 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="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width: | <th style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width:15%"></th> | ||
<th style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width: | <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="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width: | <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="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width: | <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="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width: | <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="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px; background-color: #cccccc; width: | <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="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> | ||
<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 27: | Line 27: | ||
</tr> | </tr> | ||
<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">FoSWT (t)</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">FoSWT (t)</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ItAS (t)</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ItAS (t)</td> | ||
| Line 35: | Line 35: | ||
</tr> | </tr> | ||
<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">DT (t)</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">DT (t)</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ATiCT</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ATiCT</td> | ||
| Line 43: | Line 43: | ||
</tr> | </tr> | ||
<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">ItAS (l)</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ItAS (l)</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">GK</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">GK</td> | ||
| Line 51: | Line 51: | ||
</tr> | </tr> | ||
<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">ATiCT</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">ATiCT</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">GK</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">GK</td> | ||
| Line 59: | Line 59: | ||
</tr> | </tr> | ||
<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">KRR (s)</td> | ||
<td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">TRS (l)</td> | <td style="padding-top:3px; padding-left:3px; padding-right:3px; padding-bottom:3px">TRS (l)</td> | ||
| Line 67: | Line 67: | ||
</tr> | </tr> | ||
<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> | ||
<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> | ||
Revision as of 16:35, 15 March 2016
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 |
