coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
Chronological Thread
- From: Nicolai Kraus <nicolai.kraus AT gmail.com>
- To: agda list <agda AT lists.chalmers.se>, coq-club AT inria.fr, haskell AT haskell.org, types-announce AT lists.seas.upenn.edu, Homotopy Type Theory <HomotopyTypeTheory AT googlegroups.com>, tipuselmelet <tipuselmelet AT googlegroups.com>
- Subject: [Coq-Club] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
- Date: Mon, 21 Feb 2022 11:41:02 +0000
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolai.kraus AT gmail.com; spf=Pass smtp.mailfrom=nicolai.kraus AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi1-f170.google.com
- Ironport-data: A9a23:EBUX+agqBSTREBNxzPHJB4N6X161XhYKZh0ujC45NGQN5FlHY01je htvXjzVOqmPYzP8eNxxO9vlpBgOupeGzdVmTFdl+yoyFCJjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKidUsxIbVcMpB0J0HqPoMZkxN446TSFK1nV4 4mq+ZeGYAbNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ Nplmc2PDh0ONYP3n8dDUiRBFDtEbepo9+qSSZS/mZT7I0zudnLtx7BpDRhzM9RHoqB4BmZB8 fFeIzcIBvyBr7jukfTrF6812JtldZazVG8ckikIITXxC/ctRpTKQuPJ/9ZFxx8/g8lPGbDVY M9xhT9HMkmbOE0QYD/7Dro1lvv3vFPDWgd0h3+xg6ga2Hfd1RBuhe2F3N39I4TWH625hH2wr WXfum/9HxsyL82a0TPD83S2h+aJkzmTZW4JPLix9/ovh1zKg2JKV0VQWly8rv20zEW5XrqzN nD45AIC/Jd17mugYOL6fEO5nWeDpCRMHPRfRrhSBB629oLY5AOQB24hRzFHacA7uMJeedDM/ g/X9z8OLWw/2IB5WU5x5Z/P8mzvYXl9wXsqIH5bHVFcsrEPtalq1kqXJuuPBpJZmTEcJN0d6 zWDrSx7gLRKyMBSiP398lfAjDah4JPOS2bZBzk7vEr1sWuVh6b/POREDGQ3C94dfe51qXHf5 hA5dzC2trxmMH10vHXlrB8xNL+o/e2ZFzbXnERiGZIsnxz0pSL+JtAJsGkmfxkxWirhRdMPS B+N0e+2zM8DVEZGkYcqC25MI5hwlPO4TIyNug78N4IROskZmPC7ENFGPBbMhQgBYWAjlqYwP ZrzTCpfJSdyNEiT9xLvH711+eZzmEgWnDqLLbiilkjP+efAORa9FOhdWHPTP7hRxP7V+239r ocPX+PUkE43eLOlMkHqHXs7dw9iwY4TXsCo9aS6t4erfmJbJY3WI6WPmeh4I9Q9xcy4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHUcktoHQlEzYrOFr0iXEvbZz+vqgafpozO7Ig8bU7n/JzS vAEfeSGA+hOGmyXoWRDMcGlodwwbgmviCKPIzGhP2oycptmcArDpY3pcw7pwy8RA3flrsA5u bChiljWTMNbFQRvBcrbcty1yFa1sSRPke5+RRqaLdxaeUGq+49vcnSjgvgyKsAKCBPC2jrKj 1bMUUlE/bHA+tZn/sPIiKaIq5aSP9F/RkcKTXPG6buWNDXB+jXxzIJFVtGOd2+PWW7x/pKke rwJnfzxNfswnGFKvZB5JLBlwP9s/NDovbJbkl1pEXiXPVSmDrRsfiuP0cVV7PEfw7ZYvU6xW xvK9IAFYfOGP8TqFFNXLw0gN7zR2fYRkzjUzPI0PESqu3MtreTfCR1fb0uWlShQDLppK4d5k +0vj8gbtl6kgR0wP9fa0y1ZqzaWInobX/l1v50WGtW32A8iy1UHZp2FTyGvv8nJZNJLPU0nZ DSTgfOa1bhbw0PDdVs1FGTMjbUB38VQ4EgSwQ9QPUmNl/rEmuQzgE9b/wMxQ1kH1R5Aye9yZ jVmOkAdyX9iJNu0aBWvnlxAGj2twDWc8031jlwIzSjXFhbwEGPKK2I5NKCG+0VxH6ewuNRE1 Onw9YoneW+CkALNMu8aVktsqvilRtt0nuEHsN7yBNyLRvHWfhK86pJDpgM0R9/PDsY4hUmBr u5vlAq1hWsXKgZIy5AG50KmOXj8hfxKyKGugR2swU/RIVzhRQ==
- Ironport-hdrordr: A9a23:t7lI9Kp6wn3KyaupY5B+0GQaV5omeYIsimQD101hICG9E/bo8P xG+c5w6faaskdzZJhNo7C90cq7IE80l6QFg7X5VI3KNGLbUQCTXeRfBOXZslnd8u7FmtK1F5 0MT0GzMrLN5JFB4/rH3A==
- Ironport-phdr: A9a23:4lnmCxzTtL2KUI7XCzI+w1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z haZtasm1g+BdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekdq72/qx9pDSbAlEmjmwaq5uI RurqgncqtMYipZ4JKYrzRvJrHpIe+BIym5tOFmegRXy6Nqu8ZB66yhftO4v+MBGUaXhYqQ3V qdYAyg8M2A0/8Lkqx/ORhaS63QGU2UWlh1IAxXZ7Bz/Q5z8vDf2uvZ71SKHJsD9U6w6Viq+4 KdqUB/oiTkINzgl8GHMl8d8iLtXrA+9qxBjxoLZZpyeOvhjcaPHZd4VSmpPUMhSWSJcHI2zc 5ACAPAdMetCtYTxu0cCoBm4CAKxBO3v0DhIhnru0KMi0uQuDQbG3Ag6ENIPrX/aqc/1O70PU eCu0aLFyjPDb/JK1jf67IjHaBEhreuPXbJqa8XR1FIvGhjKjlWVs4PlPjeV2v4RvGic6uptT OSigHMopA9tuDag3NssipXXiYIPzFDJ7St0zYk6K9GmR0N2YdGpHIVSuiyeNYZ4TMcvTm91t Sok17AKp5G1cTUIxZg52xLSdeCKf5aI7B/hW+ucIDl1inJjdbmiiRiy9k2gxff9VsmyyFtKq C1FksXQtnwXzRPc9tKLSuZ+/kqnxD2B1BjT5/laLUwokafXMZ0sz74qmpYOsEnOHDX6lFj0g aOKcEgv5/Km5P79Yrr8o5+RL490hR/6MqQpgsG/BP43MgkKX2SC/uS81aDv8VT3QLlXjPA6j rPVsJ/dJcQcqa65BxFa3pw/5Ba4CjeqyNUYnX8ZI1JZYB+LkZTlNlXULP37DfqzmUmgnTZpy vzcI7HsAInBImDGkLj7fLZ970BcyBA0zdBa/59UDLABL+70Wk/1rtPYDwU1Mw+uw+n9FdV9z ZgTWW2KAqCDMaPStUWE6f4oI+mJfIMVvi3yJOA/5/HylX85hUMdfa6x0JcKcHy4BOhpI12FY XrwhdcMCXsFvg0nTODzlFKCVSNTaG2pUqIn5jA7DZqmAp3ZSoCshryBxia7EYdMamBIEFDfW UvvIoyLV/5EbCOJPoc1mzMIXJClSpQ9zleltAb+zrd9NazP93tc/ZnkzZ1+4/DZvRA07z19S cqHlymNRnp3k2cMbz8/x6NypUg7zU2MleBkkuRVDpla4fVOTwExOLbYzvdmEJbpVwvaOMqRR VCgBNiqHHV5btU0xMMJe1c1J8S6g1j/3yetGa5dw5yMAZso9brN42npKvp9xnHcxYEuiF4pR sZAL2q7nrU5/A/WUcqBj0SBir2ncaER2CPRvDOfzHKTp0xcVQN0XLntUncYaU/bos7++1vZC bSpDOJ0HBFGzJukK6BNbtToxXZcTer4cIDYYmm2n26xQxWSz66XRIXvcmQZmi7aDR5XwEgo4 X+aOF1mVW+aqGXEAWkrTAq3C6uN2ex3qXfgC1Qx0xnPdEp5kby85h8Sg/WYDfIVxLMN/ik7+ H1vBFjo+dXQBpKbohZ5Or1GaIY74VxA0WvY8Q9nN4G7B69nj18aNQ9wuhCmzA15X71JitNit 3Y21Ex3IKOc3klGcmae3Jv3PrTWbGro9Q20Q6HT01Dalt2R//RH8+w2/nPkugzhDU8+6zNn3 t1ShmOb/YnPBREOXIjZV0828119puifbHBiv8Xb0npjNaTyuTjHsz4wLM0izBvoP9JWMaffU RT3D9VfHM+2buojh1muaBsAeuFU7q89ec28JbOA3+awMeBskSjD7ywP6Z1h0k+K6yt3S/LZl 5cDzfaC2wKbVjD6xF6/u8HzkIpAaHkcBG26gSTjAYdQYOV1c+NpQS+oIsawwtx/wZ33UmND3 FGmDlICnsSufFvablDw2xFRyVVCuWauyk7ah3R/lzAkqLba3TSbmbyzMkpafDcVGy870g+/R Or8x8oXV0WpcQUzwR6s5EKhgrNeuLw6NG7LB0FBYynxKWhmFKq2rLuLJcBVu/ZK+W1aVvqxZ VeCR/vzuRwfhmnlHmBZwDk6MTKws4jitxN/gWOZan10qTCKHKM4jQea/9HaSfNLi3AARSJ/j TDWQFumNsSy1dqRnpbH9Ou5UijyM/8bOTmuxoSGuiyh4GRsChDqhPG/lOrsFg0i2DP63d1nP cnRhC71eZKjl6GzMOY8O1JtGEe58M1iXId3joo3gpgUn3kcnJScu3Qdwy//NtBS2KS2a3RoJ 3ZDxd/e5wzs2QtgNHuU3Kr2U3ycxo1qYNzybm4N2y075txHE+/OtO0CzXYz+wTn61uOObB0h VJ/gbM25WQfgv0VtQZl1SibDr0IXAFZMSHqixWU/oW7paRTanyodOvVtgI2ltSgAbee5wBED SyhK9FyQGkpsJo5aQ2UgxiRosn+ddLdbMwerEiRmhbE1K1OLY4p0+ENnWxhMH78unssz6g6i wZv1Ne0ptviSS0l8aSnDxpfLjCwadkU/2Sni6dVmcKf3sasBJx8AR0EWZLpSbSjFzdY5pGFf 06eVSYxrHuWA++VGw6U70NvrjTMCZm2LFmYIXAYyZNpQxzXdyk9yEgEGT49mJA+DAWjwsfsJ Vx46j4m7Vn9shJQy+hsOkq3QiLFqQyvcDtxVImHIU8c8FRZ/0mMe5/7jKo7D2RC85amtgDIN mGLe1ECEzQSQkLdT1H7Yuv1uJ+ZorDeXLbhaaOJO+nGqPQCBanUg8j0ic0/oW7KboLWbxwAR 7U6whYRAy4/QpyD3W1JE2tNz2rMd5LJ+kn6oHEm6JDntqysAlqn5JPTWeQId4wzvUnn2+Hbc LfA4UQxYTdAisFTmTmRkuVZhBhKzHgwPzi1TeZZ7X6LFf2P3P8RV1lBMmtyLJcatv1nmFAcZ YiDzIuyj+Ad7LZ9Ck8ZBwa5y4f5OIpTeTH7bBSeWw6KLOjUf2SVhZynJ/rtE/sIy7wF/xyo5 WTBShGlZG/S0WKzEUjoaLAp7mnTKhVavMvVng9FL2/lQZqmbxS6NIQyljgq2fgvgWuMM2cAM D96ekcLr7uK7CoejO8tU2pGpmFoK+WJgUP7p6HRN4oWvP13Ay91i/MS4XI0zKFQ5T1FQ/o9k TXbr9pnqVWr2ueVzT8vXB1LozdNzIWF2Ccqcb3e7YVFUG3Y8Qgl6GyRD1ENpoIgBISw4+Zfz d/AkK+1IzBHsprV8cYaG8nIOZeHPX4mYn+LUHbfCAoISyLuNHmK3RQM1qHPsCTL8d5j9cC// fhGAqVWX1E0CP4AX0FsHdhZZYxyQithirmDysgB+Xu5qhDVAsRcpJHOEPyIUpCNYH6Ui6dJY xwQzPb2N4MWY8f92kdlblB72ofQElfLdd9IqyxlKAQzpQ8elRo2Bn12wE/jZg63tTULEuWom xctlgZkSeEk9TOp5FZuY1ST+3N2n042ltHoxzuWdXSiScX4FZETAC3yuU8rN5r9SAsgdgy+k 3tvMzLcTq5Qhb9tHYiOoADZsJpLX/VbSP8cCPf/7f6SbvQsl19br3f+raemze7MCJ8nkwpzN JD18CoG1AVkY9o4Y6fXIfgRpmU=
- Ironport-sdr: pOD9vd86DlhIqLeQ5JP4RWLAbKBg/Lyqhu1QyPqkSFuFd+Ql3edUcCbe4/TPHINOcmuNkhhQzX 80lYU68MrCpHI7HkGiv10IkMy00k+zoQvQf6R4D4aqCzcolYT4AsKG+6pPEW+cCzfTlnGCVGuH 09k+JxYlC/dTEtVla9QOiO+gERgVgFJ0olNSwH9TFkmdwXPF7Bza63r6PIZFH3PrTQOwWn/4pr 2Vp1vRlPEga2tlMNRgeILfRNNyBZqUYyJXdEFD5Jy+VD8pQlt8dR2uAK23iBp1Dbl4wNmzfl+M JCmhDOOc1e5yq5QJqDQaj9y9
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.altenkirch AT nottingham.ac.uk
nicolai.kraus AT nottingham.ac.uk
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.altenkirch AT nottingham.ac.uk
nicolai.kraus AT nottingham.ac.uk
- [Coq-Club] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation, Nicolai Kraus, 02/21/2022
Archive powered by MHonArc 2.6.19+.