Dear all,Based on some requests, we are extending the deadline for sending presentation proposals to the KLEE workshop to Tuesday, 12 May:
https://srg.doc.ic.ac.uk/klee20/cfpresentations.html Best, Cristian _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
