(Apologies for the formatting issues in the last attempt)
We are very fortunate to welcome four leaders at major funding agencies to participate in a session "Funding agencies: priorities and vision" at the seL4 summit. They will each give their views on the priorities and vision of their agency in terms of high-assurance systems.
https://sel4.systems/Foundation/Summit/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
The seL4 Foundation thanks DornerWorks<https://dornerworks.com/> for becoming a Bronze sponsor of the seL4 Summit 2022<http://localhost:8080/Foundation/Summit/>.
DornerWorks<https://dornerworks.com/> helps product makers turn their ideas into reality with FPGA, hardware, and embedded software engineering expertise. Among other areas, DornerWorks specialises in seL4 microkernel-based development.
Innovative companies are building products on a trusted software base with the guidance of DornerWorks engineers. As a founding member of the seL4 Foundation, DornerWorks can accelerate the integration of seL4 as the trusted software base for your products.
If you are interesting in sponsoring the seL4 summit 2022, please contact summit(a)sel4.systems<mailto:summit@sel4.systems>.
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
The seL4 Foundation thanks Horizon Robotics<https://horizon.ai/> for becoming a Bronze sponsor of the seL4 Summit 2022<https://sel4.systems/Foundation/Summit/>.
Horizon Robotics is a global leader in the development of artificial intelligence computing platforms. Its mission is to make driving safer and more convenient as drivers transition to intelligent and self-driving vehicles.
Premium member of the seL4 Foundation, Horizon works with members of seL4 Foundation to build mixed-critical platform and solution for next-generation autonomous driving vehicles.
If you are interesting in sponsoring the seL4 summit 2022, please contact summit(a)sel4.systems<mailto:summit@sel4.systems>.
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Hi all
seL4 Summit 2022: A friendly reminder that there are only a few days left to book a summit ticket at the early bird rate
The early bird rate ends on 12 Sep 2022.
seL4 Summit 2022
This hybrid event will be held in Munich, Germany, 10-13 October 2022.
The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.
Tickets include:
* Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
* A one-day bootcamp with workshops and trainings
* Networking with other seL4 experts and enthusiasts
* Participation in the mentoring program (for students and junior engineers)
For more information, please visit https://sel4.systems/Foundation/Summit/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm