2023年seL4峰会于2023年9月19日至21日在美国明尼阿波利斯的Elliot Park Hotel举行，由 Linux 基金会主办。Google Research 团队发表了介绍 CantripOS 的其中一个 Keynote 演讲。主要演讲者为 Sam Leffler 。