[Agda] Agda Implementors' Meeting XVIII

Andreas Abel andreas.abel at ifi.lmu.de
Mon Jul 22 10:42:42 CEST 2013


On 21.07.13 1:12 AM, Guillaume Brunerie wrote:
> Maybe you’re already aware of that but there is some overlap with a
> week of tutorials on homotopy type theory in Barcelona (17-20
> September, see http://www.ub.edu/HomotopyType2013/).
> I don’t know how many people are concerned but there is at least me.

It would be nice if you (at least partially) join AIM.

Cheers,
Andreas

> 2013/7/21 Nils Anders Danielsson <nad at cse.gu.se>:
>>       ---------------------------------------------------------------
>>                       Agda Implementors' Meeting XVIII
>>       ---------------------------------------------------------------
>>
>> 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.
>>
>> More details will follow later. Some information that was prepared for
>> the last AIM in Göteborg may still be relevant:
>>
>>    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXIII
>>
>> --
>> /NAD
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>

-- 
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/


More information about the Agda mailing list