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 3522 invoked from network); 13 Feb 2023 11:41:39 -0000 Received: from mail-lj1-x23a.google.com (2a00:1450:4864:20::23a) by inbox.vuxu.org with ESMTPUTF8; 13 Feb 2023 11:41:39 -0000 Received: by mail-lj1-x23a.google.com with SMTP id v2-20020a2e9602000000b002904dcec88esf2664704ljh.8 for ; Mon, 13 Feb 2023 03:41:39 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1676288497; cv=pass; d=google.com; s=arc-20160816; b=mz7chE01XLPV+o70+Rh0K7n5wAo2ENtzZnsj9y9v+z/9JuHEhWoH4o79dKecVgMUx6 9sNkvCNOl0JVy7wI6jcUBBj6UoZ8WANlK5z8CzT8tcPdFO9lcq487Et1wf3gHDYM9u9y KC4rrPUH7zn9H/JPCPLJc9AZovBsEgGG7hhJvPNclQiEWkQ4BNZdBT8rxVgtzbrbLi06 WeKOllUdPQzyjJqeEGtir41ARmjI0h4v38kGrtxNZ6QmIh85Gor0m0Z9j9C01OhmAXOR rabfRUs234I+7bclYhI8rjqzglQAK2RPWH4iwo9shi9+fhz1f/xUZXaZ8Q1b1hS6P84s NpnA== 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:subject:from:to:content-language :user-agent:mime-version:date:message-id:sender:dkim-signature :dkim-signature; bh=ACywWa8iPi9bAHmwRVF8Rb8tO90z7/xqlEzhc/nswHM=; b=pCmXIwH1dMxA8vc6bJ1FOte7NSqsd0j9TfVM+OtjubvyiPCFnL5oFXHtvSNVvv/RQh gFheFvepnGukBV+v2+yGmgrFSo+QSd+odALm5kEyuc1FqoxlpRemdUj4zvUMefaHesgo PmN3TnrhpcvobnrXzZjC5L697o219Y51IPWrdhjN4/25Jx/9wj4j/UZwQSVDPpEGdKyo +ruqt6Wh/iThOjtMTUPMDqQcwlk0D2HsYIhGepj8rIdPF/6PQdILYvf3A21SZw0C4r2T Fhnnkrp/cWn4cXQKJ64ZEpbTSBtafoR7rLH2fOM3XRQHBFsIqTjfhOojEyqPugwT/2L9 aT0w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=CBIqXdUy; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::42b as permitted sender) smtp.mailfrom=escardo.martin@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:subject:from:to:content-language:user-agent :mime-version:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=ACywWa8iPi9bAHmwRVF8Rb8tO90z7/xqlEzhc/nswHM=; b=fU5hOHlRtZ5JrJ6DSxMXncWR5ZTIygdGQHetRA+w3q8gQRp2LXppDTl80KbHLwpRj6 3FPLJZcrTH1+TJ70grW/1iaWhIas7bCghzDZ5G5zb65snBF8B7aCofMFJOvXZ+TEBpjT 2tgLjKcmT7YAkdh+Hmgk8vgxDf2iKeM/GYXYgGW4CNYUErVfD/Nlk50FlL/42TdYZoV8 XpGR7QvVWfopoCiwe/aBHO6BVdxfNggfvIvDEQBWtRMoW/DE2XOjitrWERVocSnyE1hi tTV8QdgCsZ3R+xpaZsL3HcSD2DULT+YoM2lkqQRZLsKalfcD65Exr+1/NL/6dJRVc0iT DobQ== 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:subject:from:to:content-language:user-agent :mime-version:date:message-id:from:to:cc:subject:date:message-id :reply-to; bh=ACywWa8iPi9bAHmwRVF8Rb8tO90z7/xqlEzhc/nswHM=; b=XC1D1dRRVtXIioAs0PtlkgxHhHFACZ7WwxMf1+hQSNqWaTtFIfzeUz4TBxFn9mREK9 9iQVzYirM62nexlflLpcPP6jv6ZdNz20YNClvaYvAKfoRlRjV8NQZJgqoUpbtKGHqJ54 KaQw6ixIdXzazXWjwSeOHXYlaEtppfKIcIxZjVv42UeO14pYbttZ7hWiA+fJGKyhiowQ 2hbggZDmK6xKrzXHlRc+g6+9L+rWYqBpEX8zNQC1FGwm/pQWtTXouTkhsoCtBh3GbxVH p1i5uzbJKgOJKh/WW/PrLxlW5ZmWlrEZCsxSrJlA3q10x1ZQgxZzWXtzIzLU3Nwf4sjw 3BUw== 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:subject:from:to :content-language:user-agent:mime-version:date:message-id :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=ACywWa8iPi9bAHmwRVF8Rb8tO90z7/xqlEzhc/nswHM=; b=VwTheOA4n7Jz+SKUsY/uIKbZrw7WVkhy8Phf0hVI50OxXtpIf1zRPhAmjVZs7ljeVO p5rZocKDyVGGZIYaqjNPI1x5gr6O38euv4YenLKd2MXdHGSzce5GFmev9kHb9vEHVbO5 pKbMbGsk+NSBGfagoJ16BbJEqaQblYrAIa1VBlBTvm9Vs05JOAhS59eR1Z/Y84DX1JP3 ZpDYbTH4v2nT4WkZVkDvlZXNaHAmTdzTjAhHhqZYKXPpIPluXYj9QtyDyP6nNP22cAiU qLFACiS5LCRws5W3SViT6sVqS4zl7Ho6DhRSMV1+isZ41IObw0jVVSjWw8NuSzauWq4r vrZg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AO0yUKWWhPkjH+r5PMEHAmNTVeQeg1HGioxza/+sKqYKoXCy+DbsG4hz oUvDaEta1pHy6FRTqrswjXE= X-Google-Smtp-Source: AK7set9zmgBM1tlyR5HjalkURVvKy135t1mN0grlaErMZF6s4oaoaddQYhaaFtjZ2pDJJ9be0sEp8A== X-Received: by 2002:ac2:4288:0:b0:4cb:334f:85ef with SMTP id m8-20020ac24288000000b004cb334f85efmr4321706lfh.67.1676288497566; Mon, 13 Feb 2023 03:41:37 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:bc0f:0:b0:293:4d60:102b with SMTP id b15-20020a2ebc0f000000b002934d60102bls390724ljf.1.-pod-prod-gmail; Mon, 13 Feb 2023 03:41:34 -0800 (PST) X-Received: by 2002:a05:651c:307:b0:290:585d:85bf with SMTP id a7-20020a05651c030700b00290585d85bfmr5581098ljp.33.1676288494656; Mon, 13 Feb 2023 03:41:34 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1676288494; cv=none; d=google.com; s=arc-20160816; b=uEkbydhaGGk2U65k8BMcWGi7fAZQ+/V5wdSeWGxLCKL6lHszIkEcJN+Td9rGQbbWVz C+1ydeCMHqXL73eC+2ZkTEXXJRKPvgG7RZkMH3YFnUMPNveD9XWNYueyphQOb2Ffy/F6 7TCL4U1BuWQYgMiBVQmCou/N3NstbX/yQpL59jLtbPZBlET+6BCzxTUxFQt92g7Inu/8 lcS1NFpSlLmzrI71SBiKYcF3MDVT+p1YL2cfjJ5nXViCGBcnrw4Xzl2rjKKORYD2UY68 asW0Ux6CtFQ4B1bUhaFaORA97337e7gcqz4SoKjkLBOspR8UeN7Mc23s10Lyt0UTPDsw r5hw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=subject:from:to:content-language:user-agent:mime-version:date :message-id:dkim-signature; bh=J+g82wYdIib3r/fdNDLNHQvs8fu+m1mLxgDGlGXDFbE=; b=ksw0qAZQOlWgKV3WnvdzWG9aqnsXSnJYD4u0vpueAGaJtDM61n3mntImFiVhLAi2tF 0HHiQmQzlHDu8b1VdF28L7lI7IOztpjs0ozklccyqVQFN9YsbU7RVA0JJ0AbgxNIAm40 A6ayJboJlE7YIfwb6S56hHftaF2LZOWga3UunUwUQPBykJjftlKCRPPx5ItRkr/PzQNf fqaAduVDGi5CNVIJg6H42+s5t9ifI7hqW4fPgzBlGbDPMfE6izxoJmT1jl3ZwHlUWEIQ v0jrpnHnuM1txWsYeWRZZHSQH5BfQyA9NhjD+y1wwO02gWKmCF33jpwVmS77d3gZE0/u N10w== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=CBIqXdUy; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::42b as permitted sender) smtp.mailfrom=escardo.martin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wr1-x42b.google.com (mail-wr1-x42b.google.com. [2a00:1450:4864:20::42b]) by gmr-mx.google.com with ESMTPS id z7-20020a2ebcc7000000b00293215eee9esi615437ljp.2.2023.02.13.03.41.34 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 13 Feb 2023 03:41:34 -0800 (PST) Received-SPF: pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::42b as permitted sender) client-ip=2a00:1450:4864:20::42b; Received: by mail-wr1-x42b.google.com with SMTP id m10so2946835wrn.4 for ; Mon, 13 Feb 2023 03:41:34 -0800 (PST) X-Received: by 2002:a5d:4352:0:b0:2be:4c32:a7df with SMTP id u18-20020a5d4352000000b002be4c32a7dfmr19165985wrr.63.1676288493826; Mon, 13 Feb 2023 03:41:33 -0800 (PST) Received: from [172.23.88.150] ([147.188.245.173]) by smtp.gmail.com with ESMTPSA id f24-20020a05600c491800b003dc0cb5e3f1sm12878793wmp.46.2023.02.13.03.41.33 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 13 Feb 2023 03:41:33 -0800 (PST) Content-Type: multipart/alternative; boundary="------------QjRMPPL48idn29wRSbhPOjs9" Message-ID: Date: Mon, 13 Feb 2023 11:41:31 +0000 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.6.1 Content-Language: en-GB To: Homotopy Type Theory From: Martin Escardo Subject: [HoTT] Midlands Graduate School 2023 X-Original-Sender: escardo.martin@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=CBIqXdUy; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::42b as permitted sender) smtp.mailfrom=escardo.martin@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: , This is a multi-part message in MIME format. --------------QjRMPPL48idn29wRSbhPOjs9 Content-Type: text/plain; charset="UTF-8"; format=flowed We are happy to announce that registration for the Midlands Graduate School, to take place in 2-6 April at the University of Birmingham, UK, is open: https://www.cs.bham.ac.uk/~mhe/events/MGS23/ MGS provides an intensive course of lectures on the Mathematical Foundations of Computing. It has run annually since 1999, and is hosted by the Universities of Birmingham, Leicester, Nottingham, and Sheffield in rotation. The lectures are aimed at PhD students, typically in their first or second year of study. However, the school is open to anyone who is interested in learning more about the mathematical foundations of computing, and in recent years has seen increased participation from industry. We also very much welcome students from abroad. Looking forward to seeing many of you there. -- 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/cc47b694-6ac5-4c36-2d93-8ba4cdffcff4%40gmail.com. --------------QjRMPPL48idn29wRSbhPOjs9 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

We are happy to announce that registration for the Midlands Graduate School, to take place in 2-6 April at the University of Birmingham, UK, is open:

https://www.cs.bham.ac.uk/~mhe/events/MGS23/

MGS provides an intensive course of lectures on the Mathematical Foundations of Computing. It has run annually since 1999, and is hosted by the Universities of Birmingham, Leicester, Nottingham, and Sheffield in rotation.

The lectures are aimed at PhD students, typically in their first or second year of study. However, the school is open to anyone who is interested in learning more about the mathematical foundations of computing, and in recent years has seen increased participation from industry. We also very much welcome students from abroad.

Looking forward to seeing many of you there.


--
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://groups.google.com/d/msg= id/HomotopyTypeTheory/cc47b694-6ac5-4c36-2d93-8ba4cdffcff4%40gmail.com.=
--------------QjRMPPL48idn29wRSbhPOjs9--