From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 9974F5D4 for ; Tue, 9 Feb 2021 17:09:47 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,165,1610406000"; d="scan'208";a="492099346" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Feb 2021 18:09:46 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 05E49E0A9C; Tue, 9 Feb 2021 18:09:46 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C49C3E009E for ; Tue, 9 Feb 2021 18:09:40 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrei.h.popescu@gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f169.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AK93j+RwDsCcAU2DXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uoXKfad9pjvdHbS+e9qxAeQG9mCurQZ1qGH7OjJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVgDexe7N/IRW5oQjVtMQdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpwRRT2lC?= =?us-ascii?q?kIKSI28GDPisxxkq1bpg6hpwdiyILQeY2ZKeZycr/Ycd4cWGFPXNteVzZZD4yz?= =?us-ascii?q?b4UBAekPM/tGoYbhvFYOsQeyCBOwCO/z1jNFhHn71rA63eQ7FgHG2RQtEs4IsH?= =?us-ascii?q?vJttX6KqYSWv2vwqnP1TXMcehW1ivg6IPVdR0uu/eMUq9qccXPyEkjDQPFgk+I?= =?us-ascii?q?qYziJzOayP8NvHSG7+d7WuKvjnQoqwB1ojS12sgsjYzJi5sTx1vZ+ip33Jw7Ks?= =?us-ascii?q?ekSE5nf9GkCp1QujmeOoZ0Rs4vQ2JltSQ7x7EYt5O1cjYGxpQpyhPbaPGKc4iF?= =?us-ascii?q?7g7+WOuPPTt1mm5pdKyxihi870Ss1vPxWMe23VhKqCdOj9fCtncI1xPJ68iHTO?= =?us-ascii?q?Nw/lyh2TmR2QDf8PtLLlwumarGKJ4t2rgwlp0PsUTfBCP5gln5gLWLdkUn/OWj?= =?us-ascii?q?9ufpYq3+q5OCK4N5jhvyP6cul8ClH+g0LBYCU3KG9em90LDu+1DyTq9Qgf0siK?= =?us-ascii?q?bZtYjXJcQFqa69BA9YyoMj5Ay+DzeiydgYhHoHIE9cdBKJkoTkOlXDLOr3Dfe4?= =?us-ascii?q?hFSsnzNryO7cMrL9BZXNK2DPkLbnfblj905R0BQ/wcxb6p5OCbwMIOj/VlHvuN?= =?us-ascii?q?DGFBM1Lg25zuL/BNV4zIweWGaPAqGDMKPVtF+F/vggI++Ra48Ppjn9KuIp5/70?= =?us-ascii?q?gX8hnl8dZbem3YALZ3ClBflmLECZbmDtgtcFC2sFog0+TOnyhF2YTTFTf2qyX7?= =?us-ascii?q?475jwjFI2pF4LDRoS0jLyF3Se7BYFWa3tdClGMFHfob5+LV+0NaCKUOM9hkyYL?= =?us-ascii?q?WaKvS487hlmSs1rz06J8I+/8/iwDqYmlyNNuoezdlFc28CEyA8nZm2iRVCRwl2?= =?us-ascii?q?UHAiIt0bpkiUN6zViH3KdihOFADppY4PYNGgwzMJqZy+1hF/jzXBjAd5GHUhLu?= =?us-ascii?q?Sdy6DD42VNM82PcLf087ENzxoArE2n+DBbMPmr3DPJss/7nXwjClLsBx0XvHkq?= =?us-ascii?q?lnl14+T9BEKEWpg6d+807YAIufwBbRrLqjaalJhH2Fz2yE12fb+RgACFcsA5WA?= =?us-ascii?q?ZmgWYw7tlfq8/lnLFub8BrEuMw8HwsmHePMTN4/ZyG5eTfKmA+zwJmK8n2DqW0?= =?us-ascii?q?SNz7KIKZPpIiAThXuMTkcDlA8X8DCNMg1sXn7w8VKbNyRnEBfUW22p9OB/rH2h?= =?us-ascii?q?SUptllOFakRg0/y+/RtH3PE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CLBACQwSJghqneVdFiHgEBCxIMQIFRg?= =?us-ascii?q?lRLVjoxhEGPdIFHBR2KKYEFkRsLAQMBDSMMBAEBhEuCBAIdBwEENQUNAhABAQU?= =?us-ascii?q?BAQECAQMDBAETAQEBDAsLCCmFaA2COCkBg2QWCwYdARsdAQMSEA8CJgIkAREBB?= =?us-ascii?q?QEjEggagk4BglQBAy4PolaBBD2LNIEVBQEXgwUGhEIKGSgNYgOBOAIHEnwrhV+?= =?us-ascii?q?BGYJOhBh/gRyBR4F3PAJsgl0DhHSCXwSBVIFLShQCAQGBBQsBgR8JuU4Hgn2BH?= =?us-ascii?q?YgZklEigy6KR5UwlDSLK4YmgXmORRAjgUqBeTMaI4EBgjgJRxkNVgGNSBodgzq?= =?us-ascii?q?HeoJeAUQvAgEBMwIGCgEBAwmMEwEB?= X-IPAS-Result: =?us-ascii?q?A0CLBACQwSJghqneVdFiHgEBCxIMQIFRglRLVjoxhEGPdIF?= =?us-ascii?q?HBR2KKYEFkRsLAQMBDSMMBAEBhEuCBAIdBwEENQUNAhABAQUBAQECAQMDBAETA?= =?us-ascii?q?QEBDAsLCCmFaA2COCkBg2QWCwYdARsdAQMSEA8CJgIkAREBBQEjEggagk4BglQ?= =?us-ascii?q?BAy4PolaBBD2LNIEVBQEXgwUGhEIKGSgNYgOBOAIHEnwrhV+BGYJOhBh/gRyBR?= =?us-ascii?q?4F3PAJsgl0DhHSCXwSBVIFLShQCAQGBBQsBgR8JuU4Hgn2BHYgZklEigy6KR5U?= =?us-ascii?q?wlDSLK4YmgXmORRAjgUqBeTMaI4EBgjgJRxkNVgGNSBodgzqHeoJeAUQvAgEBM?= =?us-ascii?q?wIGCgEBAwmMEwEB?= X-IronPort-AV: E=Sophos;i="5.81,165,1610406000"; d="scan'208";a="372574227" X-MGA-submission: =?us-ascii?q?MDEEqImuTcj4VDf4wzZQ2w04Xy50HHpiw0inhS?= =?us-ascii?q?0TSg/c6CKxvBtHIxdOccD39pjl/XXDq3D2NaKujPAWp6S1opQZhWiciQ?= =?us-ascii?q?v0ltpuWZbieMHZ6hGmPLnuCnEYE3REysNrklHmfJ0w4QqCn0JF2ngcJm?= =?us-ascii?q?TNGF2rXxwarjzi1iTDJtTkbw=3D=3D?= Received: from mail-qk1-f169.google.com ([209.85.222.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Feb 2021 18:09:25 +0100 Received: by mail-qk1-f169.google.com with SMTP id v206so7008141qkb.3 for ; Tue, 09 Feb 2021 09:09:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:cc; bh=CfMAC+UlRQHR+GZITXCT9DgvaaMdx7/t787loVz86ig=; b=OvKxEN91HDMvqFRDkbS9ge5Kdur6ozM+2E9Lib2hM/QoR88EQOhxz0Olj4stnUwvNE gpZ5f6IYJJPf9IHPkKXdco7zcqe9ItECSNBLCsL8iityywNePoIfDCE1HE7baYbyyeIO r82p66fzKW6gemEqP7hyQuoqu/DGosg1h+usvAyo2sYNrjd2ZXCQiJUmeBcQL7BoQdbk Nf7CAwhGuQdXSYC3UUv7ECeA+NyY+UNr54zhWH4Pcn5tJANEWjwGyBvf5/NNIKSdG+Yf SEaChGAZxIK3r/sO7fG8OFku/zabkfO08NL7s3mfkaNJgV7Dm96aHtRFZfs2mCYlFZpA yHSw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to:cc; bh=CfMAC+UlRQHR+GZITXCT9DgvaaMdx7/t787loVz86ig=; b=A8mRwj9IhldAbn1h3dfxpdNlugJK74tq2BH4amrfOLXwDWPA6QvpNapm0xAbJpP1XZ OBRTUdznx53u6K5NMjU9a2c7IKpuYVFSkPY1KiAr9MXmfRykwT6U2XSVqmhMNQfaS7dM UqwZUw5M8CBDrAlqjgUU6TJp6cvDDzXeDMS0nhXEnxCeHn/f8ag3qBfzACCwofiGzofK pXxoSFkb4C1X7CNedbd/Xn3pbfESv/aTe5cr4VoSsn7MyyuqBlvFrzbEDnTlK2qGEFiO kDnkX5gZfVbfGFl5TMWr4TAnxtWw7H5hopLOhI1tlDj7fHUmOKCIfG8EqcDvjJmvJpkw Xcyg== X-Gm-Message-State: AOAM531IezjvUouV33D5mUSja7fnHL07BOYuhPZ6AIW+oDSomD6DKvBt l7lz5iLcYUJdvlTW2n0nPw9OeU9lmDl8oW+bDyVL6HFx3Kw= X-Google-Smtp-Source: ABdhPJzVrrt7KkCLneRVJp43+W+h7AtIw+RMtIw/OuP43ZmVzwgPWGN05y+XfDS4perBzhkplY3rZM/9fuCJwtbvBrc= X-Received: by 2002:a05:620a:1090:: with SMTP id g16mr21870786qkk.147.1612890564777; Tue, 09 Feb 2021 09:09:24 -0800 (PST) MIME-Version: 1.0 From: Andrei Popescu Date: Tue, 9 Feb 2021 17:09:13 +0000 Message-ID: To: appsem@lists.tcs.ifi.lmu.de, ats-lang-users@googlegroups.com, caml-list@inria.fr, categories@mta.ca Cc: Georg Struth , h.beohar@sheffield.ac.uk Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 18399 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: CALL FOR PARTICIPATION 21st Midlands Graduate School in the Foundations of Computing Science MGS 21 12-16 April 2021, virtually https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html OVERVIEW The annual Midlands Graduate School in the Foundations of Computing Science (MGS) offers an intensive programme of lectures on the mathematical foundations of computing. It addresses first of all PhD students in their first or second year, but is open to anyone interested in its topics, from academia to industry and around the world. The MGS has been run since 1999 and is hosted alternately by the Universities of Birmingham, Leicester, Nottingham and Sheffield. MGS 21 is its 21st incarnation. Information about previous events can be found at the MGS web site http://www.cs.nott.ac.uk/MGS PROGRAMME MGS 21 consists of eight courses, each with four or five hours of lectures and a similar number of exercise sessions. Three courses are introductory; one is given by an invited lecturer. These should be attended by all participants. The remaining more advanced courses should be selected based on interest. MGS 21 aims at a mix of livestreamed and prerecorded lectures and livestreamed exercise sessions, with additional social online events. Invited lectures: Monads and Interactions Tarmo Uustalu, Reykjavik Introductory courses: Category Theory Jacopo Emmenegger, Birmingham Type Theory Thorsten Altenkirch, Nottingham Proof Theory Anupam Das, Birmingham Advanced courses: Homotopy Type Theory Nicolai Kraus, Nottingham Inductive and Coinductive Reasoning with Isabelle/HOL Andrei Popescu, Sheffield Effects and Call-by-Push-Value Paul Levy, Birmingham Formal Modelling and Analysis of Concurrent Systems Mohammad Mousavi, Leicester In addition we are organising a session where participants can briefly present and discuss their own research. A call will be made in March. REGISTRATION Participation at MGS 21 is free of charge, but selective. Requests must be submitted online via https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html Registration deadline is April 1. ORGANISATION Please direct all queries about MGS 21 to Georg Struth. The Sheffield organisers are Harsh Beohar (H.Beohar@sheffield.ac.uk) Andrei Popescu (A.Popescu@sheffield.ac.uk) Georg Struth (G.Struth@sheffield.ac.uk)