[Agda] Agda Implementors' Meeting XVIII
Guillaume Brunerie
guillaume.brunerie at gmail.com
Sun Jul 21 01:12:57 CEST 2013
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.
Guillaume
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
More information about the Agda
mailing list