[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