[Agda] Agda Implementors' Meeting XVIII

Nils Anders Danielsson nad at cse.gu.se
Sun Jul 21 00:50:21 CEST 2013


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



More information about the Agda mailing list