Hi Nick,

No worries and sorry to hear you have to deal with it. I hope it’ll get resolved soon and that you’ll enjoy the tour this afternoon. See you soon.

June

On 2 Sep 2025, at 10:09, Nick Spinale via Summit <summit@sel4.systems> wrote:

Hello All,

I apologize for the noise about this, but I woke up this morning in a post-materialistic state of zen. I've purchased some clothes to wear and am fine to remain the point of contact for the clock tower tour.

Best,
Nick


On Tue, Sep 2, 2025 at 3:14 AM Nick Spinale <nick.spinale@coliasgroup.com> wrote:
Hello Birg,

I may have spoken too soon. I’ve run into a travel mess that may interfere with my participation in the social activities.

I’m in Prague so I suppose I can’t complain too much, but my bag is still in Amsterdam. I think today I’ll have to prioritize dealing with this mess during the day to ensure I have something to wear during the summit (waiting on hold with KLM, washing what clothes I do have at a laundromat, finding new clothes, etc).

Can we remove my name from the website? I’ll still try to make it to the 2:00 clock tower tour, but I’m not in a good position to be a guaranteed point of contact.

Sorry for the inconvenience.

Best,
Nick

On Mon, Sep 1, 2025 at 5:23 AM Nick Spinale <nick.spinale@coliasgroup.com> wrote:
Hi Birg,

Yes, feel free to post that and any other useful info.

Best,
Nick

On Sun, Aug 31, 2025 at 8:19 PM Birgit Brecknell <bbrcknl@gmail.com> wrote:
Hi Nick

Thank you! That would be very helpful. Is it ok if I include a link with https://nickspinale.com/, so people can contact you, if they want to join the clock tower tour?

cheers
Birg

On Mon, 1 Sept 2025 at 13:00, Nick Spinale <nick.spinale@coliasgroup.com> wrote:
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


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


_______________________________________________
Summit mailing list -- summit@sel4.systems
To unsubscribe send an email to summit-leave@sel4.systems