Oberseminar

Terminplanung und Hinweise

Vortragstermin-Planung und allgemeine Hinweise

Andreas Rossberg, F-ing Modules (L109, from 28.10.2011 14:15 to 28.10.2011 15:15)

TCS Oberseminar, Freitag, 28.10.2011 14:15 Uhr

Andres Löh, Dependently Typed Grammars (L109, from 04.11.2011 14:15 to 04.11.2011 15:15)

TCS Oberseminar, 04.11.2011, 14:15

Andreas Abel, Higher-Order Subtyping for Dependent Types (L109, from 11.11.2011 14:15 to 11.11.2011 15:15)

TCS Oberseminar, 11.11.11, 14:15 Uhr

Martin Hofmann, Edit Lenses (L109, from 18.11.2011 14:15 to 18.11.2011 15:15)

TCS Oberseminar, 18.11.2011, 14:15 Uhr

Yangyue Feng, Typed Operational Semantics for Intensional Dependent Record Types (L109, from 25.11.2011 14:15 to 25.11.2011 15:15)

TCS Oberseminar, 25.11.2011 14:15 Uhr

Vivek Nigam, Timed Collaborative Systems (L109, from 02.12.2011 14:15 to 02.12.2011 15:15)

TCS Oberseminar, 02.12.2011, 14:15 Uhr

Stephan Barth, SAT-based minimization for nondeterministic Büchi automata (L109, from 09.12.2011 14:15 to 09.12.2011 15:15)

TCS Oberseminar, 9.12.2011 14:15 Stephan Barth

Slides of Yangyue Feng on Dependent Record Types

 

Vivek Nigam, (L109, from 16.12.2011 14:15 to 16.12.2011 15:15)

TCS Oberseminar, 16.12.2011, 14:15 Uhr

Steffen Jost, Amortized Analysis and Lazy Evaluation (L109, from 13.01.2012 14:15 to 13.01.2012 15:15)

TCS Oberseminar, 13.01.2012 14:15 Uhr

Markus Latte, Separation Result for XCTL --- Part II (L109, from 20.01.2012 14:15 to 20.01.2012 15:15)

TCS Oberseminar, 20.01.2012, 14:15 Uhr

Duma Rodriguez, Amortised Resource Analysis for Object-Oriented Programs (L109, from 27.01.2012 14:10 to 27.01.2012 15:15)

TCS Oberseminar, 27.01.2012, 14:15 Uhr

Ramyaa, PURPLE (Pure Pointer Language) - some extensions (L109, from 03.02.2012 14:15 to 03.02.2012 15:15)

TCS Oberseminar, 03.02.2012 14:15 Uhr

Georg Moser, Predicative Recursion and Register Machines (L109, from 06.02.2012 16:15 to 06.02.2012 17:15)

TCS Oberseminar, Montag (!), 16:15 Uhr

Sabrina Schewtschenko, Undirected Graph Connectivity (USTCON) in Logspace (L109, from 27.02.2012 14:15 to 27.02.2012 15:15)

TCS Oberseminar, Montag (!), 27.02.2012, 14:15 Uhr

Ulrich Schöpp — Interaction, Continuations and Defunctionalization (L109, from 17.02.2012 14:15 to 17.02.2012 15:15)

TCS Oberseminar, 17.02.2012, 14:15 Uhr

Thomas Jahn, Complexity and Algorithms in Map-Reduce Models (L109, from 27.02.2012 15:00 to 27.02.2012 15:45)

TCS Oberseminar, Montag (!), 27.02.2012, 15:00 Uhr

(ABGESAGT) Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types (L109, from 16.03.2012 14:15 to 16.03.2012 15:15)

TCS Oberseminar, 16.03.2012, 14:15 Uhr

Frederic Kettelhoit, A Prelude for Agda (L109, from 22.03.2012 14:15 to 22.03.2012 15:00)

TCS Oberseminar, Donnerstag (!), 22.03.2012 14:15 Uhr

Robert Grabowski, Information Flow Analysis for Mobile Code in Dynamic Security Environments (151, from 23.03.2012 10:15 to 23.03.2012 11:00)

Promotionsvortrag, Freitag, 23.03. 10:15 Uhr