May 2016 Archives by thread

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

Starting: Tue May 3 14:11:02 CEST 2016
Ending: Wed May 25 17:58:38 CEST 2016
Messages: 4

• [Club2] Invitation: Computer-Checked Logical Inference Systems @ Wed May 11, 2016 14:00 - 14:30 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Formalization of the Resolution Calculus for First-Order ... @ Wed May 11, 2016 14:30 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Formal Verification of an Executable LTL Model Checker wi... @ Wed Jun 1, 2016 14:00 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Translating Scala Programs to Isabelle/HOL @ Wed Jun 22, 2016 14:00 - 15:00 (Club2)   julianbrunner at gmail.com

Last message date: Wed May 25 17:58:38 CEST 2016
Archived on: Wed May 25 17:58:55 CEST 2016

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