[klee-dev] [REMINDER] Registration now open for the 2nd International KLEE Workshop on Symbolic Execution

[Cristian Cadar]

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 kleesymex at gmail.com. 
  If you haven't received it, please check your spam folder first and 
then email us at kleesymex at 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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev