TYPES 2026 will take place at Chalmers University of Technology on 4-8 May 2026: <https://types2026.cse.chalmers.se/>Organisers: Ana Bove, Andreas Abel, Christian Sattler, Peter Dybjer, Robin Adams