[klee-dev] 2nd International KLEE Workshop on Symbolic Execution

[Cristian Cadar]

Dear all,

I am writing to remind you of the deadline for submitting a presentation 
proposal to the upcoming KLEE workshop: Friday, 8 May.

I realize now that things are quite uncertain due to the COVID-19 
situation.  Therefore, we have also reserved 22-23 April 2021 as 
alternative dates if we need to postpone the workshop, and added a 
question about your availability on EasyChair (don't worry if you have 
already submitted, we will contact you separately later on).  But it 
would still be helpful to get your submissions now, to get a better feel 
for your interest and preferences in the workshop.

Best,
Cristian

On 19/02/2020 14:58, Cadar, Cristian wrote:
> Dear all,
> 
> I am excited to announce the 2nd International KLEE Workshop on Symbolic
> Execution, which will take place on 14-15 September 2020 at Imperial
> College London:
> https://srg.doc.ic.ac.uk/klee20/
> 
> The goal of the workshop is to bring together symbolic execution
> researchers, KLEE users and KLEE developers to exchange ideas, find out
> about new research in the field, understand each other’s interests and
> needs, discuss the evolution of KLEE, and more.
> 
> The first edition of the workshop (https://srg.doc.ic.ac.uk/klee18/) was
> really great, with a fantastic set of presentations from both academia
> and industry and excellent discussions on KLEE, symbolic execution and
> related topics.
> 
> I hope you'll make the second edition of the workshop equally successful
> by responding to the call for presentations, with a deadline of 8 May:
> https://srg.doc.ic.ac.uk/klee20/cfpresentations.html
> 
> We will also be making regular announcements about the workshop via
> @kleesymex on Twitter (the tweets are also available on the workshop
> webpage).
> 
> Finally, but importantly to keep registration costs low, if your company
> would like to sponsor the workshop, please get in touch!
> 
> Best,
> Cristian and the KLEE 2020 Organising Team
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>