CASL2025

This is my notes for CASL 2025.

I would appreciate it if you could point out to me any imprecision or errors.

To respect the copyright/privacy of speakers, photos of whiteboards are removed on this public version.