With the workshop fast approaching, I have been waiting for registration to open (and wondering if the workshop is only open to those presenting). https://srg.doc.ic.ac.uk/klee21/registration.html -- Alastair -------------- next part -------------- HTML attachment scrubbed and removed