July 2018 Archives by thread

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

Starting: Tue Jul 3 20:17:24 CEST 2018
Ending: Mon Jul 16 16:17:29 CEST 2018
Messages: 3

• [Club2] Invitation: ITP Rehearsal talks @ Thu Jul 5, 2018 14:00 - 16:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Verified Analysis of Random Binary Tree Structures @ Fri Jul 6, 2018 16:00 - 18:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Implementation and Verification of Efficient Minimal Span... @ Tue Jul 17, 2018 14:00 - 14:45 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Mon Jul 16 16:17:29 CEST 2018
Archived on: Mon Jul 16 16:17:37 CEST 2018

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