[TYPES/announce] Correction: Agda Implementors' Meeting XV

[Andreas Abel]

Correction:

Important dates:

   2012-01-10:                Deadline for registration
   2012-02-20 to 2012-02-25:  AIM XV


On 20.12.11 5:54 PM, Andreas Abel wrote:
> [ The Types Forum (announcements only),
> http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
> -------------------------------------------------------------
> Agda Implementors' Meeting XV
> Call for participation
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXV
> -------------------------------------------------------------
>
> The fifteenth Agda Implementors' Meeting will be held in Hotel
> Aurachhof in Fischbachau near Munich 2012-02-20 to 2012-02-25
> (Mon to Sat). Everyone with a genuine interest in Agda is invited
> to attend. The meeting will be similar to previous ones:
>
> * Presentations concerning theory, implementation, and use cases
> of Agda.
>
> * Discussions around issues of the Agda language.
>
> * Plenty of time to work on or in Agda, in collaboration with the
> other participants.
>
> Important dates:
>
> 2011-01-10: Deadline for registration
> 2011-02-20 to 2011-02-25: AIM XV
>
> The deadline for registration is necessary to finalize the deal
> with the conference venue Hotel Aurachhof.
>
> To register, reply to me, filling out the form below.
>
> For more information, please visit the AIM XV web page:
>
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXV
>
> Looking forward to seeing you in Bavaria soon!
>
> Andreas
>
> ----8<------------------------------------------------------------------
> Registration form
>
> Name:
> Affiliation:
> email:
>
> Accomodation:
> * Date of arrival:
> * Date of departure:
>
> Excursion:
> * Alpine skiing (yes/no):
> * Nordic skiing (yes/no):
>
> Program:
> * I'd like to give a talk or lead a discussion (yes/no):
> Title:
> Abstract: (optional)
>
> * Suggestion for code-sprint (optional):
>
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/