[Club2] Talk by Lorenz Panny: Primitively (co)recursive function definitions for Isabelle/HOL

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Tue Aug 5 18:02:57 CEST 2014

Previous message: [Club2] Talk by Lorenz Panny: Primitively (co)recursive function definitions for Isabelle/HOL
Next message: [Club2] Talk by Simon Wimmer (today, 14:00): Formally Verified Complexity Analysis of a Functional Language
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Am 05.08.2014 um 17:49 schrieb Johannes Hölzl <hoelzl at in.tum.de>:

> On Wednesday, Aug. 14, [...]
> 
> Primitively (co)recursive function definitions for Isabelle/HOL
> Lorenz Panny
> Wed., Aug. 14, 14:00, Room: Turing (00.09.038)

By "Wednesday, August 14", Johannes meant "Wednesday, August 13".

Jasmin

Previous message: [Club2] Talk by Lorenz Panny: Primitively (co)recursive function definitions for Isabelle/HOL
Next message: [Club2] Talk by Simon Wimmer (today, 14:00): Formally Verified Complexity Analysis of a Functional Language
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Club2 mailing list