[Agda] AIM XIX 3-9 June 2015: Save the date!
Andreas Abel
abela at chalmers.se
Wed Feb 18 18:22:40 CET 2015
The next Agda meeting will be 3-9 June 2015 in or close to Gothenburg,
Sweden. Save the date!
[Note: there is a partial overlap with a meeting on formal topology in
Stockholm from 8th of June, so if you want to go there, you might have
to leave the Agda meeting early (or get there late). Gothenburg -
Stockholm is around 3 hours by train. ]
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list