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@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
