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 (L109, from 04.05.2012 14:15 to 04.05.2012 15:15)
- TCS Oberseminar, 04.05.2012, 14:15
- Vivek Nigam, On the complexity of Linear Authorization Logics (L109, from 11.05.2012 13:15 to 11.05.2012 14:15)
- TCS Oberseminar, 11.05.2012, 13:15 (!)
- Diego Alonso, On the Limits of the Classical Approach of the Cost Analysis (L109, from 25.05.2012 14:15 to 25.05.2012 15:15)
- TCS Oberseminar, 25.05., 14h
- Julius Burkart, Budgetplanung, -verfolgung und Forecast-Prozess in einer dezentralen IT-Abteilung: Analyse und Verbesserungspotential (L109, from 01.06.2012 14:15 to 01.06.2012 15:15)
- TCS Oberseminar, 01.06.2012, 14:15
- Markus Latte, Branching Time? Pruning Time! (L109, from 15.06.2012 14:15 to 15.06.2012 15:15)
- TCS Oberseminar, Freitag, 14.06.2012, 14.15 Uhr L109
- Ulrich Schöpp, Computation by Interaction for Structuring Low-Level Languages (L109, from 22.06.2012 14:15 to 22.06.2012 15:15)
- TCS Oberseminar, 22.06.2012, 14:15 Uhr
- Stephan Barth, Representation of ω-regular Languages by Languages of Finite Words (L109, from 06.07.2012 14:15 to 06.07.2012 15:15)
- TCS Oberseminar, 06.07.2012, 14:15 Uhr im L109
- Martin Hofmann, Proof-relevant logical relations (L109, from 13.07.2012 13:15 to 13.07.2012 14:15)
- TCS Oberseminar, 13.07.2012, 14:15 Uhr L109
- David Thibodeau, A Core Calculus for Covering Copatterns (L109, from 20.07.2012 14:15 to 20.07.2012 15:15)
- TCS Oberseminar, Freitag, 20.07.2012, 14:15 L109
