I was at the Summer School on [Foundations of Programming and Software Systems](https://lcaires.github.io/fopps2026/) at FLoC'26