[Agda] Call for TYPES 2025 location

[Henning Basold]

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 
<h.basold at liacs.leidenuniv.nl> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0x2D55C55324B97007.asc
Type: application/pgp-keys
Size: 3110 bytes
Desc: OpenPGP public key
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230609/05cafa8a/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 665 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230609/05cafa8a/attachment.sig>