[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