Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2010/11 / Oberseminar


Inhaltsbereich

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


Funktionsleiste