[Club2] Wed. Feb 16 and Mar 16, 14:00: Jasmin Blanchette

[Jasmin Blanchette]

Am 13.02.2011 um 21:24 schrieb Alexander Krauss:

> this Wednesday, Jasmin will give a preview of his talk at the  
> Deduction Seminar. Another Sledgehammer talk rehearsal (this time  
> for SVARM 2011) is scheduled for March 16.

There's a copy-paste mistake in the second talk's date, of course (I  
can't hold both simultaneously):

> Sledgehammer: A Link between Interactive and Automatic Theorem Provers
> ======================================================================
> Wed. Feb 16, 14:00, MI 00.09.055 ("Alan Turing")

s/Feb/Mar/

Jasmin