[Agda] No Agda AIM meeting any more?
Andreas Abel
andreas.abel at ifi.lmu.de
Wed Oct 18 11:57:31 CEST 2017
Hi Stephan,
this Fall we did not find good dates for an Agda meeting. Currently we
are discussing having AIM early 2018.
Best,
Andreas
On 18.10.2017 02:11, stvienna wiener wrote:
> Hi all,
>
> I guess there is not Agda AIM meeting planned in Autumn? Usually a AIM
> meeting takes place in September or October. I checked the mailing
> list and also the wiki to be sure.
>
> So is it true?
>
> Best,
> Stephan
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/
More information about the Agda
mailing list