April 2017 Archives by thread

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

Starting: Sun Apr 2 15:14:29 CEST 2017
Ending: Sun Apr 2 15:14:29 CEST 2017
Messages: 1

• [Club2] Invitation: Extending the Leon Verification System with Inductive Pre... @ Wed Apr 5, 2017 14:00 - 14:30 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Sun Apr 2 15:14:29 CEST 2017
Archived on: Sun Apr 2 15:14:46 CEST 2017

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