[Agda] A preliminary programme for AIM XXXII
Thorsten Altenkirch
Thorsten.Altenkirch at nottingham.ac.uk
Sat May 23 15:53:28 CEST 2020
In case other people are as stupid as me. The times are in UTC, that is the start of 10:00 UTC on Monday is actually at 11:00 in the UK and 12:00 in Sweden, Germany, France, Italy.
Thorsten (struggling with time zones)
On 22/05/2020, 15:28, "Agda on behalf of Nils Anders Danielsson" <agda-bounces at lists.chalmers.se on behalf of nad at cse.gu.se> wrote:
Hi,
A preliminary programme for AIM XXXII can now be found on the wiki:
https://wiki.portal.chalmers.se/agda/Main/AIMXXXII
If you are giving a talk or leading a discussion, and the time does not
work for you, please let me know.
--
/NAD
_______________________________________________
Agda mailing list
Agda at lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.
Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.
More information about the Agda
mailing list