Oberseminar

Terminplanung und Hinweise

Vortragstermin-Planung und allgemeine Hinweise

Andrew Kennedy: The F# Programming Language and Types for Units-of-Measure (L109, from 21.10.2010 10:00 to 21.10.2010 12:00)

21.10.2010 10:00

Jan Hoffmann: Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics (L109, from 29.10.2010 14:15 to 29.10.2010 15:00)

TCS Oberseminar, 29.10.2010 14:15

Brigitte Pientka, Beluga: Programming proofs with contexts and ... (L109, from 05.11.2010 14:15 to 05.11.2010 15:15)

TCS Oberseminar, 05.11.2010, 14:15

Steffen Jost, The Advance Project (from 12.11.2010 14:15 to 12.11.2010 15:00)

TCS Oberseminar, 12.11.10, 14:15

Vivek Nigam, Maintaining Distributed Recursive Views Incrementally (L109, from 26.11.2010 14:15 to 26.11.2010 15:00)

TCS Oberseminar, 26.11.2010, 14:15

Oliver Friedmann, On Lower Bounds for Policy Iteration (L109, from 19.11.2010 14:15 to 19.11.2010 15:00)

TCS Oberseminar, 19.11.2010, 14:15

Robert Grabowski: Type-based Prevention of Code Injection Attacks (L109, from 03.12.2010 14:15 to 03.12.2010 15:15)

TCS Oberseminar, 03.12.2010 14:15

Alex Messner: Bordautonome Flugwegplanung unbemannter Luftfahrzeuge zur Verfolgung von Objekten am Boden (L109, from 10.12.2010 14:15 to 10.12.2010 15:45)

TCS Oberseminar, 10.12.2010, 14:15

Julien Oster: An Agda Implementation of Deletion in Left-leaning Red-Black Trees (L109, from 10.12.2010 14:15 to 10.12.2010 15:45)

TCS Oberseminar, 10.12.2010, 14:15

Michael Mayer, Ein Interpreter für LFPL (L109, from 17.12.2010 14:15 to 17.12.2010 15:45)

TCS Oberseminar, 17.12.2010, 14:15

Andreas Abel, On Irrelevance in Type Theory (L109, from 17.12.2010 14:15 to 17.12.2010 15:45)

TCS Oberseminar, 17.12.2010, 14:15

Henning Sudbrock: Increasing the Precision of Scheduler-Independent Information Flow Security (L109, from 14.01.2011 14:15 to 14.01.2011 15:15)

TCS Oberseminar, 14.01.2011, 14:15

Dulma Rodriguez, Type Inference for RAJA: New Developments (L109, from 21.01.2011 14:15 to 21.01.2011 15:15)

TCS Oberseminar 21.01.2011, 14:15

Markus Latte, Separation Results for XCTL (L109, from 28.01.2011 14:15 to 28.01.2011 15:15)

TCS Oberseminar 28.01.2011, 14:15

Ulrich Schöpp, Playing Games with Effects (L109, from 04.02.2011 14:15 to 04.02.2011 15:15)

TCS Oberseminar 04.02.2011, 14:15

Nicolai Kraus, A Lambda Term Representation Based on Ordered Linear Logic (L109, from 23.02.2011 14:15 to 23.02.2011 15:15)

TCS Oberseminar 23.02.2011, 14:15