For those of you who registered, just a reminder that the workshop
starts in 15' (making sure there is no timezone confusion!)
Best,
Cristian
On 09/06/2021 12:55, Cristian Cadar wrote:
Hi all,
Just a reminder that the registration for the KLEE workshop is closing
today. We have around 200 registrations, and many interesting talks, so
it should be a lively workshop!
https://srg.doc.ic.ac.uk/klee21/registration.html
For those of you who have registered (except those having registered
today), you should have received an email called "Instructions for
attending the 2nd International KLEE Workshop" from kleesy...@gmail.com.
If you haven't received it, please check your spam folder first and
then email us at kleesy...@gmail.com.
Best,
Cristian
On 25/05/2021 17:56, Cristian Cadar wrote:
Hi all,
I am happy to let you know that registration is now open for the 2nd
KLEE workshop, taking place online on 10-11 June:
https://srg.doc.ic.ac.uk/klee21/registration.html
We have a very interesting program with a keynote from Chao Wang on
adversarial symbolic execution for detecting side-channel leaks:
https://srg.doc.ic.ac.uk/klee21/keynote.html
and 24 presentations from across the globe on a variety of interesting
topics:
https://srg.doc.ic.ac.uk/klee21/presentations.html
Big thanks to our sponsors this year: Bloomberg, Samsung, Google and
Imperial College London!
Best,
Cristian
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
