[Agda] Last few remarks before AIM XXII

Jesper Cockx Jesper at sikanda.be
Mon Sep 14 12:19:36 CEST 2015


Hi all,

Wednesday is the twenty-second edition of the Agda meeting. You can find a
preliminary schedule and other practical information on the wiki (
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXII). If you give
a talk, please check if the time slot on the schedule is ok for you. If you
want to give a talk but haven't notified me, please tell me now or at the
start of the meeting and I'll give you a time slot.

We're looking forward to welcome you in Leuven!

The organization
(Jesper and Dominique)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150914/1fd40050/attachment.html


More information about the Agda mailing list