coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Agda Implementors' Meeting XXIX - Tokyo, March 13 -- 19, 2019

From: Youyou Cong <so.yuyu AT is.ocha.ac.jp>
To: coq-club AT inria.fr
Subject: [Coq-Club] Agda Implementors' Meeting XXIX - Tokyo, March 13 -- 19, 2019
Date: Mon, 12 Nov 2018 14:00:41 +0900
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=so.yuyu AT is.ocha.ac.jp; spf=Pass smtp.mailfrom=g1020519 AT is.ocha.ac.jp; spf=None smtp.helo=postmaster AT web.is.ocha.ac.jp
Ironport-phdr: 9a23:GR+6rRzywZXUrT7XCy+O+j09IxM/srCxBDY+r6Qd1OwVIJqq85mqBkHD//Il1AaPAd2Eraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRDniCkJOT03/nzJhMNsl69bvA6tqgZjz4LIfI2YNvxzdb7dc9MAQmpBW95cWC5GAoOhb4oPCPcBNvtGoon6oVsOoga1CA63BOPo0DNJhmL23K0n0+k6EAHGxxYsH9USv3TUttr5Lr0dXvyvwKnK1TXOdvVb0irz5ojPdxAuu/CMXbRofMrW1UYvFxnKgk+KpoP5Jz+ayuQNvHKf7+plS+2vkXUnpxtqojexwMonl4rHhpoNx1zZ+yh0zpw5KNy4RUJhYNOpH4FcuzyGO4duXM8uX2VltDw5x7AGo5K3YjQGxZc9yxLBd/CLb46F6Q/5WumLOzd3nndldaq/hxms9UigzfXxV8eq31lRtCZFk8LMumoK1xPP6siIUOFx8V291jqV1QDT8vlIIUEylaXFN54s2qM8m5QdvEjZHyL7mF/6ga6Ze0k+5+Sk9/zrYrD8qZ+dM490hBv+MqMrmsGnDuQ0LxQCU3aH9em8ybHu+Vb0QLRRjvEslanWrJDaKt4BqqGjHwBZyIQj6w6nAze8zNsYhWUHLE5CeB+fk4fpPEjOLOnkAve7nlSjiyxmx+vGP73kGpXCNGLPkLbnfbZn6k5T0hA/zd5F58EcNrZUK/XqH0T1qdbwDxkjMgXyzfy0Js9609YvXn+eBbLRG6TUvhfc/eVpMvSdeacUo3D6IPgsoffly30hzwxONZK11IcaPSjrVs9tJF+UNCK104UxVFwStw97d9TEzViLUDpdfXG3Bv9u5yp9D4mmBMHKTcavmO7YhXvpLthtfmlDT2u0PzLwbYzdBqUNc2SVKc9o1DUPE7q5Gdd4iEOe8TTiwr8iFdL6vy0VsZW6hYpq6ueVlAp08jd0BoKU2CePVzMskw==

---------------------------------------------------------------
Agda Implementors' Meeting XXIX
Call for participation
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIX
---------------------------------------------------------------

The twenty-ninth Agda Implementors' Meeting will take place at
Ochanomizu University in Tokyo, Japan
from
March 13, 2019 (Wednesday)
to
March 19, 2019 (Tuesday).

The meeting will be similar to previous ones:

* Presentations concerning theory, implementation, and
use cases of Agda and other Agda-like languages.

* Discussions around issues related to the Agda language.

* Plenty of time to work in, on, under or around Agda, in
collaboration with other participants.

To register for AIM XXIX, please fill out the form below and send it
to Youyou (so.yuyu [at] is.ocha.ac.jp) by email.

For preliminary information (more appearing later), please visit

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIX

Please spread the word about this meeting.

Best regards,

Youyou

-------8<--------------------------------------------------

Registration form (send it to Youyou Cong
<so.yuyu [at] is.ocha.ac.jp>)
Agda Implementors' Meeting XXIX

Name:

Title and abstract (if you want to give a talk
or lead a discussion; optional):

Suggestions for code sprints (optional):

Other remarks (optional):

[Coq-Club] Agda Implementors' Meeting XXIX - Tokyo, March 13 -- 19, 2019, Youyou Cong, 11/12/2018