Excursion [Re: [Agda] AIM 10]

[Andreas Abel]

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