| |
Logic and Semantics Research Group |
 |
|
|
Lecture: |
Logik,
Spiele und Automaten |
|
|
|
|
| |
Weitere Informationen erhalten Sie im
Isis-Kurs
|
|
|
|
| Vorlesung: | Mittwoch, 10:00 bis 12:00 Uhr im Raum FR 5514 |
| Donnerstags,
14:00 bis 16:00 im Raum FR 5514 |
| Übung: |
Freitags, 10:00 bis 12:00
Uhr im Raum FR 1063 |
|
|
|
|
|
Seminar: |
Foundations
of Data Integration |
|
|
|
|
| |
Weitere Informationen erhalten Sie im
Isis-Kurs
|
|
|
|
| Seminar: | Blockseminar
|
|
| Erstes Treffen am Mittwoch, den 18. April
2012, 14:00 Uhr (Achtung: geänderter Termin) im
Raum FR 6079.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lecture: |
Theoretische
Grundlagen der Informatik 3 |
| |
| Vorlesung: | Donnerstags,
10 - 12 Uhr, Raum MA 001 (Mathematikgebäude) |
| Übung: | Zu den
im
VVZ
angebotenen acht Übungsterminen wurden zwei
weitere Tutorien eröffnet: Montags, 10:00-12:00
Uhr bei Prof. Dr. Stephan Kreutzer im Raum FR 5514
sowie: Montags, 16:00-18:00 Uhr bei
Sebastian Siebertz im Raum FR 3043
|
| 1.Klausur: | 21. Februar 2012 von 10:00
bis 12:00 Uhr, in den
Räumen H 0104, H 0110 und H 0112 |
| 2.Klausur: | 4. April 2012 von 10:00
bis 12:00 Uhr, in den
Räumen A 151 und A 053 |
| Klausureinsicht
| 5. März
2012 ab 11:00 Uhr; Raum wird bekannt gegeben. |
|
|
| | |
|
|
| | |
|
|
| | |
|
|
| | |
|
|
| |
|
|
|
|
|
|
|
|
|
| Lectures at the University of Oxford |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Lectures at the Humboldt-University Berlin |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|