May 2017 Archives by subject

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

Starting: Fri May 5 14:36:32 CEST 2017
Ending: Fri May 19 15:03:59 CEST 2017
Messages: 5

• [Club2] Invitation: Automatic Asymptotics in Isabelle/HOL @ Wed May 24, 2017 14:00 - 15:00 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Functional Implementation of an Optimized UNSAT Proof-Che... @ Wed May 10, 2017 14:45 - 15:15 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Interactive theorem proving in the Ethereum project @ Wed May 31, 2017 14:00 - 14:45 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Proof Systems for Propositional Logic @ Wed May 10, 2017 14:00 - 14:45 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com
• [Club2] Invitation: Refinement Types in Scala @ Wed May 17, 2017 14:00 - 14:30 (CEST) (club2 at mailbroy.informatik.tu-muenchen.de)   julianbrunner at gmail.com

Last message date: Fri May 19 15:03:59 CEST 2017
Archived on: Fri May 19 15:04:09 CEST 2017

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