[TYPES/announce] Call for TYPES 2026 location

[Paige Randall North]

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.north at uu.nl> or make a proposal during the business
meeting at TYPES in Copenhagen.

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/20240530/89650e4e/attachment-0001.htm>