Sommet seL4 2026

About This Event

Le Sommet seL4 est le rendez-vous international annuel consacré au micro-noyau seL4, le noyau de système d'exploitation le plus fiable au monde, ainsi qu'à l'ensemble des technologies, outils, infrastructures, produits, projets et acteurs liés à seL4. Son objectif est de rassembler la communauté seL4 pour apprendre, partager et échanger : découvrir la technologie seL4, ses dernières avancées, ses applications, ses réussites, ses défis et ses projets ; partager des développements passionnants, des recherches, des expériences et des applications concrètes ; et rencontrer d'autres développeurs, utilisateurs, fournisseurs, clients, soutiens, partenaires potentiels et passionnés de seL4.

L'édition 2026 du Sommet seL4 proposera une première journée entièrement consacrée aux applications, aux présentations et aux perspectives des systèmes basés sur seL4 et des logiciels formellement vérifiés. Les deuxième et troisième journées seront consacrées à des développements plus techniques, à la recherche, aux rapports et aux discussions.

Nous accueillons avec grand plaisir les personnes qui découvrent seL4 ou qui souhaitent approfondir leurs connaissances de cette technologie. Cet événement sera l'occasion idéale d'avoir une vue d'ensemble du paysage et de l'écosystème de seL4 et de ses outils, frameworks et langages associés, ainsi que des logiciels formellement vérifiés en général, et de faire le point sur les dernières mises à jour.