Dear Boyd Multerer,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/28zMJ1aToLXs1rn7Vxw9U3dc…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/2D_qsmzKk-2Dx6nXnqdKgd8X…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/2uR2PKDoa4EUUI70LC3EDAjk…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/26fyq4VNEBc6mKxzT8YuoTJA…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/2nkVxe0nfurnZeexhu37XNrv…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2ucrWRgJ_7ccBLYGxJQp75gg…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/2iqRnZa9gWQ9Flm6syPEVNzN…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/25B96s_GIJyi7aZWyQ0hM2xm…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2CpCsychkKiCzeHAYS8uzEY0…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/2tvf-_FDys5Jyeewfok9v4Dq…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
Dear Alain Kägi,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/2VFQsiH24DmjoWrUQQBZup8a…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/2NfyH9KAs2COBiVhXZaOEW50…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/2UoQI9mLUosx5Mo1pU9jHpjp…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/2HZMt4xIEaUwoSEvrLShlKb4…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/25Q8EVo7U2r2cWiUr1sxX-sK…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/29UeyGlIirExgX4sybAYJ_Oi…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/2n_9ejprAAo3Gq8o5fOOb_LS…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2j2d_tBOZa4Jj7lHHsUXRPjA…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2pCwdWYPzN85T5QLEHL2SHx2…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/25hn3uIc03kBpBqD17TR-3gx…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
Dear David Cock,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/2ZBeDj_ouWw697l8TwgJW266…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/2AgMgsvRBppRDl4_1p--YpwL…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/2KDO2582xW-kt0uyC1eZjy-U…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/2nhyzDvO2-UF5PyIq2wWkfnv…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/2e4kn9u58bq9ujUo_twT6qPF…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2NXmEAoi9iK-CBfMS-iWBegJ…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/2CGbjuS5-uNwFDgW_bxaWnRO…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/21lxul4vZ8emmdZUeXOX67g5…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2RgulTiEzhYy2WeQz-WFbEjW…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/26u1Qu6c-SwTuRBC-9MtIomZ…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
Dear Christophe Hof,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/2p99xMg5pyFIZTPX18z0Psn9…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/2kZv8-O3YR2VnxiGqLxQhjK2…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/2uJNS5FHai5K84gNouRzCSQ3…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/23A7KTiyEAnM7nA5abm0teij…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/20z1Orjh0t5MFUNi590Ymd-p…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/26OPGy-Q2eQ7l6eCrp-4AaHd…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/2XajmuoMQrVaSYipuX2NvQ5p…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/22QX5BmWS5jslDlBmNNuo0Ee…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2vFs3SdBO9M9Zpjef9t8qNWJ…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/2gOm2MDPjGLseAMzomV_G3PL…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
Dear Junming Zhao,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/2qaDJDYM7YNMW2mVcWy9HgBE…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/2FWbcjMrNJQngz0RkPVJthIQ…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/2Vv1lnGJPJ9_TmPgRsKOTM8c…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/2narfpHLLArUSv64_Kn_JiBp…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/27OBr5X2GF5p9uXOY1ODmYLJ…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2FLD_Q3EJ5ebrQgyOxJoQ2hG…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/2RSbryl6V9dSntGDpLVDObmn…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2H4U5F6jYsvSlkTeRz8yB3kC…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2oJxhlCF7iOk7-7Uo08Y14sX…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/2Fws2sNnCagTWBHAdfz5PWcX…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
Dear Thomas Sewell,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/2OIyE955vN38IztIvKrizNqs…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/2RRbt8mqe88uIziTAGzf58Ub…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/22G4SXKmL5Mz6hbx_lRajO9l…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/2SAlGxeZ_5UTvJobQ8i-8O27…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/2LVHKJ6DG0YoU7lOiQFV0dD7…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2SvdSmB0xl4gGtk4rmuwcTEy…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/2fuvT_p_a7mMCIZyUmMiOPAK…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2wJ7xEeK01Pkf0lN2IYeMjNL…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2uc5K-kTgK5k4D4Wj3FTB9mk…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/2evkaWQDXtCdu1u4pGZza6Kd…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
Dear Gernot Heiser,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/2nWlWfbXR9mKI84w4GZRk8PB…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/2JOD08So_JOLUe04Mrh0stP2…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/2HS46uh4Nulye1w-YMQTmI4m…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/2eCW6ScY3scPCGk9BT4VBn5l…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/2LRVLhPwd_xUsD3GHALimqRh…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2tQB3IsPioDc0PYwpQV-vwn3…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/24Ax9th7zj_JRhoyxhLN0qIE…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2T0QzMgqpkeJbPCfZqjtuEgw…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2poRjg4iV41q8hcKzVLj8Ex0…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/2-lpIg7Ev9rHtxgt5PCFDEP1…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
Dear Yuning Liang,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/2X3k2qAte_d0veo2bZ1PPK98…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/2B2YO71w_lXRcy4Zjruws7AM…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/2IhAl5ZgBAyGuRXHF-qWTOOL…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/2QaeEL-2grKYK4VmujT3cQwh…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/2qvVEEimoVXJ5QHqzJ0DVdhD…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2BqrM17M4xs1lAcfJng2Juen…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/2cJa-W5Y6Htx4132do149EqY…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2NbLvx1gvniqcMtNlfacqGX6…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2rYzocyd6fwgCOS23Ptbzm9G…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/2CqtA_HyE05-FABbXeZcPyif…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
Dear Alexander Weidinger,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/2bOt9BuLhFciK2dFHUwz99ER…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/21FU5hnpvO-_iztzc92K4rPF…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/2VycaQn1DJ3sYlUsHyUopHWB…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/2ZT4xnU68f-ZXddxFd6jQg8A…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/2IBcbWD568gvWJkh1Vf9c0ua…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/223O4GOfq4ChAdBjkWMplf2o…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/2Q67IcCkwTv_LAPTrEdIHUkt…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2Ik_qpYeD5gq2L7kvAu0oVZI…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2UZpCjIS7AQRbcFS_Z0EApAR…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/2RusrVcMr1XL2mbG87iYvrW6…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
Dear Sid Agrawal,
We look forward to seeing you in Prague, Czech Republic, for the seL4 Summit
<https://linuxfoundation-dot-yamm-track.appspot.com/2N577xMlNrTixNVwlS6o19Qu…>
next week. Below are important details to review in preparation for the
event. If you have any questions, please do not hesitate to contact
sorlick(a)contractor.linuxfoundation.org. Additional information can also be
found in the Know Before You Go section
<https://linuxfoundation-dot-yamm-track.appspot.com/2KYhsCFhc7S9mHa-MZqZ4OH7…>
of the Speaker Guide.
EVENT VENUE
Grandior Hotel Prague
<https://linuxfoundation-dot-yamm-track.appspot.com/2J-J2Y27Qw3p1f9ID7o6ht3U…>Na
Poříčí 1052/42, 110 00 Florenc, Czechia
BADGE PICK-UP
Collect your badge at registration located in Hotel Foyer.
CONFIRM YOUR SPEAKING SLOT AND TIME
Please check your presentation time(s) on the schedule
<https://linuxfoundation-dot-yamm-track.appspot.com/2KFn2He1fYsA8SCEIDg0noeB…>.
Let Stacey Orlick <sorlick(a)contractor.linuxfoundation.org> know if there
are any questions about your speaking slot.
AV DETAILS AND REQUIREMENTS
Please note the following technical requirements:
-
All speakers must supply their computers and adapters to use during
their talk.
-
The room will include a screen, projector, and (2) microphones.
-
An AV tech will be present during your presentation. Please visit the AV
table 10 minutes before your session to review microphone options and get
help with connecting your laptop if needed. All speakers should
review the Connecting
Your Laptop To Present
<https://linuxfoundation-dot-yamm-track.appspot.com/26DsJa0UF2mnB1VhcqnXXpSM…>
section in the Know Before You Go for important details for Google Slide
users.
PRESENTATION SLIDES
Presentation slides should be formatted in 16:9, and a PDF copy of your
deck should be uploaded to Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2dS9kwZKLZjEI57CXeGuu2fI…>
by Tuesday, 29 August.
Please follow these instructions (guide with visual examples
<https://linuxfoundation-dot-yamm-track.appspot.com/29fl3hc8wKx9S7y_i9YSq6Gc…>
):
-
Log into your seL4 Summit 2024 speaker profile through Sched.com
<https://linuxfoundation-dot-yamm-track.appspot.com/2vQ-HgqM41rZMNbHhVpHwjkN…>
-
Go to your session within Sched
-
Click on Session tools to the right of the session title
-
Underneath the session title, select Add Presentation
-
Upload your PDF document (note: there is a 50MB size limit)
-
The presentation will automatically save to your session
-
If you need assistance, please reach out to Stacey Orlick
<sorlick(a)contractor.linuxfoundation.org>
BUILD YOUR SCHEDULE
Log in to https://sel4summit2025.sched.com/
<https://linuxfoundation-dot-yamm-track.appspot.com/2tjF-1OtBztFgkxczk5nyT_y…>
to use the Agenda Builder, create a personalized schedule, save it to your
phone, print, and share.
KNOW THE CODE
Please read and abide by our Code of Conduct
<https://linuxfoundation-dot-yamm-track.appspot.com/2CbngToTqbuZIaPzzBlDcUJU…>,
which is strictly enforced. We ask that speakers especially review this
Code of Conduct and are careful to be inclusive in the words and images
used during their presentations.
CONFERENCE ATTIRE
There is no set dress code and, like many open source events, attendees
will dress in a range, from jeans to suits. Our recommendation is business
casual; jeans are absolutely acceptable. Please layer up; conference rooms
have a tendency to get cold.
ONSITE CONTACT
If you have any questions while onsite, please don't hesitate to contact
Evi Harmon at eharmon(a)linuxfoundation.org.
We look forward to seeing you next week!
seL4 Summit Content Team
[image: beacon]
