The KLEE Workshop is organized by the Software Reliability Group at Imperial College London.