Oberseminar
Das Oberseminar findet Fr 14-16 im Raum L109 (alt: Z1.09), Oettingenstr. 67 statt.
- Terminplanung und Hinweise
- Vortragstermin-Planung und allgemeine Hinweise
- Andrew Kennedy: The F# Programming Language and Types for Units-of-Measure 21.10.2010 von 10:00 bis 12:00 — L109,
- 21.10.2010 10:00
- Jan Hoffmann: Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics 29.10.2010 von 14:15 bis 15:00 — L109,
- TCS Oberseminar, 29.10.2010 14:15
- Brigitte Pientka, Beluga: Programming proofs with contexts and ... 05.11.2010 von 14:15 bis 15:15 — L109,
- TCS Oberseminar, 05.11.2010, 14:15
- Steffen Jost, The Advance Project 12.11.2010 von 14:15 bis 15:00
- TCS Oberseminar, 12.11.10, 14:15
- Vivek Nigam, Maintaining Distributed Recursive Views Incrementally 26.11.2010 von 14:15 bis 15:00 — L109,
- TCS Oberseminar, 26.11.2010, 14:15
- Oliver Friedmann, On Lower Bounds for Policy Iteration 19.11.2010 von 14:15 bis 15:00 — L109,
- TCS Oberseminar, 19.11.2010, 14:15
- Robert Grabowski: Type-based Prevention of Code Injection Attacks 03.12.2010 von 14:15 bis 15:15 — L109,
- TCS Oberseminar, 03.12.2010 14:15
- Alex Messner: Bordautonome Flugwegplanung unbemannter Luftfahrzeuge zur Verfolgung von Objekten am Boden 10.12.2010 von 14:15 bis 15:45 — L109,
- TCS Oberseminar, 10.12.2010, 14:15
- Julien Oster: An Agda Implementation of Deletion in Left-leaning Red-Black Trees 10.12.2010 von 14:15 bis 15:45 — L109,
- TCS Oberseminar, 10.12.2010, 14:15
- Michael Mayer, Ein Interpreter für LFPL 17.12.2010 von 14:15 bis 15:45 — L109,
- TCS Oberseminar, 17.12.2010, 14:15
- Andreas Abel, On Irrelevance in Type Theory 17.12.2010 von 14:15 bis 15:45 — L109,
- TCS Oberseminar, 17.12.2010, 14:15
- Henning Sudbrock: Increasing the Precision of Scheduler-Independent Information Flow Security 14.01.2011 von 14:15 bis 15:15 — L109,
- TCS Oberseminar, 14.01.2011, 14:15
- Dulma Rodriguez, Type Inference for RAJA: New Developments 21.01.2011 von 14:15 bis 15:15 — L109,
- TCS Oberseminar 21.01.2011, 14:15
- Markus Latte, Separation Results for XCTL 28.01.2011 von 14:15 bis 15:15 — L109,
- TCS Oberseminar 28.01.2011, 14:15
- Ulrich Schöpp, Playing Games with Effects 04.02.2011 von 14:15 bis 15:15 — L109,
- TCS Oberseminar 04.02.2011, 14:15
- Nicolai Kraus, A Lambda Term Representation Based on Ordered Linear Logic 23.02.2011 von 14:15 bis 15:15 — L109,
- TCS Oberseminar 23.02.2011, 14:15
Artikelaktionen