Dear all,
I am writing to remind you of the deadline for submitting a presentation
proposal to the upcoming KLEE workshop: Friday, 8 May.
I realize now that things are quite uncertain due to the COVID-19
situation. Therefore, we have also reserved 22-23 April 2021 as
alternative dates if
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
