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 29750 invoked from network); 14 Mar 2022 14:40:55 -0000 Received: from mail-pg1-x537.google.com (2607:f8b0:4864:20::537) by inbox.vuxu.org with ESMTPUTF8; 14 Mar 2022 14:40:55 -0000 Received: by mail-pg1-x537.google.com with SMTP id h12-20020a63530c000000b0037c8f45bf1bsf10194093pgb.7 for ; Mon, 14 Mar 2022 07:40:55 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1647268854; cv=pass; d=google.com; s=arc-20160816; b=tpIBArg2/x7evuKihCyx3BJ/+hc51Ce2igjTxK1z+2BVlhryBCZWkiTGG2VcL+JUFA nMdIpghrqvpY67IPL5G43tYtTO8cuWlUKNp81pOIZ39r7RJMnKa1ONGmoqU44CxyOJEt lqysv+SxB8Jq8IlVL/dyM5OxLUPiBr7Xchi1ZXmGOWfCdEi8A4fhczvSujyObkNdbAYL Bb09OFqU1AgeawljSmEJVuVvE7kKCksOddeK1uDFRyxMYby+zYNJyUCcLKeiXp7rpHD1 GhazLbq+coaEgguhJmyEk+UoYnO8vz4hTiiJBPtbDBfvxOtfnEg/P4qxBx/zbIVGv7e6 /LTQ== 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=/0hj8wsmpwbB+eRjEg8ABGGtzu3hDs7A4Ac3P754r6I=; b=raDEMJ016xgjNX2TE0iaOQZEwcQR0z5u/vpniPOCAi8pa0twq4xKP/yZ+dohELjuTh EIw+FvKvnok/ulaixBrh3Z8cUdZTJPGTVjX3ABbeIRJkKpSg+H0clcDg33rswbKLs1JI DDk7J7dw04Kyvz9uCvUgqr0TZjR+JwdXVZOfldi6m1NZuLihABqmGPfE/nsYvuBtguSB +Ej8GKZR57Ved8q/ufFRXFiMb8OpCZsgI7eBNyoTED3IW0X5Ej63nmWSR/RuDR3b5uNQ Hmfp3Ar/KgYljkIiPp+ZKL9hCtT4+7iBE2V/rGViU2I1vLZX9Q29+D2JZ9NA/yCWXJun B9nQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=ULaNjTvx; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::c2a 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=/0hj8wsmpwbB+eRjEg8ABGGtzu3hDs7A4Ac3P754r6I=; b=QE42VHfbbN8bp5w6BIz9tS2BrCCXsl1fu/zOhgSFBg4VkEwA93dvO4iGzRshIFxdi4 ZFlsllR7UVd9htG1uC82ca+mQ/7BatMXLy1XJXJnz76ofAKA3BgfV3yD41bLK9mDWUc4 +ILO/6nYCQIGV1PQds7ZZnn9Y0PBGSA1gmZVDJCF+Rn45aq2qUp2MMpU6VuG1aLDjKUy R4G5RYJqGwmZOOiZ84YGbHNYNFCPaOPTZUrDht9EgRuaibTveeWZtf8DdSUcplmMofed Fp+8nEyQSUxz8RnBCQ2b7iYLtPqf/nzU4vdnOPyZC6RaevdPrjTKDF7gkrpZUhiZu8Ix YohQ== 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=/0hj8wsmpwbB+eRjEg8ABGGtzu3hDs7A4Ac3P754r6I=; b=Md9P7AG+oSds4bX1O4FDKovdDnf8+LQKlsUh3mwRoNjGNgHBrEmGKm38e0Lwin0fr3 6KcUeuGmWFvmxZkI2BdBkoMwsbbeZlEMelVB1NwjP090bfoygVmxe9EhW5NLK+wnBUC3 nT7WpCN4dYaGsDrJumdUGTjboi0ecR0Gx4hH+eWHfW2c8cFc+qxiOvkMqfIItZQkhN3J PTduxndpn+BGWF7de6Log1iw9d/eEWElVHrCApkt+4a7ohcoATHrCO4SkDdRG7IuWr4C XdxGWC/2o5pSqDhzC29C6klodPXn8S4XJz1wbi9CEvA16/xWBGGRyTEi99jm2uF+ApEB EQtw== 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=/0hj8wsmpwbB+eRjEg8ABGGtzu3hDs7A4Ac3P754r6I=; b=B8GJ4OKAfkmkb1gFSKiZSisY3tsPjym6Ax9R/5PRzn/rf65fjxv/AtiqNDwZMq9iXs 6kVkW+gX/TBc6UF9yaOdiyeVLIBm+jPUx/dkN1fIiXB2wNqaRgDx07lAXn6tyOJ7aaw9 jM015vCHl+7gRljUHDGTm6Y8PqxIM+gOSqAABXYm7Xu3wBa1rJTJi9DMYAeCuuYw/at+ egicrkf4ZSzBl1kQymkOVcqDMiLDcVKFmwgIxvAWxVYnDNQFPsCW1sAI+eKSBNcgyClH DWPikviuSC91pkhivZVch9B4HMCDJUsNlD0z6rRP7PY9RHjcrLTF1zmpT2UjprnDzDO2 gcew== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533NBWhkWsPEr3MRo3uNTQoSLsiGScGk5CHdG7QVa+h+ilti0D/2 /W5CMidtuERu6czjfvJb2T4= X-Google-Smtp-Source: ABdhPJyppyNACtb+I3kQ3pgCwcvvIkxxk17AWk2cQ7G+VDLhoKxxEgxPTxC9HP4BY0/Jqf5CNd2+Eg== X-Received: by 2002:a17:902:9348:b0:14f:c715:2a94 with SMTP id g8-20020a170902934800b0014fc7152a94mr24529377plp.66.1647268853854; Mon, 14 Mar 2022 07:40:53 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a65:6e8c:0:b0:381:309f:14a0 with SMTP id bm12-20020a656e8c000000b00381309f14a0ls2099898pgb.2.gmail; Mon, 14 Mar 2022 07:40:52 -0700 (PDT) X-Received: by 2002:a63:8843:0:b0:37c:94d1:4ceb with SMTP id l64-20020a638843000000b0037c94d14cebmr20635791pgd.408.1647268852370; Mon, 14 Mar 2022 07:40:52 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1647268852; cv=none; d=google.com; s=arc-20160816; b=n4ph3dZckiOEWDSRP8tESh/Sg1U5xkrc4Lb/CA6xO/zkyPDn6sklDnXdGCKZNoaSbd 8C6UBvNDjzesqXzKvBULsmRanf+ttF35kGHz6TTlk9AtMyG21yoFQw8O0GBmOcZMf6oB ix87wO06Y8P6F/z+HTA8E+Fe+ONfwq3SOTeqqDt/cyX4ta8lHe3nm3vfeTPkeP1697BU Dm04IoHHxCWSswaTbPVjfpwpLDMgCvHXsVOYOmVsw2Brb0OvuvmkqbizKpVcUPOMctb5 0OjhVZ8rC8jND+U6RLWxZTO2adLC+gRGJF5sxod81rSBmlhL3xfKTFR9C94Q3ehPXCrB Hi7Q== 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=9sN9LYU3wL4gYZJ2B1NKzaYBe84p+vyGa8qMn8wTrZY=; b=IZA7sKf7LjvTmEKsAh/+URz3a/xtFJQZe7hBPAntgITsxtUqYVMFHSUEdq1lq+T8cg 2njRG7DtffhW00e2Mp4A9Y92FvI5xinhv/KD5lOwob/vf6kNqvGYZmPUm/Qj23I1PsV/ 1hlvJUI6v/E0FEiTajGTmhrDPH7eDIP9KUJXWZWXSlFTC9he5pPDZ3ocMvJnLnHO+HUw jHawpDhiWIDlX+9B25qcMXpQYTe5WUc8bjsQ++HX5/8JggA0trgND4Pcmyub1zO9PFiN 2S1uI2K9J+v85oUk7DmOvXtEcPo2iCNxy8n+ML2KMSZ5dm9QeMBlgohOThxCfsJ4Otn4 APaA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=ULaNjTvx; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::c2a as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-oo1-xc2a.google.com (mail-oo1-xc2a.google.com. [2607:f8b0:4864:20::c2a]) by gmr-mx.google.com with ESMTPS id c24-20020a6566d8000000b0037c9aff1093si1018523pgw.1.2022.03.14.07.40.52 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 14 Mar 2022 07:40:52 -0700 (PDT) Received-SPF: pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::c2a as permitted sender) client-ip=2607:f8b0:4864:20::c2a; Received: by mail-oo1-xc2a.google.com with SMTP id x26-20020a4a9b9a000000b003211029e80fso20492117ooj.5 for ; Mon, 14 Mar 2022 07:40:52 -0700 (PDT) X-Received: by 2002:a05:6870:8186:b0:da:b3f:2b2e with SMTP id k6-20020a056870818600b000da0b3f2b2emr16957436oae.205.1647268851948; Mon, 14 Mar 2022 07:40:51 -0700 (PDT) MIME-Version: 1.0 From: Nicolai Kraus Date: Mon, 14 Mar 2022 14:40:41 +0000 Message-ID: Subject: [HoTT] Midlands Graduate School: Accommodation and second (final) call for participation To: agda list , coq-club@inria.fr, haskell@haskell.org, types-announce@lists.seas.upenn.edu, Homotopy Type Theory , Categories List , prooftheory@lists.bath.ac.uk, fom@cs.nyu.edu, eutypes@cs.ru.nl Content-Type: multipart/alternative; boundary="000000000000c51f3e05da2eaa40" 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=ULaNjTvx; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::c2a 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: , --000000000000c51f3e05da2eaa40 Content-Type: text/plain; charset="UTF-8" Dear all, I'm aware that some people interested in our spring school found that the on-campus accommodation had been booked out. I'm happy to announce that we have secured additional en-suite bedrooms on campus, just a couple of meters away from the event. Registration is still open until March 21 and bedrooms are now available again. Please forward the below advertisement to all interested students, academics, or professionals! -- Nicolai 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 from the University of Ljubljana - 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%2BAZBBpP%2BmudDzcukXZcYX-cAvEmm61Ci0%3DeAdMPr4O-TPON-Q%40mail.gmail.com. --000000000000c51f3e05da2eaa40 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,
I'm aware that some people in= terested in our spring school found that the on-campus accommodation had be= en booked out. I'm happy to announce that we have secured additional en= -suite bedrooms on campus,=C2=A0just a couple of meters away from the event= . Registration is still open until March 21 and bedrooms are now available = again. Please forward the below advertisement to all interested students, a= cademics, or professionals!
-- Nicolai

CALL FOR PARTICIPATION

22nd Midlands Graduate School (MGS'22)<= br>in the
Foundations of Computing Science
10-14 April 2022, Nottingh= am (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 add= resses especially PhD students in their first or second year, it is also op= en to UG and MSc students, postdocs, participants from the industry, and ge= nerally everyone interested in its topics. MGS'22 is the school's 2= 2nd incarnation.

PROGRAMME

MGS'22 offers eight courses:- our invited course by Andrej Bauer from the University of Ljubljana
= - three basic courses on category theory, proof theory, and HoTT/UF with Ag= da, which require no previous experience
- four advanced courses on topo= s theory, string diagrams, coalgebra, and graph transformations.

REG= ISTRATION

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

The fee covers participation in all lectu= res and exercise classes, refreshments in coffee breaks and a conference di= nner. 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 r= egister early to secure a place. The registration period closes as soon as = all places are filled or on March 20, whichever is sooner.

ORGANISAT= ION

Please direct all queries about MGS'22 to Thorsten Altenkirc= h 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 &= 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%2BAZBBpP%2BmudDzcukXZcYX= -cAvEmm61Ci0%3DeAdMPr4O-TPON-Q%40mail.gmail.com.
--000000000000c51f3e05da2eaa40--