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 F3E375D4 for ; Wed, 17 Mar 2021 11:18:49 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,256,1610406000"; d="scan'208";a="498434556" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Mar 2021 12:18:48 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9669DE0143; Wed, 17 Mar 2021 12:18:48 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7361DE0131 for ; Wed, 17 Mar 2021 12:18:41 +0100 (CET) Authentication-Results: mail2-smtp-roc.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-qv1-f51.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AI6MAOhckwoO3YsDFnc/7e6NHlGM+TdnLVj590bI?= =?us-ascii?q?XzolWe6HmxazJeXLljd1ThVPEFb/W9+hDw7KP9fy5CCpZus3K4ShKWacPfidNs?= =?us-ascii?q?d8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgV?= =?us-ascii?q?vO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sAHcutMLjYZsJKs9xR/ErmdVc?= =?us-ascii?q?OlK2G1kIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q79FAjk4Km45/MLkuwX?= =?us-ascii?q?NQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6qpgVRHlh?= =?us-ascii?q?DsbOzM/7WrakdJ7gr5Frx29phx/24/Ub5+TNPpiZaPWYNcWSXNcUspNSyBNB4W?= =?us-ascii?q?xYIwSAeoGJ+ZYs5fyqEYSoxSgGQasBfvvxiFVjXPy0qA2z+EtHAfb1wIiAt0Oq?= =?us-ascii?q?mzZo9r1OqkcUu670bfGwinYYvNKxTvw8pTEfgw9rfyOW797bMrfyVMoFwPAlli?= =?us-ascii?q?dtYrlMC6P1usTsmiQ8vBuVeW3i2E5sAF+viWvzdorh4bTgIIa10rE+jt4wIovJ?= =?us-ascii?q?d20UlZ7Ydm8EJROrCGVK5Z2T9gtQ2Ftoik6y7kGtYSncygNzZQq3hjSYOGIfIa?= =?us-ascii?q?U+BzsTvqRIStmi3J/frKynxK//Eqkx+D8VcS50ldHojRLn9fCqHwD1xLe58yER?= =?us-ascii?q?/Z9/kqtxSuD2h7P5uxaPUw4i6TWJZA/zrIsiJcdv0bOEC/wlU7rgqGWcUAk9fK?= =?us-ascii?q?p6+TherjmvZ+cOJF6ig3kKKshhtazAfk7MgQWWWib/vi81KH58ULjXLpGlOA2k?= =?us-ascii?q?qrfvZvHJsobvra0DxFJ3osn8RqyDDer3M4GkXUaKF9JYhKKg5XvNlrTOv73F+2?= =?us-ascii?q?/jE6pkDpzx/DJILnhApLVI3jGirjhfLJ951dFyAot0NxT/pxUB7EcLP7pVU/xs?= =?us-ascii?q?9vYDhA9MwOq2eroFNJ91oYGVWKOBK+WLr/SvEeW6u4zJ+SAfowYtTbnJ/Q7+vL?= =?us-ascii?q?jiWU1lF8AcaWx2JsYcnG4HvBoI0WDZnrsh88MHn0MvgUjVuzlllyCXSRTZ3qoR?= =?us-ascii?q?6I84Sk7B5y9DYjfW4Cgm7OB3CKhEZ1XYmBKEEyDEXDtd4mcQfcDdDqSItN9kjw?= =?us-ascii?q?DTbWuV5Uu1RSqtAPjz7pnL/HU+jEDuJL41Nl14vXTmgso+Tx1CcSdyWCNQHtuk?= =?us-ascii?q?mMGXT9llJx49EVyxl6r1aljn+ceHtxa4/ZESBx8LpOYh+ViE8v/XyrFf8yVUxC?= =?us-ascii?q?6Sc7gAD8wCNY03pkCbgI1Esm5yxTK2SXvHqQYjaejC5sz/abR0GL2Ot5mjX3B0?= =?us-ascii?q?e1phFAjRo5LNHa6rq957QnaQYDTwGuDkKP/XKIQxiPMvF+E1WeVt1wQBAd2Xb/?= =?us-ascii?q?IXDYfIFPRtdni7V7qQLqnCLBhOQxEn53RYpBWY8Hk2A0VDMzoP87TNifvww+YN?= =?us-ascii?q?VOz3rqJKbHSVSAY1STZBlIDlmg78nOPNAx4DSCk8Tu2JAwrLkrmZgbXycc7sGm?= =?us-ascii?q?yJmc7ygiLawtq0L/nonY9tbmnU/oWm4k8lmIhpjFzdH641tPSTsOe/k9vIfwab?= =?us-ascii?q?tQ671NKk2nesl4lVqE=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AeSgXEqit70ITf+pyfm/AAJ3g7nBQXh4ji2hD?= =?us-ascii?q?6mlwRA09T+WzkceykPMHkSLlkTp5YgBDpfmsGomlBUnd+5l8/JULMd6ZNzXOlW?= =?us-ascii?q?O0IOhZgrfK7CbnH0TFl9J18YdFX+xABMbrDV585PyKgzWQN9o72tGI/OSJiI7l?= =?us-ascii?q?oktFdg1hZ6F+4woRMG/yeHFefhVMBpYyCfOnhvZvmjzIQxoqR/X+IlcsG/LerN?= =?us-ascii?q?nKjojnZxluPXIa1DU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DmAwCt5FFgfzPbVdFaHgEBCxIMQIQmA?= =?us-ascii?q?UpWOjGEQo9cgWuLNpEkCwEDAQ0oDAQBAYRQgXgCHQcBBDQTAhABAQUBAQECAQM?= =?us-ascii?q?DBAETAQENCwsIJ4VqDYI4KYNmFgsGHQEbHQEDEhAPAh8HAiQBEQEFASMSCBqCT?= =?us-ascii?q?4JUAQMvD58ZgQQ9iy6BFQUBF4MFBoQ6ChkoDWMDgTkCBxJ9KoVlgRqCUoQYgQW?= =?us-ascii?q?BI4FHgXk8AmyCYAOEdIJgBIFUgUtKFAIBAYEFCwGBHwm6OQeDB4EiiDCSdiKDQ?= =?us-ascii?q?IpglX6UdotShjaBfo5wECOBSIF6MxojgQGCOAlHGQ1WAY1INoM5h3qCXgFELwI?= =?us-ascii?q?BATQCBgoBAQMJkH4BAQ?= X-IPAS-Result: =?us-ascii?q?A0DmAwCt5FFgfzPbVdFaHgEBCxIMQIQmAUpWOjGEQo9cgWu?= =?us-ascii?q?LNpEkCwEDAQ0oDAQBAYRQgXgCHQcBBDQTAhABAQUBAQECAQMDBAETAQENCwsIJ?= =?us-ascii?q?4VqDYI4KYNmFgsGHQEbHQEDEhAPAh8HAiQBEQEFASMSCBqCT4JUAQMvD58ZgQQ?= =?us-ascii?q?9iy6BFQUBF4MFBoQ6ChkoDWMDgTkCBxJ9KoVlgRqCUoQYgQWBI4FHgXk8AmyCY?= =?us-ascii?q?AOEdIJgBIFUgUtKFAIBAYEFCwGBHwm6OQeDB4EiiDCSdiKDQIpglX6UdotShja?= =?us-ascii?q?Bfo5wECOBSIF6MxojgQGCOAlHGQ1WAY1INoM5h3qCXgFELwIBATQCBgoBAQMJk?= =?us-ascii?q?H4BAQ?= X-IronPort-AV: E=Sophos;i="5.81,256,1610406000"; d="scan'208";a="498434526" X-MGA-submission: =?us-ascii?q?MDElIVodSjSwnZ8aB2YNOwYxpaqNezCUFxRZh2?= =?us-ascii?q?Y+pyaLgbH0SKUKYVcEu8BlTtYBxwuiUHae377EShp58z+KRvE1wHB1uQ?= =?us-ascii?q?QE/nT14Q60IVFyO3XTueh3HDj8xNDmJ2ICBsbXwFPIFnveidqImWo1/R?= =?us-ascii?q?gaJvTTz1ZJ0nR+V8oPVcZkXA=3D=3D?= Received: from mail-qv1-f51.google.com ([209.85.219.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Mar 2021 12:18:40 +0100 Received: by mail-qv1-f51.google.com with SMTP id t5so1155792qvs.5 for ; Wed, 17 Mar 2021 04:18:40 -0700 (PDT) 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=J0GnG9/D2LDG5TEKm5ovUchwhVnJ6picweorgm+JffQ=; b=c1qiAkoqzC2/s+eguBjWaz21gowYZFXm597mHKPkDUlykJgWpNWBgO+XjX9mIDj+eD vTinL4y3HcESuVzN4XcMAZN4AaeUXXtDsTvNuEx0hBhahOAr7kCN+eciPk4dAd39tzCs QShCkqodHfm8JLlp8IwOyXM45JAF8FgnZASAkhVPO3TkUP845ENWyWKDp/s3P00boeVV S7CGWPQsi7wEzvhnK0zY/uvllcf1kSycgq/WpPyASbPmgZIvE9nzyupfFeKqEwOPLZGA cUXZFgU01YfOrQKb69/mYyke+ri09yEGYNESgjF1eKyzz7PgRSqu8BGpLC050t3AQ4YG Forw== 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=J0GnG9/D2LDG5TEKm5ovUchwhVnJ6picweorgm+JffQ=; b=ZmxlIpNpca9Dn4tJPIrjqotllaA4VtjukezGqTq00LCI+MbrcGk4bWHVBLq0hFX2I+ AKUNieuP25rEb87E99OrFzTG0k1JbktTD19IjAfLOaMyzzKtbt24nszsZNCdx+kKjZbG fZt5Qsph8ySiZCVHVtFnSambcUVjs/QEYKWywAzuY7SoPBCquRE0BKDMMkrRdCB+2SrN 3LpLtZZaY4nN4+wv+ngIZH2Lo3w2IX+p10xkJgrwgDdQwmT8hsZK045Dt3n51WubQHhl CYle/CqcOw2FFe1P8lQsHLxtq7wuYra67/Fo9r6iATgCPoWx8fhJaONIhT3cO6yRVWxU XOYA== X-Gm-Message-State: AOAM53234OYswoogTK/Kr6trGUzEArMDly0/bLkx93w4JDNEdrR7DPFr NattzRC2wh01wLGAp9z62EXi+pojtUHxrjzj+vk= X-Google-Smtp-Source: ABdhPJwBqJ3HDznpWawpUiCr9n2rj5+PzvNMG6mCNUEBS2QAF88qPJo7/72yIJtxhHNLYYY0ieOzND0DejidDWrTyfk= X-Received: by 2002:a05:6214:932:: with SMTP id dk18mr4882812qvb.10.1615979919222; Wed, 17 Mar 2021 04:18:39 -0700 (PDT) MIME-Version: 1.0 From: Andrei Popescu Date: Wed, 17 Mar 2021 11:18:28 +0000 Message-ID: To: agda@lists.chalmers.se, appsem@lists.tcs.ifi.lmu.de, ats-lang-users@googlegroups.com, caml-list@inria.fr 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: Final Call for Participation Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 18428 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: FINAL 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)