Registration
Registration is now CLOSED. We have received over 200 registrations!
Please complete the registration request form to participate in the 2nd International KLEE Workshop on Symbolic Execution, which will take place 10-11 June 2021 as a virtual event. Registration to the workshop is currently free. However, since we have a limited number of spaces we ask you to register only if you can attend the workshop. The registration closes 9 June 2021 at 7:00pm (BST).