September 2015 Archives by thread

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

Starting: Thu Sep 3 10:39:05 CEST 2015
Ending: Tue Sep 22 18:15:20 CEST 2015
Messages: 5

• [Club2] Invitation: Verifikation der amortisierten Laufzeit von Pairing Heaps... @ Wed Sep 9, 2015 14:00 - 15:00 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Clone Detection in Isabelle Theories @ Wed Oct 14, 2015 14:45 - 15:30 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Functor-Preserving Type Definitions in Isabelle/HOL @ Wed Oct 14, 2015 14:00 - 14:45 (Club2)   julianbrunner at gmail.com
• [Club2] Invitation: Formalization of Gibbard's random dictatorship theorem in... @ Wed Oct 14, 2015 15:00 - 15:30 (Club2)   julianbrunner at gmail.com
• [Club2] Talks on 10/14/2015   Julian Brunner

Last message date: Tue Sep 22 18:15:20 CEST 2015
Archived on: Tue Sep 22 18:15:43 CEST 2015

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