August 2015 Archives by subject

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

Starting: Mon Aug 3 15:34:42 CEST 2015
Ending: Wed Aug 5 18:38:25 CEST 2015
Messages: 7

• [Club2] Invitation: A Consistent Foundation for Isabelle/HOL @ Tue Aug 18, 2015 13:30 - 14:30 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: A Formalized Hierarchy of Probabilistic System Types (Pro... @ Wed Aug 19, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Amortized Complexity Verified @ Wed Aug 5, 2015 14:30 - 15:30 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: A Verified Enclosure for the Lorenz Attractor @ Wed Aug 12, 2015 15:00 - 16:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Formalization of an Imperative Language with Procedures, ... @ Thu Aug 13, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Refinement to Imperative/HOL @ Wed Aug 12, 2015 16:00 - 17:00 (Club2)   julianbrunner at gmail.com
• [Club2] Updated Invitation: Formalization of an Imperative Language with Procedures, ... @ Wed Aug 12, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com

Last message date: Wed Aug 5 18:38:25 CEST 2015
Archived on: Wed Aug 5 18:38:34 CEST 2015

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