Registration

In-person Registration

The in-person registration is now open! Please register at Imperial College London: 3rd International KLEE Worksop on Symbolic Execution. Since we have a limited number of spaces we ask you to register only if you can attend the workshop.

Online Participation

Registration for online participation is now open and FREE. However, we expect anyone who registers to attend at least a couple of sessions, and we might need to restrict numbers. If your registration is successful, you will receive an additional email confirming it and sending the details for joining the workshop. We encourage you to join in-person to benefit most from the workshop but we try to accommodate everyone who cannot attend by providing a lightweight online participation. That means we stream the talks via Zoom and allow online participants to ask questions in the Q&A sessions when time permits.

The deadline for online registration is 8 September 2022.