Dear all, I am excited to announce the 2nd International KLEE Workshop on Symbolic Execution, which will take place on 14-15 September 2020 at Imperial College London: https://srg.doc.ic.ac.uk/klee20/
The goal of the workshop is to bring together symbolic execution researchers, KLEE users and KLEE developers to exchange ideas, find out about new research in the field, understand each other’s interests and needs, discuss the evolution of KLEE, and more. The first edition of the workshop (https://srg.doc.ic.ac.uk/klee18/) was really great, with a fantastic set of presentations from both academia and industry and excellent discussions on KLEE, symbolic execution and related topics. I hope you'll make the second edition of the workshop equally successful by responding to the call for presentations, with a deadline of 8 May: https://srg.doc.ic.ac.uk/klee20/cfpresentations.html We will also be making regular announcements about the workshop via @kleesymex on Twitter (the tweets are also available on the workshop webpage). Finally, but importantly to keep registration costs low, if your company would like to sponsor the workshop, please get in touch! Best, Cristian and the KLEE 2020 Organising Team _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev