[Agda] [REMINDER] 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 meeting will be in Chalmers Teknikpark, which is a few minutes 
walking distance from the Department of Computer Science and Engineering 
at Chalmers University of Technology (Campus Johanneberg). (A 
receptionist should be sitting by the entrance, and will be able to help 
you find your way.)

   http://www.chalmers.se/cse/EN/
   http://www.chalmers.se/HyperText/Maps.html
   http://konferenscenter.nu/hitta-hit/ (Swedish only, sorry)

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