[TYPES/announce] 2nd CfP AIM37 : Agda Implementors' Meeting XXXVII in Taipei, 20-25 November 2023

[Liang-Ting Chen]

-------------------------------------------------------------------------------

                       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$