Re: summit social activities
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
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 <mailto: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 <mailto: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 <mailto: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 <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>
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
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
👍 Birgit Brecknell reacted via Gmail <https://www.google.com/gmail/about/?utm_source=gmail-in-product&utm_medium=et&utm_campaign=emojireactionemail#app> On Mon, 1 Sept 2025 at 13:23, 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
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
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
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
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
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
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 <mailto: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 <mailto: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 <mailto: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 <mailto: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 <mailto: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 <mailto: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 <mailto:birgit@sel4.systems> >> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>
Summit mailing list -- summit@sel4.systems To unsubscribe send an email to summit-leave@sel4.systems
participants (3)
-
Birgit Brecknell -
June Andronick (seL4 Foundation) -
Nick Spinale