[Agda] AIM XII: Preliminary program

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sun Aug 29 01:20:51 CEST 2010


Hi,

A preliminary program for AIM XII is now available on the wiki:

   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=AIMXII.ProgramEtc

If you arrive on Tuesday night you can meet the organisers, and perhaps
have a bite to eat, in a local pub (see the program).

--
/NAD


More information about the Agda mailing list