[Agda] Agda Implementors' Meeting XIII

[Nils Anders Danielsson]

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

The thirteenth Agda Implementors' Meeting will take place in Göteborg
2011-04-06 to 2011-04-12 (Wed to Tue). 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
===============

2011-03-06:                Deadline (soft) for registration
2011-04-06 to 2011-04-12:  AIM XIII

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 take place in the Department of Computer Science and
Engineering at Chalmers University of Technology (Campus Johanneberg):

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

To get to the department from central Göteborg you can take a tram or
a bus (http://vasttrafik.se/en/); local stops include Chalmers and
Engdahlsgatan.

If you have trouble finding your way you can call one of the
organisers: Nils Anders Danielsson (+46-700 620 602) or Ana Bove
(+46-704 87 44 26).

Travel to Göteborg
==================

Göteborg is served by trains (see, for instance, The Man in Seat
Sixty-One..., http://www.seat61.com/Sweden.htm).

Local airports: Landvetter and Göteborg City Airport.

   http://swedavia.se/en/Goteborg/Traveller-information/
   http://www.goteborgairport.se/eng.asp

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

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

   http://www.sgsveckobostader.se/en
   http://maps.google.com/maps?f=q&source=s_q&hl=en&geocode=&q=Hotel+near+Chalmers,+G%C3%B6teborg,+Sweden&aq=&sll=57.696792,11.972919&sspn=0.053574,0.154324&ie=UTF8&hq=Hotel&hnear=Chalmers+University+of+Technology,+Gothenburg+urban+area,+V%C3%A4stra+G%C3%B6taland,+Sweden&t=h&z=13

Excursion
=========

There will most likely be an excursion on Saturday, 2011-04-09. The
details have not been finalised yet.

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

You register for the meeting by filling out the form below and
emailing it to [[http://www.cse.chalmers.se/~nad/|Nils Anders]].

Attendance is free, but participants need to cover all expenses (such
as food) themselves.

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 XIII

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

Ana Bove and Nils Anders Danielsson