[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------------------------------------- Agda Implementors’ Meeting XXXVII co-located with the 21st Asian Symposium on Programming Languages and Systems Call for Participation https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023/aim-xxxvii__;!!IBzWLUs!QLBQttWqcAOMdXiTtdhudPcL8OQEWxIYaOS933PTF63mrnlG9yyNBryBW7LjlwMeJdUTxUEiXRU9aLCY1FG6jA6c-EuKNDix2EbZ$ ------------------------------------------------------------------------------- The 37th Agda Implementors’ Meeting (AIM) will take place in Taipei, Taiwan from 20 Nov (Monday) to 25 Nov (Saturday), 2023. This meeting is co-located with the 21st Asian Symposium on Programming Languages and Systems (APLAS) starting from 26 Nov. About ---------------------------------- The Agda Implementors’ Meeting is a meeting for users and developers who are interested in the Agda programming language and its related topics to share their work, exchange ideas, and learn about the latest developments in Agda and related areas. Whether you are an experienced Agda user or just getting started, we invite you to join us. The meeting consists of * Presentations concerning theory, implementation, and use cases of Agda and other Agda-like languages, * Discussions around issues related to the Agda language, and * Code sprints to work in, on, under or around Agda, in collaboration with other participants. See the Agda wiki (https://urldefense.com/v3/__https://wiki.portal.chalmers.se/agda/Main/AgdaMeetings__;!!IBzWLUs!QLBQttWqcAOMdXiTtdhudPcL8OQEWxIYaOS933PTF63mrnlG9yyNBryBW7LjlwMeJdUTxUEiXRU9aLCY1FG6jA6c-EuKNPjvKWCM$ ) for preliminary information (with further updates there) and past meetings. Registration ---------------------------------- It is completely free to attend. Please visit one of the following links to find the registration information: Website: https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023/aim-xxxvii__;!!IBzWLUs!QLBQttWqcAOMdXiTtdhudPcL8OQEWxIYaOS933PTF63mrnlG9yyNBryBW7LjlwMeJdUTxUEiXRU9aLCY1FG6jA6c-EuKNDix2EbZ$ Wiki: https://urldefense.com/v3/__https://wiki.portal.chalmers.se/agda/Main/AIMXXXVII*Registration__;Iw!!IBzWLUs!QLBQttWqcAOMdXiTtdhudPcL8OQEWxIYaOS933PTF63mrnlG9yyNBryBW7LjlwMeJdUTxUEiXRU9aLCY1FG6jA6c-EuKNGc7JxAv$ Funding ---------------------------------- We may have some funding available to support attendants. If you are interested in applying for funding, please contact the local organiser. Local information ---------------------------------- The local information about (off-campus) accommodation, transportation, and local attractions will be provided on the APLAS 2023 website. We look forward to seeing you in Taipei for AIM XXXVII! -- Dr Liang-Ting Chen Institute of Information Science Academia Sinica, Taiwan https://urldefense.com/v3/__https://l-tchen.github.io__;!!IBzWLUs!QLBQttWqcAOMdXiTtdhudPcL8OQEWxIYaOS933PTF63mrnlG9yyNBryBW7LjlwMeJdUTxUEiXRU9aLCY1FG6jA6c-EuKNM-Ut6F8$