July 2017 Archives by subject

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

Starting: Tue Jul 4 18:34:24 CEST 2017
Ending: Mon Jul 24 16:45:23 CEST 2017
Messages: 2

• [Club2] Invitation: Efficient Arithmetic in Isabelle/HOL @ Wed Jul 19, 2017 14:00 - 14:30 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Efficient Verified (UN)SAT Certificate Checking @ Wed Jul 26, 2017 14:00 - 15:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Mon Jul 24 16:45:23 CEST 2017
Archived on: Mon Jul 24 16:45:40 CEST 2017

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