From mboxrd@z Thu Jan  1 00:00:00 1970
X-Received: by 2002:a5d:68cf:: with SMTP id p15mr35155715wrw.139.1588087844718;
        Tue, 28 Apr 2020 08:30:44 -0700 (PDT)
X-BeenThere: homotopytypetheory@googlegroups.com
Received: by 2002:a1c:1f0e:: with SMTP id f14ls5926384wmf.0.gmail; Tue, 28 Apr
 2020 08:30:43 -0700 (PDT)
X-Received: by 2002:a7b:cfc9:: with SMTP id f9mr5416189wmm.61.1588087843403;
        Tue, 28 Apr 2020 08:30:43 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1588087843; cv=none;
        d=google.com; s=arc-20160816;
        b=XSwx5A6A4XPY86Y7mf0x7cLTDCJVRcQkjHnCjUqT1jnKQwQ4l+nR2l4Q8sEfdDeU5N
         FTv4/Tn05r5h6ClTLSOTwnJyC4YXDHWD1Zr8St5ColKJI889/JUK/UzzbURVYtu5NRi9
         h8OwI6Y58uAQ48RwszvW3sdqyEuw4XOHqJcIbUEOJrpisBG2YjBqUUFCORFUJvT4+iad
         FB66rONUjoHVvoeTGXZ8fqioLMXYrCmJ2cA9tLmbkKcSpXYKuxb0o8Et7qygu+mt9uzS
         q4Cvj+QLS+anf2Z1k955sd/7cw2TX37HwaUecTdhJbbP/YTn/tAxTSGFVJKFx5B0BXx6
         iV5g==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=to:subject:message-id:date:from:in-reply-to:references:mime-version
         :dkim-signature;
        bh=vE0RGYgyIUY+TcUFmDsaUatLKHmVO0GQIIV/X6PlcbM=;
        b=Ob1V6fCvku94WTCuCEmlfvTF1+InMY9bdZIfB+N9V4LD+Cwo6S9oSbKut5qGvsLVAU
         QzaIQMaPtL7vrUoIovQIJFNFQ9gJi4EwW1kKxTCvMp3knUgE0P8pAk1999qJj3sdPpuG
         q28Nm5UoD1v2qHJ1dENfAJzougYNxlk+0A1FL1B0CR67t2HcwQarhOuCtZh1FQ1WDukH
         MEgvZ+jIXyLbLPLTZAgCXqKMgy6FzmDyLT3cgRJQlsiRT6VwiAHtD7lnvtl5v+5H6u3A
         WJMq4N6NjCxXRoXBURJ7Acn72qNb7bn26TAyEIOU5PS7Z1momy2BBPqYuRavhbJFmQAy
         j4kQ==
ARC-Authentication-Results: i=1; gmr-mx.google.com;
       dkim=pass head...@andrej-com.20150623.gappssmtp.com header.s=20150623 header.b=LTAp8nVB;
       spf=neutral (google.com: 2a00:1450:4864:20::230 is neither permitted nor denied by best guess record for domain of andre...@andrej.com) smtp.mailfrom=andre...@andrej.com
Return-Path: <andre...@andrej.com>
Received: from mail-lj1-x230.google.com (mail-lj1-x230.google.com. [2a00:1450:4864:20::230])
        by gmr-mx.google.com with ESMTPS id s22si124151wme.0.2020.04.28.08.30.43
        for <homotopyt...@googlegroups.com>
        (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
        Tue, 28 Apr 2020 08:30:43 -0700 (PDT)
Received-SPF: neutral (google.com: 2a00:1450:4864:20::230 is neither permitted nor denied by best guess record for domain of andre...@andrej.com) client-ip=2a00:1450:4864:20::230;
Authentication-Results: gmr-mx.google.com;
       dkim=pass head...@andrej-com.20150623.gappssmtp.com header.s=20150623 header.b=LTAp8nVB;
       spf=neutral (google.com: 2a00:1450:4864:20::230 is neither permitted nor denied by best guess record for domain of andre...@andrej.com) smtp.mailfrom=andre...@andrej.com
Received: by mail-lj1-x230.google.com with SMTP id f18so21930295lja.13
        for <homotopyt...@googlegroups.com>; Tue, 28 Apr 2020 08:30:43 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=andrej-com.20150623.gappssmtp.com; s=20150623;
        h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
        bh=vE0RGYgyIUY+TcUFmDsaUatLKHmVO0GQIIV/X6PlcbM=;
        b=LTAp8nVBNwmu94PqrZF/N3sQE5y/yFSEYUD7ee2Sb6347piqzOC/+oOKULCsQkV1DP
         5OLxMI/qW+UwNc2ICuIk++KS+ZRYIESTa2uRz9KTmgGV3jqKo8oWdk530llWUjrXzBy/
         HV+rkw5HusM0ERO5Vx6IBrv6cP2EQZfUNQdPoWSsdwwPztwkUHKIFAEnusrEVdtc/e1p
         c9xVUYTCnSx+A0Y/WwxaN8I/WYCJhyWSktLBD29ifJChrwr/7pGfwx02nZHVuqtx7Hy0
         /tytsPAwQgG/O3sFLhbX21E3g0264xhqZudZscY3ilZJDka6hGVxv4jccEUwBSjy4s7q
         5QoA==
X-Gm-Message-State: AGi0Puaz2k8R7ZXX7V2XfNfqrHO5hUHJaO/+MIx5oR2e2PFDGD9ittiD
	1o4q7518Lrh7ZS8lh2td05ww3xjsKxguRTKRQi16xwxLVRk=
X-Received: by 2002:a2e:7815:: with SMTP id t21mr18171862ljc.146.1588087842350;
 Tue, 28 Apr 2020 08:30:42 -0700 (PDT)
MIME-Version: 1.0
References: <CAB0nkh2b5okvkYdtURm0pTGd_sMtz8fwCELj=RQV22xK3vh5ew@mail.gmail.com>
In-Reply-To: <CAB0nkh2b5okvkYdtURm0pTGd_sMtz8fwCELj=RQV22xK3vh5ew@mail.gmail.com>
From: Andrej Bauer <andre...@andrej.com>
Date: Tue, 28 Apr 2020 17:30:26 +0200
Message-ID: <CAB0nkh3qKjLPNr5jbFNU8puXvOPtQUzbcrmCp0DAFbxmz8VXLA@mail.gmail.com>
Subject: Re: An online seminar about the Arend proof assistant
To: "HomotopyT...@googlegroups.com" <homotopyt...@googlegroups.com>
Content-Type: text/plain; charset="UTF-8"

Dear all,

I apologize for messing up the time zones. The correct time is 18:00
as measured currently in Ljubljana, which is Central European Summer
Time (UCT+2).

Title: Arend proof assistant
Time: Thursday, April 30, 2020 from 18:00 to 19:00 (Central European
Summer Time, UTC+2)
Location: online at Zoom ID 965 4439 5816 (https://zoom.us/j/96544395816)
Speaker: Valery Isaev (JetBrains research)

If you forwarded the talk announcement anywhere, please kindly forward
the time clarification as well.

With kind regards,

Andrej