Scam Alert

Please verify and be careful about any phishing and scam attempts from external companies.
All conferences and research programs at IML are free of charge.
We will not ask you for any payments regarding your accommodation or travel arrangements

Team Agda sHoTT: Introducing Agda sHoTT project

Date: 2026-06-08

Time: 10:45 - 11:00

Zoom link: https://kva-se.zoom.us/j/9217561890