[Agda] AIM XXVII - Göteborg, 4 – 9 June 2018

[Nils Anders Danielsson]

On 2018-04-11 11:37, Jesper Cockx wrote:
> More information
> ----------------
> 
> Check out the wiki for travel suggestions and up-to-date information:
> 
>   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXV

This should presumably be
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXVII.

-- 
/NAD