March 2015 Archives by author

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

Starting: Thu Mar 12 22:17:04 CET 2015
Ending: Tue Mar 31 13:42:09 CEST 2015
Messages: 3

• [Club2] Invitation: A refactoring tool for Isabelle/jEdit: automatic renaming... @ Wed Mar 18, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Compiler Verification for a Data Format DSL @ Wed Mar 18, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Verified Reachability Analysis of Continuous Systems @ Wed Apr 8, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com

Last message date: Tue Mar 31 13:42:09 CEST 2015
Archived on: Tue Mar 31 13:42:30 CEST 2015

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