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 AB79B5D5 for ; Sun, 6 Mar 2022 21:24:02 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.90,160,1643670000"; d="scan'208";a="24652044" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Mar 2022 22:24:00 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id B0E67E0B6D; Sun, 6 Mar 2022 22:24:00 +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 2A694E004B for ; Sun, 6 Mar 2022 22:23:59 +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-f48.google.com IronPort-SDR: cbwe3Y4NoExt3To3gV0g8NqgjW1t3gmkLvsV0fa/aFSBcReKCT9yl3yahRPrTMvEdH8t0OFsno ziRueQaCYcb9EGeWtYp4wWPhBa8YsORV5nP5JeekwWVUv9WAiReyEa4oZKcaea0aRXMYksUle6 lymhgdOJn8hRbeYYUT77K9ZP0JCCLT6zkJqE6CC4icBCogFxm+b1c1/18XWJbo1zMMiEKf1ln4 stUmXUjYQOFolCei6FGhiT+qkQtANp3t/Zf39zXXnPZWbzHS94GKR8G3UjW0IR99/UA8qFAHl5 eMMViinC1x0WQ+6/yIMOla4Z X-IPAS-Result: =?us-ascii?q?A0C0AgCwJSVifzDbVdFaDghzgVqCKDNLViwEC0SEVI5zg?= =?us-ascii?q?iWMKpA4gXwLAQMBDTUMBAEBhQMChB8CHQcBBDEIDgECBAEBAQEDAgMBAQEBA?= =?us-ascii?q?QEDAQEFAQEBAgEBAgMEARMBAQ0LCQcICgcODgVgAWEDAUSBT4FPJQsDMQ2CN?= =?us-ascii?q?QwahAALBh0BGwwSAxIQDwImAiQBEQEFASMaGoJjgmQBAy4PnxeBBD2LMoEVB?= =?us-ascii?q?ReBAYIJBoRJChkoDWcDgVgCAQYSfiyGEoEkgwGEOIEEgSWBS4IFPXCBBYFeA?= =?us-ascii?q?QKBNoNDgmUEln5gAk9CciSSRR6uDgeDTIFAniszg3OMLJgLllUgpkkQIxKBL?= =?us-ascii?q?gOCEDMaI4EBgjhOAQIBAQENAQIBAQMBAgECCQEBAo40g1uHeoIfRUQxAgE1A?= =?us-ascii?q?gYLAQEDCY83gkgBAQ?= IronPort-PHdr: A9a23:p20gqxxMNh4fJHDXCzL7w1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z haZvKw3xwaUBc3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsipyey+4YDfbxhWiDayfL9/L Am6phjNu8cLhodvNrw/wQbTrHtSfORWy2JoJVaNkBv5+8y94p1t/TlOtvw478JPXrn0cKo+T bxDETQpKHs169HxtRnCVgSA+H0RWXgLnxVSAgjF6Bb6Xortsib/q+Fw1jWWMdHwQLspXjus8 qBrSAX0iCgZKjE37H/YhdBxjKJDvh6quhhzzoHIbI2QMvd1Y6HTcs4ARWdZUclfVyJPDIChY YURE+UMJvpYo5XnqlcSsReyGQuhCeXywTFInH/22qg63vw9HAHAwQMgBcwBsHXJp9vvM6cSS f66zLLUwjXecvhb3i3y6I7VfRA7v/6MXKh8ccrLxUk3EAPFlkufqZf5MDOIzekNvG2b4PBhV eKrkWIotwZxoj22y8oql4LGiZ4bxEre+iVl3IY6O8e4SEhjbNO6HpVdsyGXOop3T84/QWxmt iY3xqEbtZC7fyUHyZspygLCZvGJd4WF7AzuWfqMLTp8in9pZq6zihau/ES9xeDxUNS/3lhNr ipAiNbMt3YN2gTV6siAVvt94l2t1iyT2AzJ9+FEIkY5nrfYJZ452rM8iIYfvEDZEiL1mEj6l rGaelgg9+Sy5OnqYbPrrYKGOYBukAHxKKEul9S/AesmNggOWHCW+eGm273i+U31WaxKjuMrn qXAvpDXKscWqrS2Aw9S1YYj5BK/ACm83NsEmnkHKUpJeBOBj4f3J1HDOO70Aeu7jli2kzpmx +rKMqP8DpjJNHTOn7Tsca5460FGyQozyd5f54hTCrEEOP/8QEnxu8HCDhAnMgy42ebnBM9l1 oMZQWKAHLSZP7/PsVKT6eIvJvODZI4RuDrnN/cl4PvugWc/mVAGZaapx4cYaGikHvR6JEWUe Wfgjs8bEWgWpgo+UPDqiFqaXDFPfXmyWqY86ig/CIKnFofDWpuggKeB3Se+Bp1ZfHpKClGKE XfydoWLQe0AaCyIIpwprjtRXLOlEac8yRWvrxPhjad7I/rd4WsVuY+nnNFt//bekDk29CdoF IKB2HrLTm912GcNWnk60eQ3qFBmj1OK16c9nudVD8d76PROXQM3OoTb0vRhTdv1X0aJdd6MT BOiQ866KTA3VNM4hdEUJw52EsmvgRfZ3iexK7oJnvqADc8a6KXZilH3K9xwyj7+07EslFI7C p9GM2G8i685907LAJbEiE6Ev6mvfKUYmiXK8THQniK1oEhEXVsoAu3+VncFax6K9bwRh2vHR r6qU/E8NxdZjNSFIe1MY8HoilNPQLHiPs7faiS/gTT4Hg6Gk5WLaoeiYGABxGPFEkFRmgYf5 3uHcwh4HiC5rnnVERRhEFvuZwXn9uwt4GijQBoMxhqRJ1Zky6Lz/xcUgfKGTPZG17QIoiog7 TUyBFGl0sndFvKPogNgeONXZtZuqExf2zf/sApwdoelM7gkhlMadFFvuFjy0hxsFohauc0jr Xdv1RQrbKzEgBVOcDSX2Z22MbrSQoXr1DaobaOemlTX0dLMv7wK9Ox9sVLo+gegCksl9Xxjl dhTyXqVoJvQXkIUVtrqX0A7+gIfxfmSazQh547SyXxnMLWl+j7E1dUzAeI5yxGmN95BOaKAH QX2HoUUHc+rYOAtnlGoaFoDMoUwvOY9Oc+8evrA2OizO/5thzm7pWtC6YF5lEmL8ms0S+LF2 YoE3+DNxhGOBFKexB+qtsH6n5wBZClHRDLuj3i5QtQIN+suLdVuay/mOcC8y9RgioS4XndZ8 ATmHFYawIqzfhHUaVXh3ApW3EBRoHq9mCL+wSYn9lNh5qeZwiHKxPzvMRQdPWseDmBkgU3hI M60ycgdREWzZBUBmx6s5EK8zK9e7vcaTSGbUQJTci76Ins3GKK2uqCPYohProsvqShMW/mUb lWTS7q7qBwfmXCGfSMW1HUwcDekvY/8lhpxhTeGLXp9m3HefNl52RbV4NG0qed55jMdX2E4j DDWAgL5JNy15ZCOkJyFtOmiVmWnX5kVcC/xzIrGujHprWFtBBS+mbi0lLiFWUAz1yPh2tgsV WPQqw7xeYL2/6u/OONjOEJvARfw5tF7FYd3joYrzMtIiD5K29PPpCtBzTe7OM4+u+q2dHcXQ D8X39PZqBPo3kFuNDPBxo70UGmc3to0YtC7Zm0M3Sdup8tOCaqS8PlFhX4v+gv+/V+XO6Es2 GtNmp5MoDYAjuoEuRQg1HCYC7EWRwxDODD00g6P5Ja4pblWY2Cmdf6x0lB/lJavFuLnwEkUV XDnd5MlBSI14N94NQeG2Xv/8IzlPtmWddULuwafjj/PiuFULNQ6kf9A1k8FcSrt+GYozeI2l 0kk1Je2poWGbWUr5KWhDwVTKxX6YsoS/nfmiqMUzaP0l8i/W55mHDsMRp7hS/mlRSkTufrQP AGLCDQgq32fFOmXDUqF5UxhtX6KD4GzOiTdOiwC1ds7Dkr4RgQXkEUOUT49hJJ8Cg262Jmrb hJi/j5Irl/g9kkXl6QxZkG5CDuA4l/vMGt8SYDDfkQKqFsZvAGMb5TYtqUqTkQ6ttWgtFDfd DLdPlwSSzlPAgveXxjiJuX8u4eGqbTJQLrmaaOJO+3GqPQCBajSg8vzlNI3pXDUcZzfWxsqR /wjhhgcATYgQZmfw3NXDHVJ3yPVM5zC/Ef6o3Io6JD5qLOxAUru/dfdUuQJd4w+p1bux//Eb rD15m4xKC4EhMlUlDmYlf5Ghg5U02Y3KHGsCehS73eTCv+A3PYGVVhDLHoifMpQs/Bmh1cLY 5WKzIivkOY/169QaR8NQ1XlnovBidUiBWa7ORuHAU+KMO7DPjjX24TtZqj6T7RMjeJSvhn2u DCBEkalMC7R3z/uHwuiN+1BlkT5dFRXpZ29fxBxCGPiUMOuaxu1N8VyhCE3xrt8j23DNGoVO zxxO01XqbjY4SRdi/R5U2tPixgtZfGDgDqc5vLEJ4w+tPJqBmFtibsf7ihqjbRS6y5ASbp+n y6T5t9irle6k/WenzpqVB0dz1QDzImPvEhkJeDY7swaASeCrE9LtzzBTUha9L4HQpX1tqtdy 8bCjvf2ITZGqZfP+NcEQtLTI4SBOWYgNhzgHHjVChEERHilLzK65QQVnfeM+3mStpV/pILrn c9EQ7lXTlE0UPNcEkN9EccJPb94WzollfiQi8tCth/c5FHBAd5XuJzKTKfYGfL0NDOQlqVJf TMNyLL8aJ0Nb8j1hxwkZV59k4DHXUHXWJoex08pJh9xq0JL/n9kS2Q10E+wcQKh7kgYEvusl wI3gA9zCQzI3Djp6lYzYFHNoXlo+KHQsdDsgDTUaSCoaansDcdZDC37s0V3OZT+EV4dheKak kltNTOCTLVU3eIISA== IronPort-Data: A9a23:mXg0CqA+HGGhRxVW/xnlw5YqxClBgxIJ4kV8jS/XYbTApG8m0TEAy WQfX23QOvmOMTene90gOo+y9RtS7ZTVz4QwOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFw0XqPp8Zj2tQy2YPhXVvX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYo2umvulM4 u9DjJC9TiALAZ2doNUmVxYNRkmSPYUekFPGCX22sMjW1lOfNnWwk7NhC0Y5OYBe8eFyaY1M3 aZAeXZdM1bZ3rPwnOLTpupE3qzPKOHiOo8Ft3AmzXfBCu4rWpvea6rP7N5cmjw3g6iiGN6EO 5REM2I2M3wsZTVGMEonBJt9kNyBnyb8KSRHs3KpppEotj27IAtZieCxarI5YOeiTsxQmgOcp 3na13/oBwkTct2Z0zuMtHy27tIjhgv+UYMWUaSmr7tk3A3VyWsUBxkbE1C8pJFVl3JSRfoBB G0txwAUo5E++UuMbObNDiWJm3qL60t0t8VrL8U27wSEy6zx6gmfB3QZQjMpVDDAnJ9pLdDN/ g/Z9+4FFQCDo5XOFi3Arub8QSeafHlKfTVbNEfoWCNcu4G7yLzfmC4jWTqKLUJYptj8GDW12 i7T6SZi1/MciskE06j99lfC695NmnQrZl5ojuk0djj9hu+cWGJDT9H4gbQ8xagYRLt1tnHb4 BA5dzG2tYji962lmi2XW/kqF7q0/fuDOzC0qQcxQ8d8pm3xoyb4I9g4DNRCyKFBYplsldjBM B+7hO+tzMI70IaCMfUuONroU6zGM4C5TIq5Dpg4keaikrAoLFPdlM2fTUGX2G/pnSARfVIXa P+mnTKXJS9CU8xPlWLoL89EiOND7n1gmAv7GM+jpzz6gOL2TCPEEt8tbQreBshnt/jsiFuOo 75i2z6ikUo3vBvWOXmJr+b+7DkicRAGOHwBg5cPJ77bf1E/QzlJ5j246epJRrGJVp99zo/gl kxRkGcBoLYmrXGYewiMdF55b7bjAcR2oX4hbH4jOF+p3z4oZoP2tPUTcJ4+fL8G8u1/zK4sH 6NVJZnYWvkfGC7a/zk9bIXmqNMweRmugzWINXX3bTU6ealmWAGUqMTveRHi9XVVAyfu7Zk+r rSs2xn1W50GQwg+Xs/aZOj+nVy0tHkZ3ul1WhKQcNVUfUzt9qlsKjDw3qdneZFSdU2by2LDh QiMABoeqe3cmKMP8YHE1fKesoOkM+piBU4FTWTW6LCBMyOFrGeuxIl3VvnRIWLQWWbyz6WVZ etPysb6PvBazk1BtJBxEuoywK8zu4nvqrtdwlg2FXnHdQ7wWLZpI33DxNcW86MRlvlWvgy5X k/J8d5fYO3bNMTgGV8XBQwkcuXTiq1Oy2eKtaw4cBfg+St63LubSkEObROCvypQceluO4Q/z OZ95cMbt16lhhwxPorUhyxY7T7XfHkJUqFir49DRYG32kwkzVZNZZGaASjzucndZ9JJO0gsA zmVmKuS2OgGlxSaKyI+RSrXwO5QpZUSoxQWnlUMEFKEx4jejfgt0RwNrDk6Q2y5FPmcPz6f5 4SqC6F0GUlK1zJhhcwGRn71Xg8dVFuW/Uv+z1ZPn2rcJ6VtuqohM0VlUdthPmhAm46fQtSf1 L6dwWfhFz3teakdGwMsDFV9paWLocNZr2X/dQPOIyhBN5Y/aDvhxKSpYALkbvch7dwZ3CX6m AWhwAq8hWAX+8LdT23XxrR2DYgtdS0= IronPort-HdrOrdr: A9a23:onsiZK15LyZKMLHBJ1XBfQqjBL8kLtp133Aq2lEZdPU1SL3+qy nKpp4mPHDP+VUssR0b+exoW5PgfZq/z+8W3WB5B97LNzUO01HYSb2Kg7GSpwEI2BeTygee78 pdmmRFZ+EYxGIVsfrH X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,160,1643670000"; d="scan'208";a="24652017" X-MGA-submission: =?us-ascii?q?MDEuBSiCmafeQZxSOHPQKiqNEEj2KeA647qDVb?= =?us-ascii?q?CCdeZa1fuMI0W1AcxoB0Oxsph/F7+EcSZhLX66WMQWJCY80F+uqp9g/m?= =?us-ascii?q?FUtVzq+OBdZMR3SAwPgr5UnWhZm/eD9c1v5WHHY7CmfIq/2ySGItlLsB?= =?us-ascii?q?IpIgPGy77eUVjOYn6UX8wnKg=3D=3D?= Received: from mail-qv1-f48.google.com ([209.85.219.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 06 Mar 2022 22:23:58 +0100 Received: by mail-qv1-f48.google.com with SMTP id f4so10363652qvd.0 for ; Sun, 06 Mar 2022 13:23:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=mwrkJh5mCfNjntA714QW/fnKmb4XKPL/xLvcCgy3XE8=; b=oA6aalVkx3DBJUx9RxyI5XV5GpKce+Q64z4PBDYmfuTmX5ylLjnoILD5I/n1VCZOn0 rAuTPDFkpUJjpLvLsGOcVDGxXK+XwjTadwWG5QaNrWrjBzlSxwbpcrXIxBS+AWmBxgq9 5pP8rNpjRgkGRBLL6BwwAVWUocEOpcTIdj0wnjuOkAQweZ1a+yQATGUaLftq3fqkOEA0 So+Or1uDhGr/bDICwGRxI1n/s7SQWxLklpAIdMaHmlZrVOZ7XozPVRy3BADAILBGvs/a p8HnzgmAfq35epx68+zp2Jio9G8fWB7sGSGMGbkc84S2+/iEU9A5DmEPwMmqLF1YSJe3 /k7A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=mwrkJh5mCfNjntA714QW/fnKmb4XKPL/xLvcCgy3XE8=; b=mS/WlsjctbyoX0se15jklF1iGmhBuNhT/WI8DApbIDER+mnj+mBU0pbel6VK076Vq+ EGbkVfthEo+0hvcYym1+K2C5JZD1figIBaMKmpy0oEdmIvr8+UvusQ4VQjdyZqWlLL43 7jd6ekXtxHA53p+zszhUn9fbaQNqxqzNvX+WlTihwaVv4KZ8VEc71Uax4S2eyxMeTL31 gHdcGIBiJ6AO2/56KPrEEMsJePKcrwjLZ9NeW8B8T5QRCwqD93MrRAKcLql9mwFTE0+M u0sg60YdlUZJH7V9YSWGLOJm2oyRxN1KKbvCVPkN5zItmDIwh6CHPj0xDfmRF4cXsQwg C0hA== X-Gm-Message-State: AOAM531msS/4+mzNwmCbl0kb6kHdHp9BhO6KqOMBV6rPjcjgCFyebJO6 DPoALQhtgeDNlMx/035Du3+kJAiOQS/0iv2410DpI0oFInE= X-Google-Smtp-Source: ABdhPJz5haGs4/B+fJ/e70iSQmUxieTAL8w9JXfUi3YnWeqsYBRdDmrPASYlJWSyx5REMfdh0675VKoPNZGTIC08lJo= 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) MIME-Version: 1.0 From: Andrei Popescu Date: Sun, 6 Mar 2022 21:23:46 +0000 Message-ID: To: acl2@utlists.utexas.edu, appsem@lists.tcs.ifi.lmu.de, ats-lang-users@googlegroups.com, caml-list@inria.fr, categories@mta.ca Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 18715 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 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....@nottingham.ac.uk nicolai....@nottingham.ac.uk