seL4 summit 2025: survey about location

1

With the great success of the seL4 summit 2024 behind us, we are now looking at the seL4 summit 2025! This should happen around Sep/Oct 2025, and will be held in Europe.

We have started investigating options for the location, and would like your feedback. We would greatly appreciate it if you could fill in this very short survey to tell us your opinions:

seL4 summit 2025 location survey

Please do so by 29 Nov 2024.

Feel free to forward to anyone you believe may want to attend the summit next year.

sel4_summit
sel4_summit443×194 8.07 KB

2

I’m trying to submit the form, but it gives me a 403 error. I’m not certain whether it’s going through.

3

Hi @dcock
That’s weird; it seems to be working for others (we’ve had 18 submissions). If you’re still having issues, can you please send your responses directly to me birgit@sel4.systems, either by text or screenshot?