Oberseminar

Andreas Abel: MiniAgda: Termination Checking using Sized Types (Z1.09 (neu: L109), from 07.05.2010 14:15 to 07.05.2010 15:45)

07.05.2010 14:15

Jan Hoffmann, Big-Step Operational Semantics and Divergence (L109 , from 28.05.2010 14:15 to 28.05.2010 15:15)

28.05.2010 14:15

Markus Latte, A Decision Procedure for CTL* Based on Tableaux and Automata (L109, from 18.06.2010 10:30 to 18.06.2010 12:00)

TCS Oberseminar, 18.06.2010, 10.30 Uhr

Martin Hofmann, Type Inference in Intuitionistic Linear Logic (L109, from 18.06.2010 10:30 to 18.06.2010 12:00)

TCS Oberseminar, 18.06.2010, 10.30 Uhr

Martin Churchill, A Logic of Sequentiality (from 07.07.2010 14:15 to 07.07.2010 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. (from 20.07.2010 10:15 to 20.07.2010 11:15)

TCS Oberseminar, Dienstag 20.7.2010, 10 Uhr ct

Ulrich Schöpp: Type Inference for Sublinear Space Functional Programming (L109, from 23.07.2010 14:15 to 23.07.2010 15:15)

Fr, 23.07.2010 14:15 TCS Oberseminar

Kevin Hammond, Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems (L109 , from 17.09.2010 11:00 to 17.09.2010 12:00)

TCS Oberseminar, 17.09.2010, 11 Uhr