Agda in Padova 2026

🎧 Remote meeting on April 10th, 2.30 pm
Link: https://teams.microsoft.com/meet/379498237203728?p=ykQyfHTn69iZ4JpC9x
Meeting ID: 379 498 237 203 728
Passcode: 8SU3uz2i
📋 Questionnaire
I would appreciate if you could fill out this questionnaire.

📝 Transcripts
Session 0. Introduction, ℕ, Bool.

🎞 Recordings
Here

❤️ Recommended exercises
Let's play Agda

🌐 Links
Alternatives to Agda
Ressources of the 2025 course

💥 Upcoming conferences
7th Workshop on Formal Topology (mid April)
Midlands Graduate School 2026 (mid April)
Proof and Computation 2026 (mid September)

💬 Contact
+49 176 95110311 (Signal, Telegram, SMS)