[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The TYPES conference is an almost yearly conference held since 1990. It is a forum to present new and ongoing work in all aspects of type theory and its applications. From 10-14 June 2024, the next TYPES conference will be held at the IT University of Copenhagen (https://urldefense.com/v3/__https://types2024.itu.dk__;!!IBzWLUs!RRn8u3ipkQy1Jcg1UvCzQc0_RUYVmdsSm0UpU7jTuGEMZ9R4ppjKKYR075NIK7OEFLBvZPnwg6UuxSDuZL2MM9ohpKqXRZsHbQ$ ). We are looking for scientific organizers for TYPES 2026 who will be the chair of the program committee and also be one of the editors of the post-proceedings in the LIPIcs series of Schloss Dagstuhl. If you would like to to host TYPES 2026, then please send an email to Paige Randall North <p.r.no...@uu.nl> or make a proposal during the business meeting at TYPES in Copenhagen. Paige Randall North on behalf of the TYPES steering committee