The KLEE Workshop is organised by Klovo and the Software Reliability Group at Imperial College London, in particular by: