[Agda] AIM XXXV Pub (local Gothenburg event)

Andreas Abel abela at chalmers.se
Wed May 4 17:56:24 CEST 2022

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


Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se

More information about the Agda mailing list