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

[Cristian Cadar]

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