Hi all,
I'm very excited to announce the 3rd International KLEE Workshop on
Symbolic Execution (KLEE 2022), taking place in London and online on
15-16 September 2022:
https://srg.doc.ic.ac.uk/klee22/
https://twitter.com/kleesymex/status/1526310428485341187
The first two workshops were really great, with participants from around
the world (over 80 to the first one in London, over 200 to the second
one online) with an array of interesting keynotes, talks and posters:
https://srg.doc.ic.ac.uk/klee18/
https://srg.doc.ic.ac.uk/klee21/
I am looking forward to another one, so please consider contributing an
interesting presentation and/or poster:
https://srg.doc.ic.ac.uk/klee22/cfpresentations.html
https://srg.doc.ic.ac.uk/klee22/cfposters.html
Big thanks to Daniel, Frank, Martin, Hassan and Jamie for their role as
co-organizers of this 3rd edition!
Many thanks to Bloomberg, Samsung, Google and Imperial College London
for their sponsorship! To keep registration costs low, we are still
looking for a few more sponsors, so if your organization is interested
in sponsoring the workshop, please let me know.
Looking forward to seeing many of you in September!
Cristian
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev