Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2011/12 / Oberseminar


Inhaltsbereich

Oberseminar

Das Oberseminar findet Freitag, 14-16 Uhr, im Raum L109 (alt: Z1.09), Oettingenstr. 67 statt.
Terminplanung und Hinweise
Vortragstermin-Planung und allgemeine Hinweise
Andreas Rossberg, F-ing Modules 28.10.2011 von 14:15 bis 15:15 L109,
TCS Oberseminar, Freitag, 28.10.2011 14:15 Uhr
Andres Löh, Dependently Typed Grammars 04.11.2011 von 14:15 bis 15:15 L109,
TCS Oberseminar, 04.11.2011, 14:15
Andreas Abel, Higher-Order Subtyping for Dependent Types 11.11.2011 von 14:15 bis 15:15 L109,
TCS Oberseminar, 11.11.11, 14:15 Uhr
Martin Hofmann, Edit Lenses 18.11.2011 von 14:15 bis 15:15 L109,
TCS Oberseminar, 18.11.2011, 14:15 Uhr
Yangyue Feng, Typed Operational Semantics for Intensional Dependent Record Types 25.11.2011 von 14:15 bis 15:15 L109,
TCS Oberseminar, 25.11.2011 14:15 Uhr
Vivek Nigam, Timed Collaborative Systems 02.12.2011 von 14:15 bis 15:15 L109,
TCS Oberseminar, 02.12.2011, 14:15 Uhr
Stephan Barth, SAT-based minimization for nondeterministic Büchi automata 09.12.2011 von 14:15 bis 15:15 L109,
TCS Oberseminar, 9.12.2011 14:15 Stephan Barth
Slides of Yangyue Feng on Dependent Record Types
Vivek Nigam, 16.12.2011 von 14:15 bis 15:15 L109,
TCS Oberseminar, 16.12.2011, 14:15 Uhr
Steffen Jost, Amortized Analysis and Lazy Evaluation 13.01.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 13.01.2012 14:15 Uhr
Markus Latte, Separation Result for XCTL --- Part II 20.01.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 20.01.2012, 14:15 Uhr
Duma Rodriguez, Amortised Resource Analysis for Object-Oriented Programs 27.01.2012 von 14:10 bis 15:15 L109,
TCS Oberseminar, 27.01.2012, 14:15 Uhr
Ramyaa, PURPLE (Pure Pointer Language) - some extensions 03.02.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 03.02.2012 14:15 Uhr
Georg Moser, Predicative Recursion and Register Machines 06.02.2012 von 16:15 bis 17:15 L109,
TCS Oberseminar, Montag (!), 16:15 Uhr
Sabrina Schewtschenko, Undirected Graph Connectivity (USTCON) in Logspace 27.02.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, Montag (!), 27.02.2012, 14:15 Uhr
Ulrich Schöpp — Interaction, Continuations and Defunctionalization 17.02.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 17.02.2012, 14:15 Uhr
Thomas Jahn, Complexity and Algorithms in Map-Reduce Models 27.02.2012 von 15:00 bis 15:45 L109,
TCS Oberseminar, Montag (!), 27.02.2012, 15:00 Uhr
(ABGESAGT) Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types 16.03.2012 von 14:15 bis 15:15 L109,
TCS Oberseminar, 16.03.2012, 14:15 Uhr
Frederic Kettelhoit, A Prelude for Agda 22.03.2012 von 14:15 bis 15:00 L109,
TCS Oberseminar, Donnerstag (!), 22.03.2012 14:15 Uhr
Robert Grabowski, Information Flow Analysis for Mobile Code in Dynamic Security Environments 23.03.2012 von 10:15 bis 11:00 151,
Promotionsvortrag, Freitag, 23.03. 10:15 Uhr

Artikelaktionen


Funktionsleiste