[klee-dev] Deadline TODAY for presentation and poster proposals to the next KLEE Workshop

[Cristian Cadar]

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