[Club2] Vortäge

[Norbert Schirmer]

Wed. 1.12; 16:30 - 17:30h
Room: 00.09.055 (Alan Turing). 

   Clemens Ballarin: Locales and Algebraic Specification 


Wed. 08.12.2004; 16.00-18.40: TYPES Marathon 
Room: 00.09.055 (Alan Turing). 

  16.00-16.40: Steven Obua: Proving Bounds for Real Linear Programs in   
                      Isabelle/HOL 
  16.40-17.20: Sebastian Skalberg: Porting Proofs Between HOL Implementations 
  17.20-18.00: Stefan Berghofer: Extracting a normalization algorithm from a       
                      proof of weak normalization for the simply-typed         
                      Lambda-calculus 
  18.00-18.40: Veronika Ortner: Verification of BDD-Algorithms 

  Jeweils 20 Minuten Vortrag + 20 Minuten Diskussion 


   Norbert