 |
Eberhard Karls Universität Tübingen Wilhelm-Schickard-Institut für Informatik (WSI) Arbeitsbereich für Theoretische Informatik/Formale Sprachen |
|
Eberhard Karls Universität Tübingen Wilhelm-Schickard-Institut für Informatik (WSI) Arbeitsbereich für Theoretische Informatik/Formale Sprachen |
| Vorlesung | ||||
| Algorithmen | CampusVV | Di 10 c.t. - 12, Do 10 c.t. - 12 | N3 | Klaus-Jörn Lange, Klaus Reinhardt, Andreas Krebs (Übungen) |
| Berechenbarkeit | CampusVV | Fr. 10 c.t. - 12 | C118 | Klaus-Jörn Lange |
| Circuit Complexity | CampusVV | Mittwoch 10-12, Freitag 11-12 | C118/A302 | Klaus-Jörn Lange, Christoph Behle, Andreas Krebs |
| Formale Sprachen | CampusVV | Di. 14 c.t. - 15, Do 15 c.t. - 17 | C118 | Klaus-Jörn Lange |
| Model Checking | CampusVV | Fr. 13 c.t. - 16 | C118 | Klaus-Jörn Lange, Uebungen: Viola Brunner |
| Petrinetze | Mo. 13 c.t. - 14:45 | C118 Sand 14 | Klaus Reinhardt | |
| Proseminar | ||||
| Graphentheorie | n. V. | Klaus-Jörn Lange, Christoph Behle, Andreas Krebs | ||
| Oberseminar | ||||
| Theoretische Informatik | ||||
Übersicht zu Veranstaltungen früherer Semester im Archiv
