Excursion [Re: [Agda] AIM 10]
Andreas Abel
andreas.abel at ifi.lmu.de
Sat Sep 12 22:28:26 CEST 2009
[Sorry for abusing the Agda list...]
On CSL I heard some rumor that there will be an AIM 10 excursion
starting 1.30 pm tomorrow in Slottskogen or Botaniska.
Can someone give me more details?
Cheers,
Andreas
On Sep 1, 2009, at 1:44 PM, Peter Dybjer wrote:
> A preliminary programme for AIM 10 is now available:
>
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMX
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
More information about the Agda
mailing list