June 2010 Archives by thread

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

Starting: Thu Jun 17 13:52:00 CEST 2010
Ending: Mon Jun 28 09:10:02 CEST 2010
Messages: 3

• [Club2] 21.06.2010 -- Verification of BDD algorithms by refinement of trees   Florian Haftmann
• [Club2] ITP dry run   Sascha Boehme
• [Club2] Talk by Tjark Weber on July 2   Jasmin Christian Blanchette

Last message date: Mon Jun 28 09:10:02 CEST 2010
Archived on: Mon Jun 28 09:10:21 CEST 2010

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