Dear all, this is just a quick reminder that the deadline to register for the competition dinner at FLoC is on Monday (June 28). For more information, please see http://www.cs.miami.edu/~tptp/CASC/J5/CASCRegistration.html Best Regards Juergen