[Agda] Agda meeting postponed [Fwd: AIM XXXI Postponed]
Andreas Abel
abela at chalmers.se
Tue Mar 10 09:48:27 CET 2020
The 31st Agda meeting (AIM XXXI) has been postponed to later this year
due to insecurities concerning the development of the COVID-19 situation.
Apology for the inconveniences if you have already arranged your trip.
Best regards,
Andreas
-------- Forwarded Message --------
Subject: AIM XXXI Postponed
Date: Tue, 10 Mar 2020 00:58:53 +0000
From: Wen Kokke <wen.kokke at ed.ac.uk>
Dear participants,
It greatly saddens me to announce this, but unfortunately due to the
ongoing COVID-19 pandemic, AIM XXXI is postponed, to be held later this
year. I'm glad to say, it'll still be in Edinburgh. I'll announce the
dates at a later time, as they will depend on the development of the
pandemic and the availability of suitable venues in Edinburgh,
Kind regards,
Wen
More information about the Agda
mailing list