[TYPES/announce] Call for TYPES 2027 location

[Paige Randall North]

The TYPES conference (https://urldefense.com/v3/__https://sites.google.com/view/thetypesconferences__;!!IBzWLUs!Q8--XhLaW6tuTYjI4lbYTNyi51TOdsbv9jic59HnyKRfvU5yIzbG2yzWQbdDwCxSjzwKT4vS_YnuxrjF0XOYcH-I7DNm395A7Q$ )
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 9–13 June 2025, the next TYPES conference will be held at the
University of Strathclyde (https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/types2025/__;!!IBzWLUs!Q8--XhLaW6tuTYjI4lbYTNyi51TOdsbv9jic59HnyKRfvU5yIzbG2yzWQbdDwCxSjzwKT4vS_YnuxrjF0XOYcH-I7DPBIS0stw$ ).

We are looking for scientific organizers for TYPES 2027 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 2027, then please send an email to Paige Randall
North <p.r.north at uu.nl> or make a proposal during the business
meeting at this year's TYPES.

Paige Randall North
on behalf of the TYPES steering committee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250409/a581c686/attachment.htm>