Formalization Session III Date: 2026-06-09 Time: 15:30 - 17:00 Zoom link: https://kva-se.zoom.us/j/9217561890