October 2015 Archives by thread

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

Starting: Fri Oct 9 14:45:36 CEST 2015
Ending: Wed Oct 28 16:21:59 CET 2015
Messages: 4

• [Club2] Invitation: Verified Analysis of Algorithms for the List Update Problem @ Wed Oct 28, 2015 14:00 - 14:45 (Club2)   julianbrunner at gmail.com
• [Club2] Canceled Event: Clone Detection in Isabelle Theories @ Wed Oct 14, 2015 14:30 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Updated Invitation: Formalization of Gibbard's random dictatorship theorem in... @ Wed Oct 14, 2015 14:30 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Gröbner Bases and Reduction Rings in Theorema @ Wed Nov 4, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com

Last message date: Wed Oct 28 16:21:59 CET 2015
Archived on: Wed Oct 28 16:22:13 CET 2015

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