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 _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev