[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