[Caml-list] Automated Reasoning Workshop 2008 (Extended Deadline)

2008-06-16 Thread Louise Dennis
by the deadline below. Payment is made by cheque during or after the symposium. To indicate your interest, please send a short email to Louise Dennis ([EMAIL PROTECTED]) any time before 1st June 2008. ARW Meal We will

[Caml-list] Automated Reasoning Workshop 2008

2008-06-07 Thread Louise Dennis
your interest, please send a short email to Louise Dennis ([EMAIL PROTECTED]) any time before 1st June 2008. ARW Meal We will organise a workshop meal. Details coming soon