[Agda] AIM XVIII: Call for participation

Guilhem Moulin guilhem.moulin at chalmers.se
Tue Aug 20 17:21:35 CEST 2013

                        Agda Implementors' Meeting XVIII
                             Call for participation

The eighteenth Agda Implementors' Meeting will take place in Göteborg
2013-09-12 to 2013-09-18 (Thu to Wed).  Everyone who uses Agda is
invited to attend.  The meeting will be similar to previous ones:

    * Presentations and discussions.

    * Plenty of time to work on or in Agda, in collaboration with the other

Important dates

2013-08-30:                Deadline (soft) for registration
2013-09-12 to 2013-09-18:  AIM XVIII

Note that if you want to stay at SGS Veckobostäder (see below) it may be
wise to book a room as soon as possible.


The location is not decided yet but will be in central Göteborg close to
the Department of Computer Science and Engineering at Chalmers
University of Technology.  The location will be announced in due time on
the wiki.


If you have trouble finding your way you can call one of the organizers:
Dan Rosén (+46-72 96 36 126) or Guilhem Moulin (+46-31 772 54 10).

Travel to Göteborg

Göteborg is served by trains by SJ (https://www.sj.se).  For information
how to get here from overseas, see for instance:


Local airports:



You may want to use SGS Veckobostäder (330 SEK/night for a single room
if you stay for 8 nights).  There are many other options:



There will most likely be an excursion on Saturday, 2013-09-14.  The
details have not been finalized yet, but will be announced shortly on
the wiki.


You register for the meeting by filling out the form below and emailing
it to Guilhem Moulin: guilhem.moulin at chalmers.se

Attendance is free, and possibly lunches and some dinners too.
Otherwise, participants need to cover all expenses (such as food)

If you do research in connection with global systems science, then you
have the possibility to apply for funding to cover travel or
accommodation expenses.  Please email Guilhem as soon as possible if you
want to do so.


If you want to give a talk, or lead a discussion on some subject,
indicate so on the registration form.  We will let you know whether your
proposal is accepted closer to the meeting.  (The "code sprints" form
the core of the meeting, so we do not want to spend too much time on
talks and discussions.)

Registration form
Agda Implementors' Meeting XVIII


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

Additional comments:


We hope to see you in Göteborg in September.

Dan & Guilhem.

More information about the Agda mailing list