[Agda] AIM XVIII: Call for participation

[Guilhem Moulin]

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

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
      participants.

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.

Location
========

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.

    http://www.chalmers.se/cse/EN/
    http://www.chalmers.se/HyperText/Maps.html

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:

    http://www.seat61.com/Sweden.htm
    http://www.db.de

Local airports:

    http://www.swedavia.com/landvetter/
    http://www.goteborgcityairport.se/index.php?lang=en

Accommodation
=============

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:

    http://www.sgsveckobostader.se/en
    https://goo.gl/maps/qVjzw
    http://kartor.eniro.se/m/nc4Tc

Excursion
=========

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.

Registration
============

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)
themselves.

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.

    http://blog.global-systems-science.eu/?author=45

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

Name:

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.