[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