[logic-ml] CFP: Agda Implementors' Meeting XXIX (March 13 - 19 at Ochanomizu University)

[Youyou Cong]

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日（金）までにメール最下部のフォームを
so.yuyu at is.ocha.ac.jp 宛にお送りください。

多数のご参加をお待ちしております。
どうぞよろしくお願いいたします。

叢 悠悠


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 so.yuyu at is.ocha.ac.jp 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):