[Club2] TAP/FLoC dry runs

[Jasmin Blanchette]

Hi all,

I'm preparing three to four talks (for TAP, IJCAR, and ITP; perhaps  
AMAST) and would like to rehearse them in the coming weeks, to avoid a  
"traffic jam" a few weeks before FLoC and the Isabelle workshop. I had  
the following tentative schedule in mind:

TAP ("Relational Analysis of (Co)inductive Defs. etc."): Wed. May 12
IJCAR ("Monotonicity Inference for HOL"): Wed. May 19
ITP ("Nitpick"): Wed. May 26

(And AMAST ("Nonstandard Models"): Wed. June 2 if the paper with Koen  
Claessen is accepted.)

At 14:00 or 15:00.

Let me know in the coming days if you have any preferences or  
objections. I'll then make the necessary arrangements and send a new  
email to confirm. I naturally would not expect you to come to all  
three (or four) talks; perhaps you want to choose one or two that you  
find more interesting.

Thanks!

Jasmin