coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Agda Implementors' Meeting XXVI - Budapest, 29 Jan -- 3 Feb 2018

From: Ambrus Kaposi <kaposi.ambrus AT gmail.com>
To: agda AT lists.chalmers.se, types-announce AT lists.seas.upenn.edu, eutypes AT cs.ru.nl, coq-club AT inria.fr
Subject: [Coq-Club] Agda Implementors' Meeting XXVI - Budapest, 29 Jan -- 3 Feb 2018
Date: Mon, 4 Dec 2017 00:12:53 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kaposi.ambrus AT gmail.com; spf=Pass smtp.mailfrom=kaposi.ambrus AT gmail.com; spf=None smtp.helo=postmaster AT mail-it0-f53.google.com
Ironport-phdr: 9a23:WTtmLRYppusIL9LSIXN5I87/LSx+4OfEezUN459isYplN5qZpc+zbnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76vnYuHUD2OgZ8DuD0AZLJyc+33uS39ofIJR5FwHKhcKt/N1C/qwPWq88djKNmK70t0V3Sr3JTPflOyGVuY1+fglK069qs7YZu6AxboLQ76ohGVeGydKMhCLdcET4OMmYv5cStuwOQYxGI4y41V28MjwEAIAHd6wr7FsPyuzP9res70SyQJ9DtZb8xUDWmqaxsTUm72288Kzcl/TSP2YRLh6VBrUf5qg==

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

The twenty-sixth Agda Implementors' Meeting will take place at Eötvös
Loránd University in Budapest, Hungary from 2018-01-29 to 2018-02-03
(Mon to Sat). 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 XXVI, please fill out the form below and send it
to Ambrus via email.

For preliminary information (more appearing later), please visit

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

Please spread the word about this meeting.

Best Regards,

Ambrus, András, Balázs and Péter

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

Registration form (send it to Ambrus Kaposi
<akaposi AT inf.elte.hu>)
Agda Implementors' Meeting XXVI

Name:

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

Suggestions for code sprints (optional):

Additional comments:

[Coq-Club] Agda Implementors' Meeting XXVI - Budapest, 29 Jan -- 3 Feb 2018, Ambrus Kaposi, 12/04/2017