[klee-dev] KLEE 2024: First (visa-safe) submission deadline is TODAY

[Cristian Cadar]

Hi all,

A final reminder about the first (visa-safe) submission deadline for 
KLEE 2024.  We are looking forward to your submissions!  And thanks to 
everyone who has already submitted their interesting work!

https://srg.doc.ic.ac.uk/klee24/cfpresentations.html
https://srg.doc.ic.ac.uk/klee24/cfposters.html

Best,
Cristian

On 27/10/2023 13:23, Cristian Cadar wrote:
> Hi all,
> 
> Just a short reminder that there is one week left until the early 
> submission deadline for KLEE 2024!  As I mentioned before, the 
> submission process is very lightweight: an abstract and a link to 
> already published work that you'd like to present, or an extended 
> abstract of up to two pages for work in progress.
> 
> https://srg.doc.ic.ac.uk/klee24/
> https://srg.doc.ic.ac.uk/klee24/
> 
> Best wishes,
> Cristian
> 
> On 13/09/2023 12:57, Cristian Cadar wrote:
>> Dear all,
>>
>> It is my great pleasure to announce the 4th edition of the 
>> International KLEE Workshop on Symbolic Execution, KLEE 2024!
>>
>> KLEE 2024 will take place in April in Lisbon, Portugal, co-located 
>> with ICSE 2024, the flagship software engineering conference:
>> https://srg.doc.ic.ac.uk/klee24/
>>
>> KLEE 2024 follows three successful editions (2018, 2021 and 2022), 
>> which   together have gathered over 400 participants from six 
>> different continents spanning academia, industry and government.  One 
>> of the main goals of the workshop is to get together symbolic 
>> execution researchers, as well as KLEE developers and users to 
>> exchange ideas, understand each other’s interests and needs, and 
>> discuss the evolution of symbolic execution technology.  A particular 
>> emphasis will be placed on connecting academic researchers working 
>> with KLEE and symbolic execution with industrial users interested in 
>> using KLEE to improve their software products.
>>
>> As in prior years, the workshop has no proceedings.  Instead, we will 
>> have a call for presentations and posters; the submission site is 
>> already open!  Both published and ongoing work are welcome to be 
>> presented and the submission is low-effort: an abstract and a link to 
>> published work, or an extended abstract of up to two pages for work in 
>> progress.
>>
>> The first round deadline (which is more likely to guarantee a 
>> presentation/poster slot, as well as provide ample time to obtain a 
>> visa if needed) is on 3rd of November!
>>
>> We thank again our sponsors for the first three editions: UK EPSRC, 
>> Baidu, Bloomberg, Fujitsu, Google, Qualcomm, Huawei, Samsung, Trail of 
>> Bits and Imperial College London.  If you would like to sponsor the 
>> next edition, please get in touch with me by replying to this message.
>>
>> Looking forward to your submissions,
>> Cristian, also on behalf of Daniel, Frank and Martin as KLEE 2024 Chairs
>>
>> _______________________________________________
>> 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