[Agda] Agda Implementors' Meeting XVIII

[Nils Anders Danielsson]

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