[Club2] Wed. Feb 16 and Mar 16, 14:00: Jasmin Blanchette
Jasmin Blanchette
jasmin.blanchette at gmail.com
Sun Feb 13 21:47:02 CET 2011
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
More information about the Club2
mailing list