[Agda] Agda Implementors' Meeting XXXVII in Taipei, Taiwan, 20–25 Nov 2023

[Liang-Ting Chen]

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

                                     Agda Implementors’ Meeting XXXVII

                                                      co-located with
           the 21st Asian Symposium on Programming Languages and Systems

                                                  Call for Participation

                 https://conf.researchr.org/home/aplas-2023/aim-xxxvii

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

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://wiki.portal.chalmers.se/agda/Main/AgdaMeetings)
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://conf.researchr.org/home/aplas-2023/aim-xxxvii

Wiki: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVII#Registration

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://l-tchen.github.io
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230517/c2d14ec5/attachment.html>