[klee-dev] Registration open for KLEE Workshop on Symbolic Execution

[Cristian Cadar]

Hi all,

For the upcoming KLEE Workshop on Symbolic Execution 
(https://srg.doc.ic.ac.uk/klee18/), we have assembled a fantastic 
program of academia and industry keynotes, as well as contributed 
presentations and posters.

If you would like to participate, registration is now open (and free!) 
at https://srg.doc.ic.ac.uk/klee18/registration.html

Best,
Cristian