Hi all,
We received some requests to extend the deadline. The new deadline is
now Thursday, 14th July, 23:55 BST (strict), see
https://srg.doc.ic.ac.uk/klee22/deadlines.html
We are looking forward to your submissions!
Cristian, on behalf of the KLEE'22 Organizing Team
On 12/07/2022 09:56, Cristian Cadar wrote:
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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
