[klee-dev] KLEE'24 workshop late submission deadline this Friday

[Cristian Cadar]

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