November 2015 Archives by thread

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

Starting: Tue Nov 10 13:23:14 CET 2015
Ending: Mon Nov 23 12:54:56 CET 2015
Messages: 3

• [Club2] Invitation: Translating Scala programs to Isabelle with Leon @ Wed Nov 11, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Proof Automation Tool for Isabelle/HOL @ Fri Dec 18, 2015 13:30 - 14:15 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Adding Convenience, Preserving Confidentiality @ Wed Nov 25, 2015 14:00 - 14:45 (Club2)   julianbrunner at gmail.com

Last message date: Mon Nov 23 12:54:56 CET 2015
Archived on: Mon Nov 23 12:55:17 CET 2015

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