[Agda] A preliminary programme for AIM XXXII

Setzer A.G. a.g.setzer at swansea.ac.uk
Sat May 23 21:50:16 CEST 2020


I use the following tool which works very well for dealing with different timezones including up to 3 simultanteus:

https://www.worldtimebuddy.com/

What works as well is to just google for   e.g. 10:00 UTC  and it shows you the time usually in your time zone.

Anton


________________________________
From: Agda <agda-bounces at lists.chalmers.se> on behalf of Thorsten Altenkirch <Thorsten.Altenkirch at nottingham.ac.uk>
Sent: 23 May 2020 14:53
To: Nils Anders Danielsson <nad at cse.gu.se>; Agda mailing list <agda at lists.chalmers.se>
Subject: Re: [Agda] A preliminary programme for AIM XXXII

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://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwiki.portal.chalmers.se%2Fagda%2FMain%2FAIMXXXII&data=02%7C01%7CA.G.Setzer%40Swansea.ac.uk%7Ca5210d4e3f19471ef84008d7ff20b3c5%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637258388227457952&sdata=0r%2FTdpqlE%2F6TD66tEZv48TPwlkBQNyobhIoguwx6hqs%3D&reserved=0

    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://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=02%7C01%7CA.G.Setzer%40Swansea.ac.uk%7Ca5210d4e3f19471ef84008d7ff20b3c5%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637258388227457952&sdata=GkduxNdPy5X8mN394rw%2F%2Fcub1KLxzWzTCgIR2yq05Cg%3D&reserved=0




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.




_______________________________________________
Agda mailing list
Agda at lists.chalmers.se
https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.chalmers.se%2Fmailman%2Flistinfo%2Fagda&data=02%7C01%7CA.G.Setzer%40Swansea.ac.uk%7Ca5210d4e3f19471ef84008d7ff20b3c5%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C0%7C637258388227457952&sdata=GkduxNdPy5X8mN394rw%2F%2Fcub1KLxzWzTCgIR2yq05Cg%3D&reserved=0
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200523/ae898bd1/attachment.html>


More information about the Agda mailing list