From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: ** X-Spam-Status: No, score=2.6 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, RCVD_IN_SBL_CSS,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from mail-ed1-x53e.google.com (mail-ed1-x53e.google.com [IPv6:2a00:1450:4864:20::53e]) by inbox.vuxu.org (Postfix) with ESMTP id 5F7F0269F3 for ; Mon, 4 Mar 2024 13:54:53 +0100 (CET) Received: by mail-ed1-x53e.google.com with SMTP id 4fb4d7f45d1cf-565862cc48fsf5466222a12.1 for ; Mon, 04 Mar 2024 04:54:53 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1709556893; cv=pass; d=google.com; s=arc-20160816; b=0jWT1ciriEnKsU4PBKZugkTE3/cI2e/EoDxfcpBfGrKWodKDQyS+TN0SJizUUQwlTg Wv+XvT6qi2rG33hfhQW9hjmGJAmgl8FODpMuE73lIiNjAaZxgqBBjtTPNuOBU6f/Uw7s 4g7UXTxZFP8x2IEcdYpYBEDyIMShPySDAZa8/4HQdgTxUOVT2vxcKi62jYXXwEjoUfK2 gr/skxnfSam5QpVCwp5oLhtoHELTFC2uHSGm+/+ut80kzqu+AJ8prJXMP5ac9xd+V5CQ QOiYyT2Mzlmi9oiROQ3Nv3xpJnZXHJdrdqSaCaLcpWpCgHrLIBgv8VZ6K5U3ebjsWPlX TGXg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-transfer-encoding:subject:from:to :content-language:user-agent:mime-version:date:message-id:sender :dkim-signature:dkim-signature; bh=7ZCMjkqKioaW2oLBWDQe3SRr06C2Co7wGgZ1fm5Rw/A=; fh=/TkiFkim90N/G9r3gHb03hmflwdzN77Bfzq4PJTvz9s=; b=pF4ijYbihQJcTlW1ILijQfKYLq3ekxUnU0yigns2VM2H+34wtj2ncuDLRkOIckmv66 AWK0LHnxmx9TCNYyL+vG8ZLi4IRZDtxb57F62x2REG8VWtzNagJUF49o7W4cHXrMNl7v dsq95ylXlXJ4Drp/QL2uawpiggJ3Bl41w8lOBPUZ3d9L8dE+AhucC6XxcS0ftb++J1Lb ic3jiNPbS8p23TEuDtEaqkY2lAJ2JYw0fXRpPPkhLIfSEkcvid3rY802yfqHjr8DMyiF BlaDNG5++3t9wBrjXBEJnXE7uDNH/IonGxVnVYjULN3rpZL7BAKxNLX9SuO4/IAIOgKj eQDA==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=HWwaEeSn; spf=pass (google.com: domain of tdejong.ac@gmail.com designates 2a00:1450:4864:20::430 as permitted sender) smtp.mailfrom=tdejong.ac@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=20230601; t=1709556893; x=1710161693; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:subject:from:to :content-language:user-agent:mime-version:date:message-id:sender :from:to:cc:subject:date:message-id:reply-to; bh=7ZCMjkqKioaW2oLBWDQe3SRr06C2Co7wGgZ1fm5Rw/A=; b=cglmGo7gfbMfCiieP6CN7e/iQLiyAoo8cwWCXU42armir20ZU8dUkBE4CcM0A2FKIe N0WQxGRyqVgSjmT96rYwU26Md3mzuXgMOW5mqcuGdU1CCQ41UlZrBBuVjXIGJwWQmspG 4FQ0OqzF6T9E66zwxaeXyFav/rOA7sqYFJPRsBd1iVupWgUziCu1HWbNcRhAJA1PJbPo lM9FrktQvn0oNqkwM6P79mH6p624zhRmQWt1gBDTcgqu6U5lDrn0xx1hhUS0zExztbXx 7kibvDuxlLHf7uvbX3xZMEcIiYEuChu2Y3XSG8wSIHAVMHENOxfe61K29/VTIG3U31X9 ZwOQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1709556893; x=1710161693; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:subject:from:to :content-language:user-agent:mime-version:date:message-id:from:to:cc :subject:date:message-id:reply-to; bh=7ZCMjkqKioaW2oLBWDQe3SRr06C2Co7wGgZ1fm5Rw/A=; b=e/M4wrbvOP6Q/cR+4iPNiC6hsH3AOxY+8RvrtiU9LAPYqtKG+Qc8IHr/uq3t80igJ3 oRz+md2SQROwnA3Wadv4c8DBbLpeY9svTW4BW2/G7SiBRKElYTXWzYjMKY0J1XTPB1Tt 5aVxd/9ZmpyrMNN4wKfueViq29Ib4U/Z48ke1Y5bodhLZ4iyjRWo1RYye+BBEtEIFFDE u/Y8i1fq3bUsugYVWojlGkelE95br7kv9LtXVGGqpH39iIJQH5YtY+Jha4m8O7hMLB7y biYlBBdpR467SxGkiLb3KH/P6MPOliZM9/u6FxGQ5ZxiFahyDQz8kpDwgm+Y8HTqatT4 4OWw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1709556893; x=1710161693; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender :content-transfer-encoding:subject:from:to:content-language :user-agent:mime-version:date:message-id:x-beenthere :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=7ZCMjkqKioaW2oLBWDQe3SRr06C2Co7wGgZ1fm5Rw/A=; b=INPF0jVyMplgTQ0DjvTcUu5enVT9QcWjYU7qRdqBzq6YwV9ABSpIlGVu/h5GneGfo4 GAX+nADg9zGIvdBb0UEUvevQvbCO7ij2c7GY+fHpPurQCGklbHEPKVwsLRuRF4iMU0d6 n3mCi1fnoVZvRM/sg9vZ8KVT844z7gJGh/XBReYMWoYh1hPlunGjVu3e8rzzwIhkieE0 XHEsvTVIXohpho1AXnA37vd5t5R4jdZ4MjaE1AJS+yH0LYPl9b1zT2zKC+b3TBXK3Oyo JkconL8K+CqOz92BLnJr8IonSzKqmfdW84TBYxJdqeJL/Z325owpSg5CMmXInl/27eHE BhQA== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCXjWS5Bme/bFiuv1gkafJuU+zKCBHYwtB8up4EJsUW63nJJ26DEQcWhhAoCXbsKy3Z7fONoS4Wi98KwXwjUTefzyQ== X-Gm-Message-State: AOJu0YxqM/Pse8YQxDGIlBPa37InA1eyBY4q4jVxdT9ZQk4Cfu5vxfbm diBDK1vqkIOsO8iU2YSE6xGWkM7iubYMhgGenRtj5kOtnRihXdPK X-Google-Smtp-Source: AGHT+IEoQpodjrtEMTjcNLlL2dIbtuddrbRNLjVb7IwcX/zA5ETI8F5Vc9DNW/DciNtSvJ6DRN7/MQ== X-Received: by 2002:a05:6402:2267:b0:566:201e:c18d with SMTP id du7-20020a056402226700b00566201ec18dmr8319955edb.13.1709556892649; Mon, 04 Mar 2024 04:54:52 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6402:3893:b0:567:345a:1b37 with SMTP id fd19-20020a056402389300b00567345a1b37ls77199edb.2.-pod-prod-00-eu; Mon, 04 Mar 2024 04:54:49 -0800 (PST) X-Forwarded-Encrypted: i=2; AJvYcCU57RaBwSC4b2gIEPR0XZyg8jyPnrNsVIiWXF9r8UrOcv7w36f2eowKepb+HZ0OCNsEvBdF89XJcN6fmZB3zYxFu6eXx8uR0O6etaEkx9goHtOwlw== X-Received: by 2002:a17:906:5fcd:b0:a3e:feee:3a5b with SMTP id k13-20020a1709065fcd00b00a3efeee3a5bmr8083110ejv.3.1709556889333; Mon, 04 Mar 2024 04:54:49 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1709556889; cv=none; d=google.com; s=arc-20160816; b=e3wtwgjFG0L6FkIRU/kNiLWNvuqXcb2bKCIDCY+3Sh3q/XYb2csXsWVSpIY31ptGZM 4XbbdMSm8ZX3T8OR+wtQ8b3MsyMvwtCw9LT8p6yf9g1qUbDLVBNnpTj7AOq50qF8CrYK wtFxZIC7yDfXAGiNaCrg0HcYzCN3ghASNzd3glpUwIIz0iZTwzkEsckdHYyXW1tJAW+z pn6thFZJLXO/K+p9lQ6PPLazK1lvhvvkRKSHzGUTr67/CRC9ec46mBM8uCGlRcxrRCDS HAOV+kTlTtc3O0CmsnnqOCgJdUo7CvVRqmk7Ry/KLQJu+J4sIioHWJejTcA96b3ZdHNe o52A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:subject:from:to:content-language :user-agent:mime-version:date:message-id:dkim-signature; bh=eSC3ZOEJ6i55MXn8hIoAfJooQilN6cvWds5wN4ojUUs=; fh=uZXFSjgnTpOjbMeClvEEy60EzA4mxE8pKT0vk8vWLeU=; b=yCVgq0sVRDw9sknRUjIBfG3K39oWEXYXCOjrd8TnRaeRphlHMP0QF4Nor6sJGVyHJu lwSLnVPJDEVkQWwOuwyKJvsWdRhEJKIO2VKnd65DjykIMFEK7QW7Ro2rqnkrI1UCqgwr 3jr6fhH4tBUwtN4Bc93Y384VWVRg3on6gIAbGZQHxupmQLXiR7zhfU6Z3rJIk+cs2ZkC q4QFJnZpTsw34VQE9bArJmT+itDvRFug91ftKSNoE1BnCpJ7wCFXkwFE21BitEKnZyBF 8S2pTDv1IS+i8dH66kHlB7Dmq7XU78qmCRb/wcjx8QSmUh/DYajmTfjOtNFJ4GttLaPH QILA==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=HWwaEeSn; spf=pass (google.com: domain of tdejong.ac@gmail.com designates 2a00:1450:4864:20::430 as permitted sender) smtp.mailfrom=tdejong.ac@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wr1-x430.google.com (mail-wr1-x430.google.com. [2a00:1450:4864:20::430]) by gmr-mx.google.com with ESMTPS id r15-20020a056402234f00b005676a34aa6asi8842eda.3.2024.03.04.04.54.49 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 04 Mar 2024 04:54:49 -0800 (PST) Received-SPF: pass (google.com: domain of tdejong.ac@gmail.com designates 2a00:1450:4864:20::430 as permitted sender) client-ip=2a00:1450:4864:20::430; Received: by mail-wr1-x430.google.com with SMTP id ffacd0b85a97d-33e17fc5aceso1994430f8f.0; Mon, 04 Mar 2024 04:54:49 -0800 (PST) X-Forwarded-Encrypted: i=1; AJvYcCUd30iw51c7ekNhJbH8YEVa7uDIrUFLoJyccTa4KKkt3s+D13NBnCLeEqAv0YS5xDpaQ7wIvYATIgQeuy0Mevi1aDCBU9Owr5I+/Kv0T3E+423agQ== X-Received: by 2002:a5d:5686:0:b0:33e:d20:651c with SMTP id f6-20020a5d5686000000b0033e0d20651cmr8343389wrv.17.1709556888707; Mon, 04 Mar 2024 04:54:48 -0800 (PST) Received: from [192.168.45.146] (82-132-246-93.dab.02.net. [82.132.246.93]) by smtp.gmail.com with ESMTPSA id n8-20020a056000170800b0033e2291fbc0sm8616053wrc.68.2024.03.04.04.54.47 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 04 Mar 2024 04:54:48 -0800 (PST) Message-ID: <25b02a1a-6d41-4f51-9a73-e312054aab3a@gmail.com> Date: Mon, 4 Mar 2024 12:54:46 +0000 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-GB To: constructivenews@googlegroups.com, homotopytypetheory@googlegroups.com From: Tom de Jong Subject: [HoTT] Midlands Graduate School (MGS): Registration closing soon Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: tdejong.ac@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=HWwaEeSn; spf=pass (google.com: domain of tdejong.ac@gmail.com designates 2a00:1450:4864:20::430 as permitted sender) smtp.mailfrom=tdejong.ac@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: , There are just a few days left now to register for this year's Midlands Graduate School (MGS) in Leicester. We offer courses on category theory, proof theory, type theory, session types, and more. 8-12 April 2024, Leicester, UK. Registration closes Friday 8th March. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D Midlands Graduate School 2024 8-12 April 2024, Leicester, UK https://www.cs.le.ac.uk/events/mgs2024/ BACKGROUND: The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry. We welcome participants from all over the world! COURSES: Seven courses will be given. Participants usually take all the introductory courses and choose additional options from the advanced courses depending on their interests. Guest lecture - Formalisation of Mathematics, Kevin Buzzard Introductory courses - Category Theory, Thorsten Altenkirch - Proof Theory, Abhishek De and Iris van der Giessen - Type Theory with Agda, Todd Ambridge Advanced courses - Session Types, Sonia Marin - Synthetic Homotopy Theory with HoTT/UF, Ulrik Buchholtz - Graph Rewriting, Reiko Heckel - Categorical Realisability, Tom de Jong REGISTRATION: Registration is =C2=A3295 for students, and =C2=A3550 for academic, industry and independent participants. The fee includes all lecture courses and example classes, lunch and coffee breaks, and the conference dinner. The registration deadline is ** Friday 8th March **. Spaces are limited, so please register early to secure your place. SPONSORSHIP: We offer a range of sponsorship opportunities for industry (bronze, silver, gold and platinum), each with specific benefits. Please see the website for further details. --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/25b02a1a-6d41-4f51-9a73-e312054aab3a%40gmail.com.