Dear all (English translation follows below),
皆様、
お茶の水女子大学の叢です。
第29回 Agda Implementors' Meeting (AIM XXIX) を
3月13日（水）から 3月19日（火）まで
の予定で、お茶の水女子大学にて開催します。
このミーティングでは、定理証明支援系 Agda のユーザと開発者が 言語の理論や応用、拡張などについて議論します。 参加者に期待されるのは、
- 発表セッションへの貢献（任意・進行中の仕事も歓迎） - code sprints への参加
の2つです。
ミーティングに関する情報は、以下のページに追加していく予定です：
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIX
参加者と発表の概数を把握したいので、参加をご希望の方は、 3月1日（金）までにメール最下部のフォームを [email protected] 宛にお送りください。
多数のご参加をお待ちしております。 どうぞよろしくお願いいたします。
叢 悠悠
We are happy to announce that the 29th Agda Implementors' Meeting (AIM XXIX) will be held at Ochanomizu University
from March 13 (Wednesday) to March 19 (Tuesday).
AIM provides an opportunity for the users and implementors of the Agda proof assistant to discuss the theory, applications, and extensions of the language. Participants are expected to present their work in the talk session and take part in one or more projects in the code sprint session.
More information about the meeting can be found at:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIX
If you are interested in joining the meeting, please fill out the form below and send it to [email protected] by March 1 (Friday).
We look forward to your participation and contribution!
Best regards,
Youyou
-------8<--------------------------------------------------
Name:
Title and abstract (if you want to give a talk or lead a discussion; optional):
Suggestions for code sprints (optional):
Additional comments (optional):
-
Youyou Cong