Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2012 / Oberseminar


Inhaltsbereich

Oberseminar

Das Oberseminar findet Freitag, 14-16 Uhr, im Raum L109 , Oettingenstr. 67 statt.
Terminplanung und Hinweise
Vortragstermin-Planung und allgemeine Hinweise
Beta Ziliani, How to Make Ad Hoc Proof Automation Less Ad Hoc 04.05.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 04.05.2012, 14:15
Vivek Nigam, On the complexity of Linear Authorization Logics 11.05.2012 von 13:15 bis 14:15 L109,
TCS Oberseminar, 11.05.2012, 13:15 (!)
Diego Alonso, On the Limits of the Classical Approach of the Cost Analysis 25.05.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 25.05., 14h
Julius Burkart, Budgetplanung, -verfolgung und Forecast-Prozess in einer dezentralen IT-Abteilung: Analyse und Verbesserungspotential 01.06.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 01.06.2012, 14:15
Markus Latte, Branching Time? Pruning Time! 15.06.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, Freitag, 14.06.2012, 14.15 Uhr L109
Ulrich Schöpp, Computation by Interaction for Structuring Low-Level Languages 22.06.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 22.06.2012, 14:15 Uhr
Stephan Barth, Representation of ω-regular Languages by Languages of Finite Words 06.07.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 06.07.2012, 14:15 Uhr im L109
Martin Hofmann, Proof-relevant logical relations 13.07.2012 von 13:15 bis 14:15 L109,
TCS Oberseminar, 13.07.2012, 14:15 Uhr L109
David Thibodeau, A Core Calculus for Covering Copatterns 20.07.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, Freitag, 20.07.2012, 14:15 L109

Artikelaktionen


Funktionsleiste