TYPES 2022 Presentations