August 2016 Archives by thread

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

Starting: Wed Aug 3 16:26:05 CEST 2016
Ending: Wed Aug 17 16:00:39 CEST 2016
Messages: 5

• [Club2] Invitation: Rehearsal Talk: Clone detection in Isabelle Theories @ Fri 2016-08-12 14:00 - 15:00 (CEST) (Club2)   larsrh90 at gmail.com
• [Club2] Invitation: The Flow of ODEs @ Wed Aug 17, 2016 14:00 - 15:00 (CEST) (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: From Types to Sets by Local Type Definitions in Higher-Or... @ Fri Aug 19, 2016 16:30 - 18:00 (CEST) (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Smashing Isabelle: Flex-Flex Pairs in 2016 @ Fri Aug 19, 2016 15:00 - 16:30 (CEST) (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Formalising Semantics for Expected Running Time of Probab... @ Thu Aug 18, 2016 14:00 - 15:30 (CEST) (Club2)   julianbrunner at gmail.com

Last message date: Wed Aug 17 16:00:39 CEST 2016
Archived on: Wed Aug 17 16:00:51 CEST 2016

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