January 2016 Archives by author

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

Starting: Thu Jan 7 13:34:48 CET 2016
Ending: Tue Jan 12 13:13:20 CET 2016
Messages: 4

• [Club2] Invitation: Towards the Formal Analysis of Cyber-Physical Systems usi... @ Wed Feb 17, 2016 14:00 - 14:45 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Refinement-Based Development of Efficient Imperative Data... @ Thu Jan 14, 2016 14:00 - 16:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Eine Lösung des Stable Marriage Problems und drei Erweite... @ Wed Jan 13, 2016 15:00 - 16:30 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Taylor Models in Isabelle/HOL @ Wed Jan 20, 2016 14:00 - 14:45 (Club2)   julianbrunner at gmail.com

Last message date: Tue Jan 12 13:13:20 CET 2016
Archived on: Tue Jan 12 13:13:32 CET 2016

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