[Agda] AIM XXXV Pub (local Gothenburg event)

[Andreas Abel]

Social event for AIM XXXV & Gbg locals: Pub evening

   Friday 6 May 19:00
   Rotary Pub: http://rotarypub.se/

If remote AIM XXXV participants organize their own pub events, we can 
connect these via zoom.  Please let me know...

Best,
Andreas

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