Dear all,
It is my pleasure to announce a fantastic list of keynotes -- Tevfik
Bultan, Tomasz Kuchta, and Corina Pasareanu -- for the upcoming KLEE'24
workshop:
https://srg.doc.ic.ac.uk/klee24/keynotes.html
The workshop will be co-located with ICSE'24, and will take place 15-16
April in Lisbon:
https://srg.doc.ic.ac.uk/klee24/
The early registration deadline is coming up, on 12 February:
https://conf.researchr.org/attending/icse-2024/registration
We hope to see many of you at the workshop in Lisbon!
Best wishes,
Cristian, Daniel, Frank, Martin, as KLEE'24 Chairs
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
