April 2016 Archives by author

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

Starting: Mon Apr 11 14:36:01 CEST 2016
Ending: Mon Apr 18 13:52:45 CEST 2016
Messages: 2

• [Club2] Invitation: Verified Analysis of List Update Algorithms @ Mon Apr 18, 2016 14:00 - 14:45 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Clone Detection in Isabelle Theories @ Wed Apr 27, 2016 14:00 - 14:30 (Club2)   julianbrunner at gmail.com

Last message date: Mon Apr 18 13:52:45 CEST 2016
Archived on: Mon Apr 18 13:53:07 CEST 2016

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