[klee-dev] Reminder: 1st International KLEE Workshop on Symbolic Execution: Call for Contributions

[Cristian Cadar]

Hi all, just a reminder that the deadline for proposing presentations 
and posters for the KLEE Workshop on Symbolic Execution is in a week, on 
21 January.

Cristian

On 20/12/2017 12:51, Cristian Cadar wrote:
> Hi all,
> 
> I am excited to announce that we'll be organizing the 1st International 
> KLEE Workshop on Symbolic Execution, to be hosted at Imperial College 
> London on 19-20 April 2018:
>       https://srg.doc.ic.ac.uk/klee18/
> 
> 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 calls for contributions are now out:
> https://srg.doc.ic.ac.uk/klee18/cfpresentations.html
> https://srg.doc.ic.ac.uk/klee18/cfposters.html
> 
> The submission process is lightweight, essentially a description of the 
> presentation or poster that you plan to present.  The deadline is in a 
> month from now, on 21 January.
> 
> Participation for those registering before the early registration 
> deadline of 10 February 2018 is free of charge.
> 
> I hope as many of you will consider giving a talk, present a poster and 
> participate.
> 
> We will be also making regular announcements about the workshop via 
> @kleesymex on Twitter (the tweets are also available on the workshop 
> webpage).
> 
> Best wishes,
> Cristian
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev