From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 6077 invoked from network); 2 Oct 2022 11:11:29 -0000 Received: from mail-oo1-xc3d.google.com (2607:f8b0:4864:20::c3d) by inbox.vuxu.org with ESMTPUTF8; 2 Oct 2022 11:11:29 -0000 Received: by mail-oo1-xc3d.google.com with SMTP id x12-20020a4a620c000000b0047629f1f5absf4646434ooc.5 for ; Sun, 02 Oct 2022 04:11:29 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1664709088; cv=pass; d=google.com; s=arc-20160816; b=G1KTAkITxVLS2xIdhSCJasuxnWGi98N74aewn3DeYJaGDZubC+klTjzPRFhzujdWRT BYkGLJr+tonwbu3DvZmFhIhqK4WJ7lYgFMg0aBcLpY2RssGWV29pChYQXWUMhQGVWwJ7 1HEeerEL2jRHocY5BocdaKoS1T4uXhTWNroVORiR/RJY8VE7k1mPyBvyNsonkMG9RcJR 6jhzk0VbxVTMcSI5GIm4WnGxu03ruw/dSdtgUX1/MBqW3smhKPCHKngto1pzAqDZzVAD 4PcFuqHWj4eaQcqxhS9N4MCFzW/nMWpx1mNfRrRS/lMFnYpEom/SPnwU31oxGb+ZUs1Y qUqw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=FOkNyTZtakv/LTrXBs6MD2/NqKBvo+/6ox7ldzNxrfQ=; b=XA83yBqEZWG7J3BIfaFF6ptf1J2DOiR1pDWoaeMyDzh6f2XD66yqwQD24njj98OzW6 vTcOBzeC5URFPU/O7PtETGvHm3v0y/hCXrscZBrQaUr+hPJ4v1+MInA3325g+78MyGrY tTH5hPqLak3ZOV/3Z1i1GHKd+4tbwaQF0ge+eXwRsDAErYqsbSo0TXVht7sJEw6V+gM8 1ukJBPfRbDj6x9CW6oC0JCGwTcqoIUy1acDJJXrpH6dzGTIyDpKhmvuNSU76I+UDiWSL sqUEDEnEq6zHSLC7hClFJBFSg145Sbyztf9XTnpKQFZqavDAbSi5BzopgYUFc9HSgSgk 85qw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=atIz8l1X; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::1036 as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date; bh=FOkNyTZtakv/LTrXBs6MD2/NqKBvo+/6ox7ldzNxrfQ=; b=cRcW4f4ZBpONUgmKEeN3CQGzrHCfDa4p37cLdZOna3l4OneiGW/YkorQbyFMY6EOPK bm5MPPTHonO8C4HTj2ARLyTFz/DwgTUw/wFib66c9Na124UnuJpd2nluDrMgUVdsTEah X/fl/ystzKdVf6BB9783P06oTfNVJzPSxP2dfsHLJwcc71zgQodnMYgWb47A+yo4E4Yp eKyA60ebxl1xVrHM52xhZd+1KcmnhE50dvEnU9sLgX7q23e3OWQt2+ZtRTKumsqyz+KA d8mvYqLG9NPqt6cCL5KKfammpZlBPGBO2hfP9xCr37lrGYeemKKGuhcNYxZn80RD8tRC YMRw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date; bh=FOkNyTZtakv/LTrXBs6MD2/NqKBvo+/6ox7ldzNxrfQ=; b=geUdMU4oA4Nd+ze8jY1dHD7DbtUIjVE49ezbRMdtmttGlHmeYOAdpTyFQi3uz0f3Cl V7uDfqr5+Y0dVfJDyse5diHciHWFPSuYv9EL2b0N+nAzdimQMki9Eu5QjeJDzdI5YfDD rWJo/biHAPJ6Ty9xQ+IAsFRqkQKIEDDMgRuhB/A4g6rpmNn5YUBktzwIpdgiqLinoi7z lLhFFw9iMvzwQidHEgABD3yZHvh05Zu74ZULytijbc5lyVXL9/ecUndDzwoQiRUmUff5 Eu5zyaE3QxxPMWftB/J/M8EnupykShRsB7nw2zDE3KJYpGruUutXqpPZyMOIHxoawJp/ 0ZfA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:x-gm-message-state:sender:from:to :cc:subject:date; bh=FOkNyTZtakv/LTrXBs6MD2/NqKBvo+/6ox7ldzNxrfQ=; b=fELyDViWngR8p5LpO78yPMb5wt5jw4TsIdIf2vUbt5/OC7YcPwyexvPKN1oL53nOXU mShGqgrtz232QAYJXMzJAIktGySLEARWeLJErMROPdkqb7LUaJV77cMjU3vITq7xyepJ /3toTFm29Uobg+htg52811lHXljgpepa45PmkLvORNdfEKtgYUbrj6K0ppdxZs7SAT6u tb38UgIZCWwh8a6dgBYTo2EtrtUKPclPUFTl2D99Cfm67w3od9Icc7nfhpj+Oev+9PKO nZKg6xInQ9hk3YFRnWq1vmH8jTsCZOhGHkgQrnsOtktspG1FMlna56T0p30pFrjbhr+C VIhA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACrzQf1q1BfYva2329HJhR3k6/REz54XNZm+lCUPVXTyTnAkn3TEEA9o Q4w5Uq/9o9I6VN4b2nrP97s= X-Google-Smtp-Source: AMsMyM7vUgRwoB8bHZAZ/cAGJ7/glfFaY1HyxjDUoUniKX3aHvuMVJh+rZpEPqrQtEPUBBjtsIpDEQ== X-Received: by 2002:a05:6870:a40e:b0:131:22be:ba13 with SMTP id m14-20020a056870a40e00b0013122beba13mr3173687oal.42.1664709087866; Sun, 02 Oct 2022 04:11:27 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6870:9886:b0:12c:5f71:73d7 with SMTP id eg6-20020a056870988600b0012c5f7173d7ls2739846oab.10.-pod-prod-gmail; Sun, 02 Oct 2022 04:11:26 -0700 (PDT) X-Received: by 2002:a05:6870:b513:b0:128:fe58:5e4f with SMTP id v19-20020a056870b51300b00128fe585e4fmr2848251oap.185.1664709086792; Sun, 02 Oct 2022 04:11:26 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1664709086; cv=none; d=google.com; s=arc-20160816; b=jI1bW3pQx72mdNco++5EKCyDz3Fgg/jG/rPYMwgfGtR1ccWdnA1VUa6tEtgDdG+u0I dg/N66e9RU2QZuxvTvIrt6rZEryLgE9e5tgJ0dEaojjVmxCamNHzyKZ34kYEBwIOgXGM 3XH13ogalpHfibvNcf1skT3NQpyrmX5ojXNvwSN2oIp0Ir546hBHwXcCJpAOBrFduROC LuqgYF8vdAxADkIbisu6ORHAWdBcxyim35Wb5QLW7LDVmlxI6VYod79smNVAgi8HgQWM s6iPhajnGTAUHSA6CNMEfvtdiuYia9w/0VppyDh9ChnrlzwHR7rwVGyBY9MNNbfpWkdc OPyQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=9O4RiMXcEm8z0u7acqqNBpIBtz1qrXXCZYAOkkpFlJY=; b=JbYekcEIApwglAYK0JI2PemSjQRccvK1Ym3I+KaKfSRrusV4DXJChSdylCm0OhmxOz mtNd8T5UC2+a5a8saLLlc11xVAr+Ba4H9MFKo9GL95BpMX/rx5qku3IQQfv0t/F/9Tvi zHmdhQqZzPjNh8FKGCvwx6HeSP2rilBuhgjgXhl4F8frFzwiDVzkcSZ2JWJI9DEVe943 fgb/J2bh8hWgqh/T02CZHXGZebgAjadht58mo/xUm16IVWEFfKqnY3L4jowO/edG2vTh iuiBKtY04Rhw6gKG0KwJOAy1QzFgslfD04AGzIvGTq5VEmwGNjp6OYSY7XZ6xO1mtqTQ XRbw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=atIz8l1X; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::1036 as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pj1-x1036.google.com (mail-pj1-x1036.google.com. [2607:f8b0:4864:20::1036]) by gmr-mx.google.com with ESMTPS id z42-20020a056870462a00b00101c9597c72si676282oao.1.2022.10.02.04.11.26 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 02 Oct 2022 04:11:26 -0700 (PDT) Received-SPF: pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::1036 as permitted sender) client-ip=2607:f8b0:4864:20::1036; Received: by mail-pj1-x1036.google.com with SMTP id d1-20020a17090a6a4100b002095b319b9aso7049438pjm.0 for ; Sun, 02 Oct 2022 04:11:26 -0700 (PDT) X-Received: by 2002:a17:902:e802:b0:17a:7ed:879c with SMTP id u2-20020a170902e80200b0017a07ed879cmr17371092plg.19.1664709086055; Sun, 02 Oct 2022 04:11:26 -0700 (PDT) MIME-Version: 1.0 From: Nicolai Kraus Date: Sun, 2 Oct 2022 12:11:14 +0100 Message-ID: Subject: [HoTT] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct To: agda list , types-announce@lists.seas.upenn.edu, Homotopy Type Theory , coq-club@inria.fr Content-Type: multipart/alternative; boundary="000000000000ba92f205ea0b4990" X-Original-Sender: nicolai.kraus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=atIz8l1X; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::1036 as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , --000000000000ba92f205ea0b4990 Content-Type: text/plain; charset="UTF-8" Dear all, on Wednesday, 12 October 2022, we will hold a workshop in honour of Thorsten Altenkirch's 60th birthday: http://www.cs.nott.ac.uk/~psznk/events/thorsten60/ If you would like to participate (online or in person), please fill out the Google form at https://docs.google.com/forms/d/e/1FAIpQLSf99-Tw-FnWWTRwaR22Qn63nMurg6oUAKH8nk9ahx2y6N_KXw/viewform?usp=sf_link Zoom details for online participants will be sent out closer to the event. Best wishes, Nicolai Kraus, Conor McBride, Tarmo Uustalu -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CA%2BAZBBq4VQGkddtQOD6_zg1Jkptgn82aMSUGiZ7LoW9DM-a9pw%40mail.gmail.com. --000000000000ba92f205ea0b4990 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

on Wednesday, 12 October 2022, we will ho= ld a workshop in honour of Thorsten Altenkirch's 60th birthday:

= http://www.c= s.nott.ac.uk/~psznk/events/thorsten60/

If you would like to part= icipate (online or in person), please fill out the Google form at

https://docs.google.com/fo= rms/d/e/1FAIpQLSf99-Tw-FnWWTRwaR22Qn63nMurg6oUAKH8nk9ahx2y6N_KXw/viewform?u= sp=3Dsf_link

Zoom details for online participants will be sent o= ut closer to the event.

Best wishes,
Nicolai Kraus, Conor McBride= , Tarmo Uustalu


--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://g= roups.google.com/d/msgid/HomotopyTypeTheory/CA%2BAZBBq4VQGkddtQOD6_zg1Jkptg= n82aMSUGiZ7LoW9DM-a9pw%40mail.gmail.com.
--000000000000ba92f205ea0b4990--