Your thoughts on the seL4 summit 2025
Name
*
First Name
Last Name
Email
*
example@example.com
I am likely to attend the seL4 summit 2025
*
Yes
No
My order of preference for the seL4 summit 2025 location is
*
Please Select
1. Bordeaux, 2. Prague, 3. Zurich
1. Bordeaux, 2. Zurich, 3. Prague
1. Prague, 2. Bordeaux, 3. Zurich
1. Prague, 2. Zurich, 3. Bordeaux
1. Zurich, 2. Bordeaux, 3. Prague
1. Zurich, 2. Prague, 3. Bordeaux
No preference
I would *not* attend the summit, if it is held in
Bordeaux
Prague
Zurich
I attended previous seL4 summits
*
Yes
No
I presented at previous seL4 summits
*
Yes
No
I am likely to submit a talk proposal in 2025
*
Yes
No
I don't know yet
Submit
Should be Empty: