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