The 4th International KLEE Workshop on Symbolic Execution is coming! Join us from 15–16 April 2024 in Lisbon!