Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Agda Implementors' Meeting XXX - Munich, 11-17 September 2019

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Agda Implementors' Meeting XXX - Munich, 11-17 September 2019


Chronological Thread 
  • From: Chuangjie Xu <xu AT math.lmu.de>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Agda Implementors' Meeting XXX - Munich, 11-17 September 2019
  • Date: Wed, 03 Jul 2019 11:33:10 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xu AT math.lmu.de; spf=None smtp.mailfrom=xu AT math.lmu.de; spf=None smtp.helo=postmaster AT wapmail.mathematik.uni-muenchen.de
  • Ironport-phdr: 9a23:dmVs5xzy9zWBXzrXCy+O+j09IxM/srCxBDY+r6Qd1O0UIJqq85mqBkHD//Il1AaPAdyBrakcwLOI+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhWiDanb75+MBq6oRjQu8ILnYZsN6E9xwfTrHBVYepW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbfVwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhigaLT406GHZhNJtgq1UvB2uuhNxzIDPbYGJNvdyYr/Rcc8ASGZcWMtaSixPApm7b4sKF+cMI+ZYr5TnqFsIohu+BwisC/3ywTBJm3/9wKo30us8EQzd2QwvBc4OsHTOoNXxMacSTPq5w7TWwjjaaf5dxDnz6I/Nch87oPGMW6p9ftbRyUY1EwPFi0ufqZb+Pz+PzeQCrW6W5PdjW+K3k2Mrth99rzy1yssxiYTEhJgZxk3Z+Slk2oo5O8G0RFJjbdK5DpddszuWO5Z1T84gWW1kpTs2xqActZKmcyUG1ZIqzAPFZfOdaYiH+BfjWf6RIThmgHJlf6qyhhio/ki4z+3zTMi00FJQoipAiNbMqnAN2ALW6sedVvt9/0Sh1SyS1wDV6+FIOEU0lbfFJJ4n3rEwloQcsULZEiDrhkr6lK6WdkM69ei08+nrf6vqq5uGO4NpiQzzML4iltGiDeglKAQCQXSX9fik2L3m50L5QbFKjvMskqnetZDXPcsaprOiDg9QyIkj9xa/Ay2i0NQdgHkLNk9Kdwyfg4jzJ17OOOz4Deu4g1m0jDhrwOnGMqT9DZXJM3jMi6zsfa196k5Z0Ao818pT55NSCrEbIfL8QFX9tNLCDkxxDwvhyOH+Td55y4k2WGSVA6bfPrmBn0WP47cEI/SFYoAXuTu1G+Vts+7zpXowhV9beay0m5caPiPrVs96KlmUNCK/yuwKFn0H61JnEL7azWaaWDsWXE6cGrom72hgWoevEYeFQoWwxrCMjn/iT89mI1teA1XJKk/GMoCNWvMCciWXe5QzlzUYVf6lTpJn2Rz87FanmYoiFfLd/2gjjbym1NVx4LaNxw477Tl9DsDb1miRT2xxl38JRHkr2qE6pFFwzFyD3K4+j/EKTdE=

[Apologies for multiple postings.]

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

The thirtieth Agda Implementors' Meeting will take place in Munich, Germany
from Wednesday 11 September 2019 to Tuesday 17 September 2019. 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 XXX, please fill out the form below and send it to
Chuangjie Xu by email
<xu AT math.lmu.de>.

More information is available at

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

Please spread the word about this meeting.

Best regards,
Chuangjie

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

Registration form for Agda Implementors' Meeting XXX

Name:

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

Suggestions for code sprints (optional):

Additional comments:

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.



  • [Coq-Club] Agda Implementors' Meeting XXX - Munich, 11-17 September 2019, Chuangjie Xu, 07/03/2019

Archive powered by MHonArc 2.6.18.

Top of Page