[klee-dev] Workshop starting in 15'!

[Cristian Cadar]

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 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
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev