Following four successful KLEE workshops (2018, 2021, 2022 and 2024), which have brought together over 450 participants from six different continents spanning academia, industry and government, one of the main goals of the KLEE 2026 workshop is to get together symbolic execution researchers, KLEE developers and KLEE 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.
While a particular emphasis will be placed on the KLEE ecosystem, the workshop will more broadly discuss recent developments in symbolic execution and related areas, such as fuzzing and constraint solving.
Please visit https://srg.doc.ic.ac.uk/klee26/ for more information.
Call for Presentations and Posters
Please see the Call for Presentations and the Call for Posters on the KLEE 2026 website.
| Fri 24 Apr 2026updated Early Submission Deadline |
| Fri 15 May 2026new Early Notification |
| Fri 10 Jul 2026new Late submission deadline |
| Fri 24 Jul 2026new Late notification |
- No members yet