Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2010 / Oberseminar


Inhaltsbereich

Oberseminar

Das Oberseminar findet Fr 14-16 im Raum L109 (alt: Z1.09), Oettingenstr. 67 statt.
Andreas Abel: MiniAgda: Termination Checking using Sized Types 07.05.2010 von 14:15 bis 15:45 Z1.09 (neu: L109),
07.05.2010 14:15
Jan Hoffmann, Big-Step Operational Semantics and Divergence 28.05.2010 von 14:15 bis 15:15 L109 ,
28.05.2010 14:15
Markus Latte, A Decision Procedure for CTL* Based on Tableaux and Automata 18.06.2010 von 10:30 bis 12:00 L109,
TCS Oberseminar, 18.06.2010, 10.30 Uhr
Martin Hofmann, Type Inference in Intuitionistic Linear Logic 18.06.2010 von 10:30 bis 12:00 L109,
TCS Oberseminar, 18.06.2010, 10.30 Uhr
Martin Churchill, A Logic of Sequentiality 07.07.2010 von 14:15 bis 15:15
TCS Oberseminar, Mittwoch 7.7.2010, 14 Uhr ct
Dulma Rodriguez, Type inference for RAJA - a static heap space analysis of OO-programs. 20.07.2010 von 10:15 bis 11:15
TCS Oberseminar, Dienstag 20.7.2010, 10 Uhr ct
Ulrich Schöpp: Type Inference for Sublinear Space Functional Programming 23.07.2010 von 14:15 bis 15:15 L109,
Fr, 23.07.2010 14:15 TCS Oberseminar
Kevin Hammond, Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems 17.09.2010 von 11:00 bis 12:00 L109 ,
TCS Oberseminar, 17.09.2010, 11 Uhr

Artikelaktionen


Funktionsleiste