Hi all,
Just a reminder that the deadline for presentation and poster proposals
to the next KLEE Workshop is today, 12th July.
Best,
Cristian
On 11/06/2022 22:55, Cristian Cadar wrote:
Hi all,
The submission site for the 3rd KLEE Workshop is now OPEN! The deadline
is in about one month, on 12th July. We are looking forward to your
interesting presentation and poster proposals! Remember that the
workshop has no proceedings, so you can present both published and
ongoing work.
https://srg.doc.ic.ac.uk/klee22/cfpresentations.html
https://srg.doc.ic.ac.uk/klee22/cfposters.html
Best,
Cristian, on behalf of the KLEE'22 Organising Team
-------- Forwarded Message --------
Subject: [klee-dev] 3rd International KLEE Workshop on Symbolic
Execution -- 15-16 September, London and online
Date: Mon, 16 May 2022 23:00:20 +0100
From: Cristian Cadar <c.ca...@imperial.ac.uk>
To: klee-dev@imperial.ac.uk <klee-dev@imperial.ac.uk>
Hi all,
I'm very excited to announce the 3rd International KLEE Workshop on
Symbolic Execution (KLEE 2022), taking place in London and online on
15-16 September 2022:
https://srg.doc.ic.ac.uk/klee22/
https://twitter.com/kleesymex/status/1526310428485341187
The first two workshops were really great, with participants from around
the world (over 80 to the first one in London, over 200 to the second
one online) with an array of interesting keynotes, talks and posters:
https://srg.doc.ic.ac.uk/klee18/
https://srg.doc.ic.ac.uk/klee21/
I am looking forward to another one, so please consider contributing an
interesting presentation and/or poster:
https://srg.doc.ic.ac.uk/klee22/cfpresentations.html
https://srg.doc.ic.ac.uk/klee22/cfposters.html
Big thanks to Daniel, Frank, Martin, Hassan and Jamie for their role as
co-organizers of this 3rd edition!
Many thanks to Bloomberg, Samsung, Google and Imperial College London
for their sponsorship! To keep registration costs low, we are still
looking for a few more sponsors, so if your organization is interested
in sponsoring the workshop, please let me know.
Looking forward to seeing many of you in September!
Cristian
_______________________________________________
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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev