Dear all,
It is my great pleasure to announce the 5th edition of the International
KLEE Workshop on Symbolic Execution, KLEE 2026!
https://srg.doc.ic.ac.uk/klee26/
KLEE 2026 will take place on 15-16 October in Munich, Germany,
co-located with ASE 2026, one of the top software engineering conferences.
KLEE 2026 follows four successful editions (2018, 2021, 2022 and 2024),
which together have gathered over 450 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 have a
call for presentations and posters, which are already up! 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 24th of April!
We thank again our sponsors for the first three editions: UK EPSRC,
Baidu, Bloomberg, Fujitsu, Google, Qualcomm, Huawei, Samsung, Trail of
Bits, ACM, IEEE, and Imperial College London. If you would like to
sponsor the 2026 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 2026 Chairs
_______________________________________________
klee-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
