Dear all,
The late (and last) submission deadline for the KLEE'24 workshop is this
Friday!
We have already accepted a number of interesting presentations and
posters in the early submission round, and we are looking forward to
more interesting contributions in the second round!
https://srg.doc.ic.ac.uk/klee24/
Also, the registration for the workshop, which next year is co-located
with ICSE'24, is open!
https://conf.researchr.org/attending/icse-2024/registration
Best wishes,
Cristian
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
