[Club2] TAP/FLoC dry runs, updated schedule

[Jasmin Blanchette]

Am 10.05.2010 um 12:34 schrieb Jasmin Blanchette:

> TAP 2010
> Relational Analysis of (Co)inductive Predicates, (Co)inductive Datatypes, and (Co)recursive Functions
> http://www4.in.tum.de/~blanchet/tap2010-relational.pdf
> Wed. May 12, 2010 at 14:00 in Turing (00.11.055)

I don't feel well today, so I'll have to cancel the presentation and go home :(

Jasmin