October 2010 Archives by date

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

Starting: Mon Oct 4 09:49:05 CEST 2010
Ending: Tue Oct 26 23:47:26 CEST 2010
Messages: 8

• [Club2] Mon Oct. 4th 2011, 10:00: Functional Binomial Queues in Isabelle/HOL   Florian Haftmann
• [Club2] Reminder: Talks from 14:00 today   Jasmin Christian Blanchette
• [Club2] Mon Oct. 18, 16:00: [Grechuk Bogdan] Isabelle as a Proof Assistant for Mathematicians   Johannes Hölzl
• [Club2] Vortrag am 20.10.   Johannes Hölzl
• [Club2] Wed. Oct 20, 15:15: Fabian Immler   Alexander Krauss
• [Club2] Wed. Oct 27, 14:00: Andrei Popescu   Alexander Krauss
• [Club2] Wed, Nov. 17, 14:00 Christian Urban   Christian Urban
• [Club2] ROOM CHANGE: Wed. Oct 27, 14:00: Andrei Popescu   Alexander Krauss

Last message date: Tue Oct 26 23:47:26 CEST 2010
Archived on: Tue Oct 26 23:47:31 CEST 2010

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