[klee-dev] 2nd KLEE Workshop: Presentation proposals due on 10th May

[Cristian Cadar]

Hi all,

Just a quick reminder that the presentation proposal deadline for the 
2nd International KLEE Workshop on Symbolic Execution is coming up, on 
Monday, 10th May.

We have already received many interesting proposals, but there is still 
time for more!

https://srg.doc.ic.ac.uk/klee21/cfpresentations.html

Best,
Cristian