From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10686 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrei Popescu Newsgroups: gmane.comp.lang.ats.questions,gmane.science.mathematics.logic.acl2.general,gmane.comp.lang.caml.inria,gmane.science.mathematics.categories Subject: 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation Date: Sun, 6 Mar 2022 21:23:46 +0000 Message-ID: Reply-To: ats-lang-users-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12651"; mail-complaints-to="usenet@ciao.gmane.io" To: acl2-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org, appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ@public.gmane.org, ats-lang-users-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, caml-list-MZpvjPyXg2s@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org Original-X-From: ats-lang-users+bncBCRIRT6UVIHBB3WMSSIQMGQEOBUTFOA-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Sun Mar 06 22:23:59 2022 Return-path: Envelope-to: gclaq-ats-lang-users@m.gmane-mx.org Original-Received: from mail-pg1-f186.google.com ([209.85.215.186]) by ciao.gmane.io with esmtps (TLS1.3:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.92) (envelope-from ) id 1nQyMB-00033f-OZ for gclaq-ats-lang-users@m.gmane-mx.org; Sun, 06 Mar 2022 22:23:59 +0100 Original-Received: by mail-pg1-f186.google.com with SMTP id v8-20020a654608000000b0037d5ef9cfa0sf3706993pgq.8 for ; Sun, 06 Mar 2022 13:23:59 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1646601838; cv=pass; d=google.com; s=arc-20160816; b=LEa80Ht5mpthGVIz1kn5qjd9/KeRk+aNOs/9hwyIojQA/eNgGAPLJfJ5c1uuYB4Ii7 kjEd64batDGbqP8BDJpsFbGfyhoXTezJP5bMIs6ztxGsBg9m4I7+QDx1SIJr9tw4jIu3 d0HXYHpoVLSKdVq/IE/QHUL7jt8dchB+m7NHKmutpI2NyWdSq/1KVAze+DAG0uGBIOpA NkvmJNUlWqwNGYLy1F/ZDIvRevTWHBLSPFkWcU3GmA9I0NonicWcZcHgtesVLqlF5xn6 lhPVTtRZpohtrTYmToi1qvPj5h0OaM1bqiiw5QvGV7yNX32rL4wXzMf3WIFCLv/N7v8b 5Cag== 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:reply-to:to:subject:message-id:date :from:mime-version:sender:dkim-signature:dkim-signature; bh=5mjilG2GAXYfaJwN8Bha22f2aCF/+yQtckpCVPxdrBY=; b=mummxC5wuYZ/eWr4V8/KPEpVn3fXXRiaZOn4sE/AREWdLsa/pVqqzYgN7NVX0uuRb/ ZK8634WtbKSdSC/qt6YR2mglRb1H8xIhQJTS8YHKfOWmrAVb+LwphQ9PVZigmVOLtyaz /MCf+aSt+Z/Pc97L9Ylglhia3mtBytKo9w1v8rFxxn7cFzngj+kMDiXXue4ejkcNQzMB 0rCdsu2cieSkpB0B7B/qADU/l7VsLFtdFTTZBNHKiy5M1Li6vmXY/SQseGhgu0dfsOYz 3kj7LEC8h+3YUiT53oTWmKL9ApXm2ivl5xiDl343R1xxUk039z/iQen3JW5BumNh5Lad dPDQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=oA6aalVk; spf=pass (google.com: domain of andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org designates 2607:f8b0:4864:20::f2d as permitted sender) smtp.mailfrom=andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org; 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:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=5mjilG2GAXYfaJwN8Bha22f2aCF/+yQtckpCVPxdrBY=; b=AlgNvBwVsa+JXLX9bV7OiYwkW7Qq1bbnCPJ5YrMY62Yf1eYJcs0RUe1A3xUAdiRwmw Q+ZjYtH9SLPz93k9JNYr0ykR39w19qUyDkl1pFVAJXd7PybpmoPDPIYYEbaosmHDDbNI iURhM5qytOnl759DvV/7EZIJ89w3e2cRB2iKNq2b5W/YuyWiRIHAaMiihr5APmqtOBWF clf/zh0jnoU3q1GEHqd+7GVsS+w+a3q8JOPCgFmitwDxVd1LF1r5fw634Rk12cyYA6TP ow1p9n34n40yZE8nDgGglmfnSQBw1HpCDox3+WkzM+kzC+MPcUduXm+2EJlkr+WbmSkc nypQ== 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:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=5mjilG2GAXYfaJwN8Bha22f2aCF/+yQtckpCVPxdrBY=; b=fgDZg4lyRU/R9tOg6GzSiGxeilev3b3hHMgRrR8VKPKzJ7dn5xgkveyS9w4ZK2YRLW 1huqVYZXLvejaGezwDIuIP1GhkdNPDVCKXjcNh8wvSPght0Jkg2ZPvuCTquam5cUkXm5 fWZ6dxW4aNsBugrAaFlPPPfFshHu4NrU1i9mpTRKuBcmvyTUD8wjlClAiesL8+kPWAb/ USuh4XnhkFEQApypt5wA+AKNYS4lInxyjNK/yjIFrPYuuJbQMz4TiTHTACxtBEYE37OL ZA6p8U1Da++Acc40MznMqqZrTzIwM2wVKFgVh7d4yQc5XQle5Wijt6mWoZ4Q4PDvKxTZ AIvA== 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:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=5mjilG2GAXYfaJwN8Bha22f2aCF/+yQtckpCVPxdrBY=; b=v5NKIiT7EEWXBgHnTT1WXCbqBPXuUH5+nn8U/zIQtEzdH74qF2o7/Cpw1soF/rQJBA he5+auNmJ0IoecMkJqylxxKazQco+FboR2UCM/EKClDUBS3TYPrplj+eYKgvbsZt8w3g MnQBvQ9M7z9yl7ibfuVkrxoPD9ZFu/t/Kf5V1p+KHTnb9oWHvj3M0W3RkNKMM3IQFZDr tegwcXBnB0uc/TFjU3ZLFpMHCXagWWNXHLpdOSte1lqba03PXmCUxG1jc2zdkpp5kbMG L/5U42FhJ4WW4fGdrbwRoWd0aoi6t/MmTem4KzF6tLhi8S85CKPNDieQ2uOIgKByN1um pXUQ== Original-Sender: ats-lang-users-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org X-Gm-Message-State: AOAM531E8YWWWHKg1CvKxirknTvbks0/IOShl1x40NNPjCgohyvLI7hn UzXY6N90fbOmF8w6Rb+MUa4= X-Google-Smtp-Source: ABdhPJwboz5tXv+3TsHiQqsRHEnytfHtYBSt0Glo8VnWUapO83+3hVft8i5QPLryBZSMO0azzv2TSg== X-Received: by 2002:a17:902:bf07:b0:150:9b8a:a14f with SMTP id bi7-20020a170902bf0700b001509b8aa14fmr9117614plb.127.1646601838363; Sun, 06 Mar 2022 13:23:58 -0800 (PST) X-BeenThere: ats-lang-users-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-Received: by 2002:a17:90a:8c0e:b0:1bf:1a38:d505 with SMTP id a14-20020a17090a8c0e00b001bf1a38d505ls5992423pjo.3.gmail; Sun, 06 Mar 2022 13:23:57 -0800 (PST) X-Received: by 2002:a17:90a:c6:b0:1bc:c0be:4696 with SMTP id v6-20020a17090a00c600b001bcc0be4696mr22014607pjd.7.1646601837686; Sun, 06 Mar 2022 13:23:57 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1646601837; cv=none; d=google.com; s=arc-20160816; b=cWm9/r0eSQA3fn4SXASgAQXd9a6Tk0kpY38MGp71xJ9inRIi62paerOfDXPCEC7yXb jKyTN36HoxLnvIY+KlFDVWc2kSUAi2yy4k5kmlm2mOB4pHhJrdKPhhjab2SRZLtrgDKQ laBUCalcXcMRbOIiT2Pk7kEQBfV9vP/5S9CghH1zowRxlGmu/NyHXnj7uaj4b59N+QyD 7ZR6xKIZS7gkkrqX4wB1MTUnImdEiFzh46rEd2VLGgi2wDHBzun0/zQLpLrb02aMwsBd 4l9/CTmcAEVn+PSBwCeazvTjKYmugdsCj0TTg9vIX9jiump0/iSXV9N8ygidhqITkBjN OBog== 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=mwrkJh5mCfNjntA714QW/fnKmb4XKPL/xLvcCgy3XE8=; b=bIpUvo+aKfA380bT+wUOKKcqaRdOuBOm9cxgRF9jiqjlWzMw7Lyu9AgyV8C3IrNAIw v7yYhtJfdVf6eVs5mziuq7oypcFBX4wpn3vfQZoR569lrZRRJZmIY/ge1cjxqPBlX/KN lvG8/86k8wW/VLI0ygRGdkcYhLN+pfNTYj10YakvsSiolP6ekJdFSH9kGu/jFsqT9/Ja yAcp32MjlQoHKv8C7SNWR9cza/sJAytwElPyxDTYwZpLUQabERDVLY/PmSlavLqI39DL Xun6oTMJjd1TQvyHvja+2FQlKQMQ+7J7eqkwph8hbru1YNKFT2rla+BdD1xAxX7+PdSL L5sA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=oA6aalVk; spf=pass (google.com: domain of andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org designates 2607:f8b0:4864:20::f2d as permitted sender) smtp.mailfrom=andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Original-Received: from mail-qv1-xf2d.google.com (mail-qv1-xf2d.google.com. [2607:f8b0:4864:20::f2d]) by gmr-mx.google.com with ESMTPS id p11-20020a17090a930b00b001b97a1bfec2si1077339pjo.3.2022.03.06.13.23.57 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 06 Mar 2022 13:23:57 -0800 (PST) Received-SPF: pass (google.com: domain of andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org designates 2607:f8b0:4864:20::f2d as permitted sender) client-ip=2607:f8b0:4864:20::f2d; Original-Received: by mail-qv1-xf2d.google.com with SMTP id j5so10694713qvs.13 for ; Sun, 06 Mar 2022 13:23:57 -0800 (PST) X-Received: by 2002:ad4:44a8:0:b0:435:16c8:76bb with SMTP id n8-20020ad444a8000000b0043516c876bbmr6152707qvt.117.1646601836840; Sun, 06 Mar 2022 13:23:56 -0800 (PST) X-Original-Sender: andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=oA6aalVk; spf=pass (google.com: domain of andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org designates 2607:f8b0:4864:20::f2d as permitted sender) smtp.mailfrom=andrei.h.popescu-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list ats-lang-users-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org; contact ats-lang-users+owners-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org List-ID: X-Google-Group-Id: 946475932186 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Xref: news.gmane.io gmane.comp.lang.ats.questions:6519 gmane.science.mathematics.logic.acl2.general:1188 gmane.comp.lang.caml.inria:69700 gmane.science.mathematics.categories:10686 Archived-At: 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....-QabDm/c3fAmwa9SdKMSz+Q@public.gmane.org nicolai....-QabDm/c3fAmwa9SdKMSz+Q@public.gmane.org