[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