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