February 2016 Archives by date

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

Starting: Thu Feb 11 13:51:35 CET 2016
Ending: Mon Feb 29 17:22:18 CET 2016
Messages: 6

• [Club2] Invitation: Markov chains and Markov decision processes in Isabelle/HOL @ Wed Feb 17, 2016 14:45 - 15:45 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Multiple Precision Floating Point Arithmetic in Isabelle/HOL @ Wed Mar 30, 2016 14:00 - 14:30 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: An executable specification of BDDs in Isabelle @ Fri Feb 26, 2016 14:00 - 14:30 (Club2)   julianbrunner at gmail.com
• [Club2] Updated Invitation: An executable specification of BDDs in Isabelle @ Fri Feb 26, 2016 13:30 - 14:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Ein Testrahmen für funktionale Datenstrukturen @ Wed Feb 24, 2016 14:00 - 14:30 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Linear Differential Equations in Isabelle/HOL @ Wed Mar 2, 2016 14:00 - 14:45 (Club2)   julianbrunner at gmail.com

Last message date: Mon Feb 29 17:22:18 CET 2016
Archived on: Mon Feb 29 17:22:30 CET 2016

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