[Termtools] CASC dinner at IJCAR 2012

[Albert Rubio]

Dear all,

the CASC dinner 
(http://www.cs.miami.edu/~tptp/CASC/J6/CASCRegistration.html) will be on 
27th June. As it was successfully done two years ago at FLoC, the dinner 
is open to all participants to the different competitions (CASC, SMT, 
TERMCOMP and OWL) taking place at IJCAR.

So, anyone willing to participate have to register through the IJCAR 
registration page http://ijcar.cs.manchester.ac.uk/?page_id=40

Best,

Albert