August 2014 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Aug 5 17:49:41 CEST 2014
Ending: Wed Aug 6 09:42:34 CEST 2014
Messages: 4

• [Club2] Rehearsal talk by Lars Hupel: The Next 1100 Haskell Programmers   Lars Hupel
• [Club2] Talk by Lorenz Panny: Primitively (co)recursive function definitions for Isabelle/HOL   Johannes Hölzl
• [Club2] Talk by Lorenz Panny: Primitively (co)recursive function definitions for Isabelle/HOL   Jasmin Christian Blanchette
• [Club2] Talk by Simon Wimmer (today, 14:00): Formally Verified Complexity Analysis of a Functional Language   Lars Noschinski

Last message date: Wed Aug 6 09:42:34 CEST 2014
Archived on: Wed Aug 6 09:42:58 CEST 2014

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...