[ 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 on-going work in all aspects of type theory and its applications. In the week from June 14 to June 15 2023, the next TYPES conference will be held, see https://types2023.webs.upv.es/
We are looking for scientific organisers for TYPES 2025 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 2025, then please send an email to Henning Basold <[email protected]> or make a proposal during the business meeting at TYPES in Valencia. You can see where TYPES has been hosted previously on the website (https://www.types.name). We prefer proposals from countries where TYPES has not been for a long been/never hosted physically.
Henning Basold on behalf of The TYPES steering committee
OpenPGP_0x2D55C55324B97007.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature
