These parallel breakout sessions will invite participants to explore and share knowledge on topics identified in pre-event engagement and planning. Session facilitators will briefly introduce the objective of each session, and participants may then elect to join the session of their choice. Based on pre-event input from participants, sessions anticipated to be on the agenda include: * Formal specification and verification of system level components (e.g. micro-kernels, hypervisors). * Formal techniques for designing, implementing and verifying mechanisms for security and privacy. * Formal techniques for specifying and verifying hardware components to support security and privacy. * Requirements for a better systems programming language that is amenable to formal verification. * Programming language technology and verification tools to facilitate the design, implementation and verification of systems designed to better support security and privacy. * Formalizations of existing mechanisms for secure computing (e.g. SGX). * Rust formalization