Hello June and Birg, I will be arriving to Prague in time to be a point of contact for one of the social activities, if that would still be helpful. Of the two still without a point of contact on the website, the clock tower would be my first choice. See those of you traveling to Prague soon! Best, Nick On Fri, Jun 20, 2025 at 5:55 AM June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Hi Nick,
Please don’t see any obligation to change your travel plans. These are informal, so it’s just that if you are around, it’s be great if you could put your name down for one, but it’s ok if not.
Cheers June
On 20 Jun 2025, at 08:24, Nick Spinale <nick.spinale@coliasgroup.com> wrote:
Hi Birgit,
I think that would be fun, but I may not be in Prague in time. I'm not sure yet as I haven't booked my travel, but I'm planning on squeezing in some travelling/visiting in central Europe beforehand. If you're unable to find others to take on these roles, I could specifically design my travel plans so that I get to Prague in time to help out here.
Best, Nick
On Thu, Jun 19, 2025 at 7:06 PM Birgit Brecknell <bbrcknl@gmail.com> wrote:
Hi Nick, Robbie
Just wondering whether you’d like to volunteer to be the point of contact for any of these summit social activities?
- Prague Castle - Prague Astronomical Clock Tower - Prague Sightseeing Cruise
https://sel4.github.io/website_pr_hosting/PR_478/Summit/2025/program.html#so...
It might be helpful to other attendees if they know at least one person from the community who’s going.
BTW Sorry for the influx of emails! It should start to slow down a little now that the main program is done.
cheers Birg
Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems bbrcknl@gmail.com