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