[klee-dev] 3rd International KLEE Workshop on Symbolic Execution -- submission site NOW OPEN

[Cristian Cadar]

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.cadar at imperial.ac.uk>
To: klee-dev at imperial.ac.uk <klee-dev at 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 at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev