<div dir="ltr">The TYPES conference (<a href="https://urldefense.com/v3/__https://sites.google.com/view/thetypesconferences__;!!IBzWLUs!Q8--XhLaW6tuTYjI4lbYTNyi51TOdsbv9jic59HnyKRfvU5yIzbG2yzWQbdDwCxSjzwKT4vS_YnuxrjF0XOYcH-I7DNm395A7Q$">https://sites.google.com/view/thetypesconferences</a>)<br>is an almost-yearly conference held since 1990. It is a forum to present<br>new and ongoing work in all aspects of type theory and its applications.<br>From 9–13 June 2025, the next TYPES conference will be held at the<br>University of Strathclyde (<a href="https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/types2025/__;!!IBzWLUs!Q8--XhLaW6tuTYjI4lbYTNyi51TOdsbv9jic59HnyKRfvU5yIzbG2yzWQbdDwCxSjzwKT4vS_YnuxrjF0XOYcH-I7DPBIS0stw$">https://msp.cis.strath.ac.uk/types2025/</a>).<br><br>We are looking for scientific organizers for TYPES 2027 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 2027, 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 this year's TYPES.<br><br>Paige Randall North<br>on behalf of the TYPES steering committee<br></div>