TYPES 2026 will take place at Chalmers University of Technology on 4-8 May 2026.Organisers: Ana Bove, Andreas Abel, Christian Sattler, Peter Dybjer, Robin Adams