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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 12964 invoked from network); 21 Feb 2022 11:41:17 -0000 Received: from mail-ot1-x338.google.com (2607:f8b0:4864:20::338) by inbox.vuxu.org with ESMTPUTF8; 21 Feb 2022 11:41:17 -0000 Received: by mail-ot1-x338.google.com with SMTP id 30-20020a9d0da1000000b005ae927ea103sf4630918ots.1 for ; Mon, 21 Feb 2022 03:41:17 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1645443675; cv=pass; d=google.com; s=arc-20160816; b=l5CSYFMvJPycD64fENEM0ArRCIYE5DlFx5WByZjSxb+jTIr/FDlWysrZviM//E6UD9 a+5FCzBBAYNQr4aJ09m/aN7gvyN9PNmnQ8vTwtzTg8NuLRTnF73bIw3X4VkPEPkuXH78 turnWJq6PRiL8FwiftQ21pzqXziCXVsiY/EDeoepbmgj8wgYoQ6HvTc4nIOWVMjS2DPb YJcRu7ZhoDNO74Q+Z5bIQGxlqloUkTcabRGE9AvjJcEBpM3Yn/yiloFI7Fb1IWs9AB7T 5U5T/j6SJpYmlLK4/IHnmM1tcTdPAwh9EVyACnpzn8i3AYTIyXnKNDmS+WfaYKWW4grI 4QLw== 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=PIHFkKJ6qw6mDdkPoPBsB6GKfXPLFVjSt9G3EyPBn3M=; b=LSNQGXfCiorwo2Oujk4j2cNqA1uhzQG/YBdru/e6+0O3L1iDHVcBCB9Dfj0vPiOdnb tditMhVfZHksYIwLZx2LcSa1+LB8CfJvMoTVnWSRuZ6J87UQRmlShj6QEUfLKtYR7xxZ Y57OwHTU/+28NKnjY6GRGNTRjmSeftB5kKpsc3jd4Ewtx3Q6iqN9zK2JJ0Cwhoat1z91 RC+Q1FhpPSNdsoNau3aglHsrmqkx0qsdK5Kz5Urtcs9LM9LOYJsdNZKctP6taN0KBtGF b0oFFbK+7tiePRQRMRp75ZDjnwAqpIB0lGPTdGE2w3LV64UkvmMzWIMJvNfRiJ8SCMlz Kwyg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=VnF0Ikar; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::22e 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=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=PIHFkKJ6qw6mDdkPoPBsB6GKfXPLFVjSt9G3EyPBn3M=; b=QN64+ARdh8DnhlPy5O7/hBjj4Nc1Tm/XEnCQhRYIvwpXKO52+13gRVY9FpSgi3kE4N elWxMKpmEbc93LLBNCRsT9FRBH9VYvwknCZ9jYAgB3QXbCmgvqLOHYalbgRRhes6UfF/ iyer6gfNBpJEs49g4tsjVDWjrdkAhPH1R5SbFq5Xyc9UpqF92OOU0blaG29YGo8F2v+c 9Kmrtm8cuOOp0/RqUn3EFOeQiBe14hJ76pzb9BiBI2EsJCvX+U6+wmiIZeTKnM3CCyaq Hp53jFE2cgfix/AZIdg1JFltV4hBK8YLO5lHq1VcPC0gOxRkuigL1PA4FvNI51p8OgQa 3YMg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=PIHFkKJ6qw6mDdkPoPBsB6GKfXPLFVjSt9G3EyPBn3M=; b=ArIE65DqdMddLXUYX5T9N/ThYuyTFqgKUmRDgEAxSmzYgRrqKgXmtrrDEzqct1AzdZ g0+7sjMeOi6vYRWnGj8Dfo95KO2Twl56TgMh9aYeTHbdJqgI+BvVEqsUDmLwexrn1t9r hmRewj8SiHw4xbK1Ro0zw2nvGHpgwisg+Q2lLOtX7yFzkjQOqolraowyDHITAWCgEFlq 9o7rAvH8wFQy61divy7mdvvGNH2Fo4eG//6rbbhTPnkr5/AyqZv4Bha2JruTu0F1AVgb ZistwxnQXBR/i0rehaQMpybMvxw87aWOkXR/ZVK0PXoJlG9wo1qK/zvVDgLLgyu0aP3j HKAg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=PIHFkKJ6qw6mDdkPoPBsB6GKfXPLFVjSt9G3EyPBn3M=; b=fLWazusioNKaWPouNbj/CLw4Do7GpgP+kIP/+GN7TFX5nLdTZOanQFSt/2jFqsE6B2 wITIwQBgijh3n0hiNwD4GjedIK6fqAlbXZPuYJZql5WD4O8rNso3ee7BBmB1cBUYLiKD Khh4rHpLzpLsY+kwumSUf9J2NEmWGbSJDB/ZBO0znJ2ZFL2lTXIMlXJ2W/yhuSakgBPU 9NU7VU602zRqd+dV1RH5kGAY84drNtEbBnwvQkV+4nXbm+w4ZZD95gKwhtLxKT0Y/VVB HvbunwSXPqYEPDyZy1/ec8prpsMfDKRHodGVxwT4YQgnXusuJffFeZm92/SKmyx4zkmx sTpw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530hfxBxuhmbJJzJqYyHeWYoNcANFQI45jkZaJXd8VIWc6SakPUD PxnMZrb2tb/szX2ACutxngE= X-Google-Smtp-Source: ABdhPJwAy97IBNQFRv/n5iJ/ftuha4izwEwlBtFFMngGTo0cVbbaNUYKQrQcuIE8izGHMkgoYd6SYQ== X-Received: by 2002:a05:6870:d624:b0:d1:97b7:9a09 with SMTP id a36-20020a056870d62400b000d197b79a09mr8523894oaq.98.1645443674685; Mon, 21 Feb 2022 03:41:14 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6830:411b:b0:58a:7754:ee7c with SMTP id w27-20020a056830411b00b0058a7754ee7cls1685626ott.11.gmail; Mon, 21 Feb 2022 03:41:13 -0800 (PST) X-Received: by 2002:a9d:7087:0:b0:5ad:c42:10ab with SMTP id l7-20020a9d7087000000b005ad0c4210abmr6445753otj.36.1645443673765; Mon, 21 Feb 2022 03:41:13 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1645443673; cv=none; d=google.com; s=arc-20160816; b=xzdf4Ghv2TP//6bKISPviN4NfxqdLvMsY9EHIXT5qBWKuJUIp5o0dgF0m/V0pfwXIu P05jVswCdUgJqRf44q830GEKUx9aayUAoz7gQME07xZHIYjkqLuK+HZN7J8kvmp5cQ7o qEzJ1r6R921gowQ7aMKM09i5RrNJ7aNTVttCfAPDgU9yfehsEIQWTELRBQib0J0VpX0W YO1sO9lCJ6VpWehjBTNW7z971IwXm+8wCEClFLTtsK/RCbbHz3XW337dOD5MAfwxQfA6 naPI1fIb1Y80Uwz01gPbpvNCKhwTewpe/YnjEMsXOKV8Da8mBHVJp6jj08OWjKkbgqnr 0C6g== 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=hr7jEDtXoJ27XQ2vAvE/KW9Z/e0dzoMQbsMfD8WFAuk=; b=JmGth6a8pce0oN/QN0hCLuoQuwpSHJqIsUHJOZalZewIxDlj1F6xbvk0zRWHldBFNS wKxcoAVYOJFRwd6Y8JcGt7GTd2CLdRtc4xJDCEz3NPYbMuWyb26akljxM+Olj2GNhaoO k9RTQOAGLvxZQGFORfdvVXCrw/m9p/71pw0bcGtQxSXXoiJnk4dcWI6wUhn2XmStQyX6 QDGmAr028DXh5/ZAFlYVeRJTsFnNJI5H6XQxNTckzBxvtJ7wFTNQ4SfmsZFKPd2i06v+ Kezf5vHwC5rwjklsyb+KlDAmOhiWqPZC+SMnTsR0xxFvpKMJRs3K21SEHaYH1mAWV88J XMlg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=VnF0Ikar; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::22e as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-oi1-x22e.google.com (mail-oi1-x22e.google.com. [2607:f8b0:4864:20::22e]) by gmr-mx.google.com with ESMTPS id z10si1230264oiz.1.2022.02.21.03.41.13 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 21 Feb 2022 03:41:13 -0800 (PST) Received-SPF: pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::22e as permitted sender) client-ip=2607:f8b0:4864:20::22e; Received: by mail-oi1-x22e.google.com with SMTP id q5so10479773oij.6; Mon, 21 Feb 2022 03:41:13 -0800 (PST) X-Received: by 2002:a05:6808:1396:b0:2d5:38a8:d5b2 with SMTP id c22-20020a056808139600b002d538a8d5b2mr115513oiw.243.1645443673530; Mon, 21 Feb 2022 03:41:13 -0800 (PST) MIME-Version: 1.0 From: Nicolai Kraus Date: Mon, 21 Feb 2022 11:41:02 +0000 Message-ID: Subject: [HoTT] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation To: agda list , coq-club@inria.fr, haskell@haskell.org, types-announce@lists.seas.upenn.edu, Homotopy Type Theory , tipuselmelet Content-Type: multipart/alternative; boundary="000000000000a8a52205d885b514" 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=VnF0Ikar; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::22e 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: , --000000000000a8a52205d885b514 Content-Type: text/plain; charset="UTF-8" CALL FOR PARTICIPATION 22nd Midlands Graduate School (MGS'22) in the Foundations of Computing Science 10-14 April 2022, Nottingham (UK) https://www.cs.nott.ac.uk/~psznk/events/mgs22.html OVERVIEW MGS is an annual spring school that offers an intensive programme of lectures on the mathematical foundations of computing. While the school addresses especially PhD students in their first or second year, it is also open to UG and MSc students, postdocs, participants from the industry, and generally everyone interested in its topics. MGS'22 is the school's 22nd incarnation. PROGRAMME MGS'22 offers eight courses: - our invited course by Andrej Bauer - three basic courses on category theory, proof theory, and HoTT/UF with agda, which require no previous experience - four advanced courses on topos theory, string diagrams, coalgebra, and graph transformations. REGISTRATION Participation at MGS'22 costs GBP 320. Please see the website https://www.cs.nott.ac.uk/~psznk/events/mgs22.html for details, point "Registration". The fee covers participation in all lectures and exercise classes, refreshments in coffee breaks, and a conference dinner. Please note that you have to book accommodation yourselves but there are rooms available on campus. Places are limited and will be allocated on a first-come-first-served basis. If you would like to participate, please register early to secure a place. The registration period closes as soon as all places are filled or on March 20, whichever is sooner. ORGANISATION Please direct all queries about MGS'22 to Thorsten Altenkirch and Nicolai Kraus, thorsten.altenkirch@nottingham.ac.uk nicolai.kraus@nottingham.ac.uk -- 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%2BAZBBrQuvrL8bc%3DTKxBgJYg8y426D3NTBue769SvujMDfy85Q%40mail.gmail.com. --000000000000a8a52205d885b514 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 CALL FOR PARTICIPATION<= br>
22nd Midlands Graduate School (MGS'22)
=C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0in the
=C2=A0 =C2=A0 =C2=A0 Foundations of Computing Science
=C2= =A0 =C2=A0 =C2=A0 10-14 April 2022, Nottingham (UK)

https://www.cs.nott.ac.uk/~p= sznk/events/mgs22.html


OVERVIEW

MGS is an annual spri= ng school that offers an intensive programme of lectures on the mathematica= l foundations of computing. While the school addresses especially PhD stude= nts in their first or second year, it is also open to UG and MSc students, = postdocs, participants from the industry, and generally everyone interested= in its topics. MGS'22 is the school's 22nd incarnation.

PROGRAMME

MGS'22 offers eight courses:
- our invited course = by Andrej Bauer
- three basic courses on category theory, proof theory, = and HoTT/UF with agda, which require no previous experience
- four advan= ced courses on topos theory, string diagrams, coalgebra, and graph transfor= mations.


REGISTRATION

Participation at MGS'22 costs G= BP 320. Please see the website
https://www.cs.nott.ac.uk/~psznk/events/mgs22.html
for details, point "Registration".

The fee covers par= ticipation in all lectures and exercise classes, refreshments in coffee bre= aks, and a conference dinner. Please note that you have to book accommodati= on yourselves but there are rooms available on campus. Places are limited a= nd will be allocated on a first-come-first-served basis. If you would like = to participate, please register early to secure a place. The registration p= eriod closes as soon as all places are filled or on March 20, whichever is = sooner.


ORGANISATION

Please direct all queries about MGS&= #39;22 to Thorsten Altenkirch and Nicolai Kraus,
thorsten.altenkirch@nottingham.ac.uknicolai.kraus@nottingha= m.ac.uk


--
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/msgid/HomotopyTypeTheory/CA%2BAZBBrQuvrL8bc%3DTKxBgJYg= 8y426D3NTBue769SvujMDfy85Q%40mail.gmail.com.
--000000000000a8a52205d885b514--