Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Midlands Graduate School, 2-6 April 2023, Birmingham , UK

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Midlands Graduate School, 2-6 April 2023, Birmingham , UK


Chronological Thread 
  • From: Graham Hutton <Graham.Hutton AT nottingham.ac.uk>
  • To: "fun AT cs.nott.ac.uk" <fun AT cs.nott.ac.uk>, "appsem AT lists.tcs.ifi.lmu.de" <appsem AT lists.tcs.ifi.lmu.de>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "haskell AT haskell.org" <haskell AT haskell.org>, "haskell-cafe AT haskell.org" <haskell-cafe AT haskell.org>
  • Subject: [Coq-Club] Midlands Graduate School, 2-6 April 2023, Birmingham , UK
  • Date: Tue, 14 Feb 2023 07:45:42 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exmail.nottingham.ac.uk; dmarc=pass action=none header.from=exmail.nottingham.ac.uk; dkim=pass header.d=exmail.nottingham.ac.uk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=HT7SNg5mWvR7tFS3E1GgYtAIy9e68oyzr7BGBpv1RPE=; b=gju/nyEHYjPLZQBKKyJImRYGzw9ipSmh0cWvMzzL7Zd23xmi4DiFt49xXPLoIkq0XGHhN9j5dzy8dbUIN6eXZr29DG3ViAfvH1FHYih0EfV2i5DFkuhFXO6UiPbZ3OgccWcjCeFrk4mCUZLn8EJ7YbacdOajLYfuC04rDTYFFxDAFVn2Nb81CYDdaK7pvXeMLys+B9B0EXg2Ut4DlwXX3gap85l+veQApJAb1+8I+s0Dq5EAK/7bOpnhYQ84hMmVEImvNJo8/n3AiWE2aOwIstkk52egLAJT2wFsh0XiawTh7azdVgiBTSVQt1UJs9rBX+0Ab5uARdHZrveHmkkHyQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=kPB+Ss81voS92A8FiONhdvprzmM53cVFoq0d16t/KI5gqoFryzLOMEC3NUwn05AIoJ2wiWtngCEoJw5IUR4dku3iWMp6nA2V4HswFPPNtLOEmjsalsyy4ImWJCS/Cq8MQG7QPGO3ZUQGNghjzOncd/n3+qoJ6ufzWgFYU04Jfrf6RdtCdNFqLvdRddJ6XraP/mwHMNi1u5CP/0k9yFatknuX1yVOozh3xE1McVaDA4sC3wFoTRu3OzLEE+HYBZcU8g9BQdWukP8qiEnz5aEqPjqssqkDzZqNmo5i670qrxD4D3aD2KUjOP/6zQ4/RSSM8A2e4JMpKfIH08yYoFk4DA==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Graham.Hutton AT nottingham.ac.uk; spf=Pass smtp.mailfrom=Graham.Hutton AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT uidappmx05.nottingham.ac.uk
  • Ironport-data: A9a23:bgTBUql94a3aA0Suiv2FJOLo5gxwIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIfCD+GPf/ZMGqjeo90OovipkwGuZbUyIBnGVRp/C43H1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTres1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82MyYz18B56r8ks156yo4W9A5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1FNFxnG70d5NxlDEdj8 LslCBwPNh2c0rfeLLKTEoGAh+w+LcXiJJsaqik9izfeEeonR5/DSqCM7NQewTRYasJmRKyOI ZBFMnwzN1KZOU0n1lQ/UPrSmM+HnHD/ejgeiE+Jua0xy27U0BBw1rftOd+Tc9fMWMY9ckOw+ j2YojinUkhy2Nq3ywa74litltX1sjqlAL0JMKaH6aBqnwjGroAUIEZKCwfi+KPRZlSFc9lYM gkf/jckhbMj8VSiCNj7RRyx5nCe1iPwQPJNEuEz8BmI2vKJpQCeGnQFSDFBYdlgvcRwWD9CO kK1c83BLgRy4ZulTGyn5LqygDb1BAg5LzcPenpRJeca2OXLrIY2hxPJa99sFq+pk9H4cQ0cJ RjW8EDSYJ1P0qY2O7WHEUPv3mvw98aSJuIhzkCOBDj5hu9sTNT9P+SVBU7nAeFoA6zxc7Vsl GUFl8GG9OUeVczLkiuRXOQLE7Gg4rCMO3vBgjaD/qXNFRzzqxZPnqgJvlmSwXuF1O5fJlcFh 2eP4WtsCGd7ZifCUEOOS9vZ5z4W5abhD8/5cfvfc8BDZJN8HCfeon4wPhfLhzqzyBR9+U3aB Xt9WZvzZZr9Ifk3pAdau89HiuBDKt0WmjmOG8ijl3xLL5LDPiHIIVv6DLd+Rrtlsv/d+V+9H yd3NcKMxgkXTev/fCTN6o8PPBgMIGQkAor1w/G7hcbdSjeK7FoJUqeLqZt4ItQNt/0Mxo/go y/hMmcFlguXrSOcc22iNCs8AI4DqL4i9xrXywR2Ywbxs5XiCK7yhJoim2wfIuR5rrQ6laQpJ xTHEu3Zaslypv3802x1RfHAQEZKLU/DadumbnL/MgssNYVtXRLI8dLCdw7ivntGRCmuuMd05 /Xq2grHSNBRD05vHeTHWsKJllmRhHk6nP4tfk3qJtIIRl7g3rI3IAPMj9g2Afo2FzP9+hWg2 T27Oywo/dv2n9dt8f3ip7y1kIOyIu4vQmtYBzb66Ji1Bwn7/02i45JKC9zQdA+AUmrb1rmGY MtX6/fCKtwGg1d4nI5uGJl7za8FxoXOpp0L6i9GDXn0f1CQJbc4GUa/3O5Lrbxr+r9VnSCUS 3C/0IBWFpvRMfy0DWNLAhQua9qy8M09mx7Q3KwTG1r77iomx4i3exxeEDfUgRMMMYYvFp0ux Nogn8sk6wafrB4OGfTehwB281W8FFAxY58FhLo7XrCy0hEKz2tca6PyEiX1uZGDS+tdO3kQf wO7uvDwuKR+9GHjLVwDTWPAzMhMt6Qo4Rpq9mIPF36Nu9jCh8I04iFvzCQKflxr6StDgs1OO TlNFkxqJK+x0S9iq+pdUkuNRQxQJh2r1Xbg6lkOlWfcHhGkeWjQHjc9Oey2oUAo4j8Fdyl65 5Cd8n7uChzxTfHy3wwzeE9rkOPiRtpP7T//mNirMsCGPpsiax/nv/OeXnUJoB7ZHs8Bvk3Li u109uJWa6egFyovj4AkKoudj5I8dQulITFcfPRf4685J2HQVzWs0zyoKUrqWMdsJeTPwHCoG f5VOcNDeBSv5hmg9glBK/Y3HIZ1u/o16P4pWLDhfzcGuoTCiAtZisvb8yymiVI7R9lrr90GF brQUDC8Q0iwnnpfnlHfoPZUYlSYZcY2Xyyi/eSX3thQKbc9nrBNS3wi6pq1oHSfDyV/9T22o g7oRvHb3s5i+6tWjqruFaRPOAG3GOPZS+64/x+ViIlTZ4j1ac7x6gUchXf7GwF4P58XZc5Wl KuMgvHzzkjqrLY7aEGHupijRo1ix9S+Y/pTCe3zdEJlpCqlXNT+xjc64EW6FMB5q8xc7cyZW AeIUsu8WtoLUdN7xncOSSxhPzsCKqbwNIHMmDicqqmSNx0jzgD3FtOr2nv3Z2V9dCVTGZnfC Bfxism+9OJjs4VAKx8VNc5IW6YiDgfYZpInUNntuR2zLGqi2AqCs4S/sysQ02jAD33cHfvq5 Z7AeAPFSy2zn6P2neFp69k4+lVdCXtmmuA/c34M49M82XjwEGcCKv9bKpkcTI1dlivpzpzje TXRdy0YBD7gWShfOwDJiDg5stxz2sRVUjs4GtAow69QQzq3CIqYGL5xrnom5XBqZjrlw+GuL JcX8TvtPXBdB32vqfk7vpSGbSVPn5s2BU7kPWj7lNDuAhARAbwPknVqWhdOPcACO9+Yj13Ff ADZWkgdKHxWiifN/QJIfXlJBBAfszPmynMhZmGSw74zfmldIPJokJXCBg047lHPgAnm6lLDq bMbilZhO1yr50E=
  • Ironport-hdrordr: A9a23:+eZLkagUMImgKuumJSnhPhbhpHBQX3113DAbv31ZSRFFG/FwyP re/sjzhCWE6wr5BktBpTnZAtj9fZtFnaQFrrX5To3SIzUO31HYYr2KjLGSjwEIdBeOjNK1uZ 0QFJSWa+eATGSS7/yKnTVQeuxIqLLsnczG64auqgYIcegAUdAY0+4NMHfhLqQAfng/OXNWLu v72uN34x6bPVgHZMWyAXcIG8LZocfQqZ7gaRkaQzY69Qinl1qTmf7HOind+i1bfyJEwL8k/2 SAuRf+/L+fv/ayzQKZ/3PP7q5RhMDqxrJ4dY+xY4kuW3fRYzSTFcBcso65zXcISSaUmRAXee z30lId1gJImirsly+O0EPQMkLboUgTAjfZuC6laD3Y0JfEbQN/MeJ6pcZjWD31xyMbzYxB+Z MO5XuQs95sBxXakE3GloL1vlhR5zmJiGtnnugJg3NFV4wCLLdXsIwE5UtQVIwNBSTg9ekcYa JT5FG13ocnTbq2VQGRgoBU+q3lYl0jWhOdBkQSsM2c1DZb2Hh/0ksD3cQa2nMN7og0RZVI7/ nNdv0ArsACcuYGKaZmQOsRS8q+DWLABRrKLWKJOFziUKUKIWjEpZL76Kg8oOuqZJsLxp0vn4 mpaiITiUciP0b1TcGe1pxC9R7ABG27QDT208lbo4N0v7XtLYCbRxFriGpe5PdIj89vdvEzAc zDSq6+K8WTWFfTJQ==
  • Ironport-phdr: A9a23:BXCzzhZ+y+9jBodwFiDXGT7/LTHO34qcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gKPBNuBoKsc26L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWhDexe65+I RSooQneq8UanYhvIbstxxXUpXdFZ+tZyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/2bKhMxtl6JbuAyuqABjw4DaZ4GVMeBxfqLbfdgHQWZMUcJcWylHD4ihb YUAEvABMP5YoYfjulUOsRWwCwqrCuzzxTFHiWT73bEj0+QkDQ3G3BAsE8wIvX/JrNv1LqASU eWtwafJ1zXMdfNW1i346IPVcB4hvO2MXa53ccrX1EIiEALLjk+KpozlJTyV0/4BvWqG7+p8S eKvjGgnphp3ojio2scslojJhoQaylDE7yp5xZw5KsekR0JhfN6kE4JduieHPIR5Xs0sWXtnu DomyrIYo567ejAHxpo5yhLCZPKKboqF7xPtWeuNPTt1mH1oda6hihu88kWt1/DxW8273lpXr SdIjsfAu38D2hLT6sWLVvVz80el1DuJygvd5OZEIUUumqraLZ4s2qIwlpsVsUXDAy/2gkH2g LWKeUUj/+ik8+LnYrL6pp+ALYN7kB3xPr4zmsy8B+kzLwsAX3CD9OihyrHu/lf1TKtFg/A4i KXUv57XKd4GqqKnAAJZypgv5hejAzqo1dkUgGULI0hEdR+CkYTlJ0rBLfX2APiln1ihlTJmy +3GM7DnH57DNGLMkK37crZ480NcyBQ8zdRY559MF7EBIe/8VVXptNzACx84PBC4zub9BNV70 YMeRX6PAq6fMKPdsV+H/OcvL/OWa4AJojr9Nvsl6+bvjX8/h1AdYbGk0YYJZH27BPhqPUqUb HT2jtoOH2oGpBcyQPLphVGaVD5cfXeyX6Yy5jEhD4KmCJ/OSIG3gLOb3Ce0BJhWanpEBFCRD Xfoa4KEW/EXZSKUJc9hjiAEVbmnS48u1RGhrgr6x6B9IeXI4CEYqJHj2MBz5+LIjR4y7yB7D 9yB02GRSGF5hn4ESycs3K9juUx91kuD0a9gjvNEEtxT/upFXRs+NZ7B1ON3EMvyWwLEfteRU lmqWNSmATcrTtIw2dACeUh9G8/xxizEimCkHrk9nKfNApso7uTV1D7sJIw1n3jb0oEqlB8gR ddTc2StwLN8oUybTYfRi16Uko6udL8Ax2jR/3zFzGSP+kVdTUh8XO+NCXkHflDbqPz951jeV PmyAq9hMwVAj8qHN+1GZ4utxR9NQ+6mM9DDaUqwnX2xDFCG3PnEOIHtYiAW2DjXIEkCiQEau 3icY0x2TC6ur2v2CD11CUmpaEPl9exzsmj9VUJ+h1WDYEFo/7604QIOw/ecQvcW06gf/jws/ XE8Vla0xNHbD96opwN6f6hYZZU6+lgNnTbZvhd+M5ikB6BrnV0TdwAxuFnhgVE/QIVJissnq HdvxwN8JIqY2UhCejecm5fqNfeffmn75xOib6qT0VjQ3f6W87wM5fA87VL5s1f6OFAl9iBIy dBV2n7UxojWEA0UGcbeSE83/h08h6zGfi47z4XTyWFtN6a0uzqE0tlvGehzmUXoRMtWLK7RT Fy6KMYdHcX7dL1CczmBaxsFOLsX76soJ4a9cOPA3qe3PeFmlTbgjGJd4Yk73FjfvzFkRLvu2 JAIi+qdwhPBTy312Xi7u8D+nMZkeC0OGWyXzy/4GI9Xaa17eMACAiGzIJ7/3c1w0qbkQGUQ7 1u/HxUD0c6tdwCVagnSxwRQ3EFRgWG7hSy+5zpzjy0oqKWf1SmIyu+kaRlUcnVTSjxEilHha ZOxk8hcXEWsaF0xkwC54E/h26VBjLl+I2DLWUJYJ3WwKWZ+Tqq2ubqLZohG49U1sk27ScyaZ laXAv74qhoeiGb4GndGgSs8b3ess4n4mBpzjCScKmxypTzXY5M4wxCX/9HaSfNLu1hODCBll TnaAES9NNi17J2VkZnEqOW3S2OmUNVabyDqyYqKsCbz63dtBFWzmPW6m9uvFgZfs2ez+MNjV SzN6jbhfpXs0Yy8Nv57f09nBFb5rcNxXJx908MxiJwWxXkGl8CN53NU9AW7ed5f2K/4cD8MX WtSmY6TulS+nhE4aCvTl9GcND3V2MZqatikb3lD3ys865sPE6KI9PlfmjMzpFOkrAXXaPw7n zEHyPJo5mRJ5oNB8Acr0CiZBagfWEdCOim53TuS5tC3qeN3eXqzdr6Y0k1igdGnA7GLp0dVU zDked1xeE04ptU6K1/K3HDpv8vLYtDQZNdVlgCIjxDGp+5SNI4wkPUKjC8hMGm7oH5vmItZx VR+mJq9uoaAMWBk+qm0VwVZOjPCbMQW4jjxjKxak656xqiXF456UnUOVZrsFrezFS4K8O/gL 0CIGSE9rXGSHfzeGxWe4QFotSCHH5euPnCRbH4XqLcqDDaHLUxWhUY0QSkmmZgREAe22M3nf 0dw43YY7RjlqVNAx/lpOB/2TmrE7F7yOnFuFMPZcEEQt1sSr07OVK7Wpvp+BSRZ4oGsoESWJ 2qXah4JRWAFV0qYBkzya7yn5N3O6e+dVY/cZ7PFZbSDr/AbVu/dnMj/lNE6pHDQbYPWZCkxa p9zklBOVn14BcnDzjAGSihM0jnIc9bevxCkvCt+ssG49v3vHgPp/4qGTbVIYrANs1i7h7mOM +mIiWN3MzFdg9kj33bIwb1Z/EMOlyZoXz+qDagBsyHNRaeWk6QREh1ROEYRfINYqrkx2AVAI 5uRpcn81rd9yN4oF0tCU3Tnnd21ZMoFI2i4clrMQluIfufjR3WD04T8ZqWyTqdVheNfukiru DqVJETkOyyKizjjUx38efEJliyQOwZS/Z2sahs4Q3a2V8roM1foVb0/xS1z27A/gWnGcHIRI SQpOV0YtaWetGtZmqktQjYRqCA5dq/YwGDAtbmQK45K46IxUmIuy7kcvC98kuEEiUMMDP1tx HmL/oMo/QDgzLXJkn09ClJPsmoZ2d7N5xk6f/uFsMEHACeM/QpRvzjMTU5W/500VJu3/PkBr 7qH3KPrdGUfqZSEp41FWJKScIXdajIgKUa7QW+ESlFDFGT7czmY3hwVkenOpCTJ/t5j8sWqy NxWDeUCMT59XvICVhY8TYBEec4vGGl4yvjA3YYJ/Sbs9UiBAp8c58qXEKrVW6mnKS7F3+AVN 11Sh+qjd8JLcdehvi4qIlhiwNaTShqWB5YU+XMnNkhu+w1M6CQsFzxjnRijM1/wpidUT6L8n wZq2FIvMaJ3sm68vRFvYQCRwUl42EgpxYe80GDXKnioc/j2BcYMV2L1rxRja8KrBVwzNFLi2 xQjbmyMRqoN3eIxJSYxzlaM4d0XXqQAKM8MKB4ImaPKO7NyjQwa93jhmggcv6PEEccwzlN6N 8Hy6S8enVokNod9JLSMdvoRiAIL3+TU42nwkbptpW1Wb0cVrDHIIH5O5xxOaOlgf23ypKRt7 weGhjdOKncUUrwkpuN191kwfe+Hymr22rpHYChdLsS5KKWU8yjFnM+MGRYr018Q0lJC5f5w2 NsidEydUwYuyqGQHlIHL5iKLwYddMdU+HXJGETG+ezQ3ZJ4OZm8HeH0XKePsqgTmEetAAcuG cwF8M0AGpCm1EyQI93gKfYJzhAk5QKjI1vgbrwBYBWQjDIOuN2y1rdq3IVUPikYET0gdyOw+ qrWoAAqif/FVdxwf3RbFooIO3QqWdGrzi5Uu3MTaVv/mukdyQWE83r9vnGJVmm6NYY4IqvPI 0o2WILTm3136aW9hF/J/4+LImj7MY8nodrT8aYBoI7BDfpITL57ukOamo9CRnXsXXScdLz9b 5X2dYQoasT5T3igVVnqwR0vRsf4OZCNM7SUhgfAQ4FIrIid0zAqMIm0HXcDGF0jwoNLrLI5f gAFb5chNFTwsB8iMqWkPAqC+sivT2+1MT5GF6QZy+Kme71RwCola6mzwz09Tdtpqov/uV5IT 5YMgBbEwP+lbIQLSin/FEtWfADXrDY4nWxsXg7d6uE43A/Jt1YcOjXNfecvdW8W5rnU4HuUJ mlqC2w3R1aZy4PIpBOvjeh6F8p1gtdY2PVdtWim49nZZy6wWaqkqZzQ9SMrK8Ul8fUZDA==
  • Ironport-sdr: 63eb3c2f_hbfKdlaJmQLZi//evB8tuDWKzK8CyYRzr7zvMSrfjtphIeA EPEWuAAWjRSNb21UYQr8JxtZd055oYyW9KNXogA==

Dear all,

Registration is now open for this years Midlands Graduate School, which
takes place 2-6 April 2023 at the University of Birmingham, UK:

http://www.tinyurl.com/MGS2023

MGS provides an intensive course of lectures on the Mathematical
Foundations of Computing. It has been running for approaching 25
years, and attracts around 100 participants per year from both
academia and industry. This year's courses:

- Domain theory and denotational semantics (Tom de Jong)
- Type theory (Thorsten Altenkirch)
- Category theory (Nicolai Kraus)
- Computational models of higher categories (Jamie Vicary)
- Homotopy type theory (Eric Finster)
- String diagrams (Dan Marsden)
- Algebraic semantics and verification (Georg Struth)
- Effects and call-by-push-value (Paul Levy)

Spaces are limited, so early registration is recommended.

Please share!

Best wishes,

Graham

--
Professor Graham Hutton
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~pszgmh






This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.






  • [Coq-Club] Midlands Graduate School, 2-6 April 2023, Birmingham , UK, Graham Hutton, 02/14/2023

Archive powered by MHonArc 2.6.19+.

Top of Page