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