<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
I use the following tool which works very well for dealing with different timezones including up to 3 simultanteus:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://www.worldtimebuddy.com/" id="LPNoLP435269">https://www.worldtimebuddy.com/</a></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Anton<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div>
<div id="appendonsend"></div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font style="font-size:11pt" face="Calibri, sans-serif" color="#000000"><b>From:</b> Agda <agda-bounces@lists.chalmers.se> on behalf of Thorsten Altenkirch <Thorsten.Altenkirch@nottingham.ac.uk><br>
<b>Sent:</b> 23 May 2020 14:53<br>
<b>To:</b> Nils Anders Danielsson <nad@cse.gu.se>; Agda mailing list <agda@lists.chalmers.se><br>
<b>Subject:</b> Re: [Agda] A preliminary programme for AIM XXXII</font>
<div> </div>
</div>
<div class="BodyFragment"><font size="2"><span style="font-size:11pt">
<div class="PlainText">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.
<br>
<br>
Thorsten (struggling with time zones)<br>
<br>
On 22/05/2020, 15:28, "Agda on behalf of Nils Anders Danielsson" <agda-bounces@lists.chalmers.se on behalf of nad@cse.gu.se> wrote:<br>
<br>
Hi,<br>
<br>
A preliminary programme for AIM XXXII can now be found on the wiki:<br>
<br>
<a href="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">
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</a><br>
<br>
If you are giving a talk or leading a discussion, and the time does not<br>
work for you, please let me know.<br>
<br>
-- <br>
/NAD<br>
_______________________________________________<br>
Agda mailing list<br>
Agda@lists.chalmers.se<br>
<a href="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">
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</a><br>
<br>
<br>
<br>
<br>
This message and any attachment are intended solely for the addressee<br>
and may contain confidential information. If you have received this<br>
message in error, please contact the sender and delete the email and<br>
attachment. <br>
<br>
Any views or opinions expressed by the author of this email do not<br>
necessarily reflect the views of the University of Nottingham. Email<br>
communications with the University of Nottingham may be monitored <br>
where permitted by law.<br>
<br>
<br>
<br>
<br>
_______________________________________________<br>
Agda mailing list<br>
Agda@lists.chalmers.se<br>
<a href="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">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</a><br>
</div>
</span></font></div>
</div>
</body>
</html>