July 2016 Archives by thread

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

Starting: Wed Jul 13 12:42:10 CEST 2016
Ending: Fri Jul 29 10:36:23 CEST 2016
Messages: 2

• [Club2] Invitation: An Isabelle Formalization of the Expressive Power of Deep... @ Wed Jul 20, 2016 10:00 - 10:45 (CEST) (Club2)   julianbrunner at gmail.com
• [Club2] Rehearsal-Talk for ITP 2016: Formalizing the Edmonds-Karp Algorithm   Peter Lammich

Last message date: Fri Jul 29 10:36:23 CEST 2016
Archived on: Fri Jul 29 10:36:37 CEST 2016

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