coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Agda Implementors' Meeting XXVIII - Nottingham, October 15-20

From: Nicolai Kraus <nicolai.kraus 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 XXVIII - Nottingham, October 15-20
Date: Fri, 14 Sep 2018 14:46:50 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolai.kraus AT gmail.com; spf=Pass smtp.mailfrom=nicolai.kraus AT gmail.com; spf=None smtp.helo=postmaster AT mail-lj1-f173.google.com
Ironport-phdr: 9a23:3LhBLRGflovittz/kOIEvp1GYnF86YWxBRYc798ds5kLTJ7yps6wAkXT6L1XgUPTWs2DsrQY07WQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmDiwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KODE5/m/ZicJ+kbxVrw66qhNl34LZepuYOOZicq7fe94RWGpPXtxWVyxEGo6yd4oPAPYGPeZctYb9pkYFox6kBQa2GePv0SJDi3jw3a07z+shFgXG0xYhH94Us3TUts/6NLoJUe2uw6nIyC/Mb/JS2Tvn9IfIdRUhrOiKULltf8TRzkwvGBnEjlWWsYHqIzOV2f4Js2ie8eVgT/mvh3Q9pwFqvDej3sEsio7VhoIJy1DE8yp5wIYvKt29UkJ0e8KrHIFNtyGZL4d2TcYiTHtpuCY+0LEJpZm7fC0SxJs7xx7QcfiHc42W7RL5T+adOyx4i2xjdbmihBiy6VCtxvPgWsSwylpHrSpInsPSunwR1BHf8NWLR/lz80qnxD2BzRrc6vteLkAxjafbK4Auwro3lpcLtETMBC72mEHvgK+SdEUo5/Gk6+r6brjkqJKQLYB0igb5MqQhnsywH/40PRQJX2ie4ei81bvj8lPlQLhSkPE6jq3UvIrZKMkbvKK1HRNZ34U55xqiDTqr3swUnXwdI1JEfBKHgZLpO1bLIP3gC/e/gkijkDBvx//cP73tGJbNLmLZn7f8ZrZw8EFcyA8pwtBe45JYEK0OIPX2WkPprtzXEgc5MxCow+bgENhyyoQeWXuWDqCFNKPSrESH6/k0I+iMYY8VoCzyJ+Ik5/7ol385mEUScbOn3ZsNOziEGaFvLEmQSX7tmcsaV2wKtw47QfbxzkaPFXZPdm6/ROc14Dc8FYStAK/HR5uxm/qa0S6gWIBOa2ZATF2ADDOgepiYSu8BcwqZOYl7j3oCUfzpQIg4kBqqqQXSyrx9L+OS9DdLm4jk0Y1T5ubUkRgzvR9uBtmGmzWLTmpzmmoJATws1b1kiUN4w1aHl6N/hqoLRpRo+/pVX1JiZtbnxOtgBoWqA1OTTpKyUF+jB+6eL3Q0R9M1zcUJZh8kSdqnhxHHmSGtBu1MzuDZNNkP6qvZmkPJCYNl0X+fjfsuilAnRo1EMmj03vcipTiWPJbAlgCir4jvdakY23STpmKKzG7LuEMBFQApDv6DUncYaU/b69/+4xGaQg==

---------------------------------------------------------------

Agda Implementors' Meeting XXVIII

Second call for participation

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

Travel recommendations available at this address!

---------------------------------------------------------------

The twenty-eighth Agda Implementors' Meeting will take place at the

University of Nottingham, UK

from

15 October 2018 (Monday)

20 October 2018 (Saturday).

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 XXVIII, please fill out the form below and send

it to me (Nicolai) by email, nicolai.kraus at nottingham.ac.uk (or

gmail.com).

Further information is available at

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

Please spread the word about this meeting.

Best Regards,

Nicolai

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

Registration form (send it to Nicolai Kraus <nicolai.kraus

at nottingham.ac.uk>) Agda Implementors' Meeting XXVI

Name:

Title and optionally 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 XXVIII - Nottingham, October 15-20, Nicolai Kraus, 09/14/2018