[Club2] IJCAR talk rehearsal: This Thursday 10:00 Turing

Tobias Nipkow nipkow at in.tum.de
Tue Jul 6 14:31:21 CEST 2010


Hi all,

I will rehearse my 30 min IJCAR talk on Thursday at 10:00 in Turing
(00.09.055).

	Sledgehammer: Judgement Day

I hope to see you there!

Tobias


More information about the Club2 mailing list