Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct


Chronological Thread 
  • From: Nicolai Kraus <nicolai.kraus AT gmail.com>
  • To: agda list <agda AT lists.chalmers.se>, types-announce AT lists.seas.upenn.edu, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, coq-club AT inria.fr
  • Subject: [Coq-Club] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct
  • Date: Sun, 2 Oct 2022 12:11:14 +0100
  • 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-pj1-f49.google.com
  • Ironport-data: A9a23:i6Oyn6/4DawPzEDoNr7BDrUDQHqTJUtcMsCJ2f8bNWPcYEJGY0x3y 2pKDT2CaPaLazf1KIx3O4i2/E8FuMLWnNBrTApt+y9EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPykYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f4nW8vWo4ow/jb8kk25Kyo4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEFL0OevHJSxjSCc51PXYlez++5SNXg7LIIz08F9I2Vq+ fNNfVjhbjjb7w636LeyS+0pnsZ6ace3bcUQvXZvyTyfBvEjKXzBa/+StJkIgXFq354IQae2i 8kxMVKDaDzGYhZIPl4WTpEklfqzrnb6ejxc7lmSoMLb5kCJkVYqjOSxaLI5fPSTZ8lHnE/Fl 1vPwH/dHg46O+PHlmGspyfEaujnxHunAur+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx37E7yC9ehDlu3p3mLuhNaUN1VewEn1O2T4rTF8irGPnM4dwdMedMNneg8ZzgO2 lDcyrsFGgdTmLGSTHuc8JKdojWzJTUZIAc+WMMUcecWy4K8/9xr33ojWv4mQfHl1ISkcd3l6 2nS9HBWulkFsSIcO0yGEb3vhjutot3RTFdw6FmGGG2i6Qx9aciuYInABbnnARRofNnxorqp5 iBsdy2iAAYmU8jleMulHr5lIV1Rz6zZWAAweHY2d3Xbyxyj+mS4Yadb6yxkKUFiP64sIGG3P BGP6FsLu84PZBNGiJObharhVKzGKoCwRbzYugz8M7Kin7AqKVbepHw+DaJu9z+0zBFEfV4D1 WezKJ7wVx72+Ixoyz25Q+p17FPY7nFW+I8nfriil07P+ePGOha9EO5ZWHPTML1RxP7b+G39r YwDX+PUkE43eLOlMkHqHXs7dw9iwY4TXsCo9aS6t4erfmJbJY3WI6aOn+J9Idw0w/w9eyWh1 ijVZ3K0AWHX3RXvQThmoFg6AF82dcck9SAILmY3MEy22nMuR4+q4e1NP9E0ZLQrvqgrh/J9U /BPKY3KD+VtWwb33W0XTaD8i4h+KzWtpwaFZBS+bBYFIpVPeg3u+/3fRDXJyhUgNCSNiJYBk +WS7T+DGZsnbCZ+PfnSc8Oqng+Qv2BCuedcXHnoA9h0eWfq+rdEMyba0/09eZkNDT7hxTKq8 RmcLjlFhOvKoq4zqMLog4LdpaiXMuJOJGhoNEiF0qSXbA7x4XiG7bJbdtqxbRTxdT/R6bqzQ +d41NT+O6A3p0lLuI9CDLpb96IyyN/xrbt8zA4/PnH0Q3m0K7FnMF+U9NJus/BT+7pnpgeGY EKD1d1EM7GvOsm+MlowJhIgX9uTx8MvhTjewvQkEnrUvBYt0uK8bnxTGB2QhAh2Drh/atoly Nh8nv8m0VW0jx5yP+uWiixRyX+3EUUBdKcZ57U6G47gjzQ5xm5SOaL8DjDE27DRStFuHHRzH BqqqvvjvYlM/mvDbHs5KlbV18V/m5klmU5H3X0CFXuzi/vHgf494zNJ+x9uUQ1X4wl10dsuH m1nKUcvKb68xGpqjpIbXkSHOQJINDuG8GPflnoLk2z4SRGzd2rvdWcSB8eEzHo7wUl9IAdJ2 a6+yXn0dwrqcOXa/DoAaWQ8p9PNFdVOpxD/wua5FMG7LrwGSDvCgJ72Q1EXqhHiUPgDtGeeq cZEpO9POLDGbwgOqKgGCq6f57QaaDaAAEdgGfhB3qc4LVvwSQGI+wqlCh6OI5tWBvnw70WHJ dRkJZtPWzSAxS++lG0nKpBWEYBkvswCxYQkSuvwKH8koomviGNjkKjt+xjUgE4pRNRTkvgBF L7BSgLaEkGtgSp7pmyciuhFJWuyXvccbiLewu2e0bsEBrADgs5WYGAw1bqG5SyVOTR44iPO7 R/iZrDX/cNm249Dj4vhKYQdJgSWePfYdvWEzxC3iPtKNejwCMbpsxgEjGXoJCFEFOI1d+kvs I+Sofnb+Vjgvocmd0z4wL6/T7Jo4+e2V8ppavPHFmFQx3a+aZW98ik99HCdAr0XtcFW+e2MZ RayMem0fv4rA+Zt/mVfMXViIkxMGpbMT/nSoA2mpK6xETkb6wvMKe2n+VLPbW12ciwpOYX0O jTrusSBt8xpk4BROCAqX/1WIYd0AFvGa5sUc9fcsTq5DG7xjG3b6/Gm3VAl5CrQA3aJLNfi7 NiXDlLifRC1o+fTwMsfr4V2uQYNAW1ghfUrOHgQ4MNylyvwGVtuwT7x6nnaIso8fu3OOJDEi PXlaWIjDWDlX20Bf0mtptvkWQibC6oFPdKRyvnFOa+LQ3/eOW9CKOIJGuRcD7NedT7qzeXhI tYbkpE1Fgbk2YlnHI7/+dTi6dqKBZrmKrYg9kX0ksi0CBEbaVnPOLqNAyIVPRH6/wrxeIkn6 IT7qa2ogK12dKIpLftdRg==
  • Ironport-hdrordr: A9a23:7SikRaDKb67rr5rlHem755DYdb4zR+YMi2TDtnoQdfU7SKalfq yV8cjztiWUtN9yYh4dcLm7UcHqfZq2z/BICPwqTNKftX7dyQ+Vxe9ZgbcKuweQeREWodQttp tdTw==
  • Ironport-phdr: A9a23:TATyzhTSHTYWCwg9utlj+vBsS9psorCWAWYlg6HPa5pwe6iut67vI FbYra00ygOTBsOAtq0P0LSempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQtFiCCzbL5yL hi6ogvcu8gLioZ+N6g9zQfErGFVcOpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q 6BWAzQgKGA1+dbktQLfQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8 qxmUwHjhjsZODEl8WHXks1wg7xdoBK9vBx03orYbJiIOPZiYq/ReNUXSm1cUMZMTCxBGp2zY JcTD+QPOuZYqpPyp1oIrRCjAQWhC+fixjpOi3Tr36M1zv4hHBnJ0wIgEdwAs2naosvpO6oJS ++50LPFwC/fY/9K2zrw7pXDfBA7ofGLWLJ9adLfyUgzGAPCilWfs43lNC6Q2OQXqWeb8vFgX v+ohm4hqgF+vj+vxsM2hYnInI4VyUrE+j9kwIYuPtC4R0t7bsSlEJtUrS2VK4x2QsY7Tmxup S01xaEIt4ShcygW1JQo2QTfa/qffoSW/x/uVfqcLDV7iX55Zr6ygxa//Vaux+D8VcS4zlRHo ypBn9XRtX0D2Bje5taIR/Z9+kqsxDmC2xzQ5+xaL045k7fQJZAmwr41jJUTsELDEzfwmEXxk K+Wal8o9fK05Oj9f7XmpYeQN4BzigH5PaQuntKwDf4kPQgJWmiW//m32r77/UDhXrlGkvk7n rPavZ3aP8gXuLO1Dg5P3oss7xuyCSqt3s4CknkdNl1FfQqKj4j3NFHKJ/D1FfK/jE6tkDdv3 vzGJr/hDojUInjNn7rseaxx60FbyAo0wtBf44xbBqsdL/L0X0/9rN3YDhknPAyo2+vrFslx2 4cEVW+MAqKVKr3evUKJ6+41LOSBYJcZuDPnJPgk4/7ug2U5mVgYfaSx25sXaWy3HvNiI0qDY HrgmNQBEX0QsQojV+znk1KCUTtJaHazW6Iw/C00CIWjDYvbQICim6SO3D2nEZ1OemBGFleMH G/1e4mcQfcDdDqSItN9kjwDTbWuV4gh1Qi3uADmz7pnM/Hb9zYDtZPj0dh1//fcmQsz9TxyF cSd0nuCQ3t6nmMSFHcK2/V2rkB0glOCyrQw1/VXGdV74/JSThx8Pp7Vy+l3Ecu0QQ+XOp+VW U6rWZCvBzc2U9Q6zvcKYl1hAJO5gxnYmTeyDrkT0bGHGdh80qXZ2GT2P9c192fe2eEdj1QhW NoHYW2hg6lj8BDCG5/RnlmZmqGwZIwT2ynC8GqM122TpFoeWwl1B+GNVncGI0DSsN7R50XYT rboB650HBFGzJukK6BNbtToxXZcTer4cIDYYmm2n26xQxWSz66XRIXvcmQZmi7aDR5XwEgo4 X+aOF1mVW+aqGXEAWkrSAuHiyLE9OB/rCj+VUoo10SRaFUn0bOp+xkTjPjaSvUJ37tCtj1y4 y5sEgOb2NTbQ8GFuxInZL9VNNU861BD3GOftBZ0I4eIIKVrh1pYeANy7Av1zxsiMoxbioAxq W8yig97KKaWylREIjWZ1pf0M7yRKXP74QuHZKvf21WY29GTqe8U8PptjVLlsUmyE1Y6tXVq1 94Ay3yH+pDDFxYfS7r0W0czsgB4/vTUPnh76ITT2nlhd6Kzt1cuwvoPA+0oglaldtZba+afE RPqVtYdH46oIfArnF6galQFOvpT/eg6JZHucfzOw6OtMOt6+VDuxW1a/IBw1F6N/CtgW6bJ2 ZgC2fSRwgqAUX/1kl6gtsn9nY0MaysVGyKzzi3tBYgZYaMXH85DD2alJMm+x5N9nZfwQFZX8 VeiAxUN38roMRueYlrh3BFBgFwNqC/C+2PwxDh1njc166uHiXaWkqKyKVxdYzANGDgx6DWka ZK5hN0bQkWyOg0glR/+oF3/27Aev6NnaW/aXUZPeSHyaWBkSKq58LSYMKstoNsltztaVOOkb BWUULn49lEc0ijkG2JfgjMhfiyxkpr8lh1+zmmaKTwgyRiRMdE13hrZ6NHGELRX3zEBQCB5z zrND0WnF9as9NSQ0ZzEt6rtMgDpHo0Wei7tw4SasSK97mA/Ghyzkce4ndj/GBQ72yv2vzVzf R3Btw20Iozi1qDhdPliYlEtH1jkrcxzBoB5lII0wpAWw3kTwJuPrzILlmL6MNMT3qybDjJFQ z8AxNrc4U7mwkR+NVqGwov4UjOWxc4pa9ShY2wQ0z4w9IgQUPbSvOECx3Ir5Abp5QvKKeBwh DIc1ecj5Bt4y6kStQwhwz/cSrEeEE9EPDD9whGB7tSwtqJSNy6kdbm90lY7nMj0VunT5FEBH iygJNF+THwVjI03Kl/H3Xzt55uxfdDRaYlWrRiIi1LbiPATLpstl/0MjC4hOGTnvHRjxfRo6 H4mlZy8ooWDLH1guayjBRsNfDv0bMQX8zCrjrxXg92+0IWmH5EnETIOFsiNL7rgAHcJuPLrO hzbWjs9oXCfELuZHhWW9VxOoHfGEpTtPHaSbip8r50qVFyWI0pRhxoRVTMxk8siFwyk88fmd V9w+jEb4lOr4gsJ0O9jMAPzF3vOvAr9IClhU4CRdVAFi2MKr1eQK8GV6fh/Wj1V7oH05hLYM XSVPkxJFT1bARHCXgG7eOPyup+YtLLETuumc6mQPfPU8rcYDqnQg8roi9oDnX7EN93TbCc8S aRjgAwbGyg+QZyRmi1TGXJJ0XiRPojL/FHkvXcv5sGnrKa0AkS2uc3WWuEUaZI2q3XUye+CL 7LC23o/cGwFkMtKnTiRlvAexAJA0nk+MWDyTvJQ83aKFvuYm7cLXUdEMGUqZZcOt+RkmVATX KyTwtLtiuwi1q9zWwoDDAax3JnuPJNCInnhZgmeWgDWZPLfdGeNm4auMOu9UeEC1rwK8Ufr6 HDASQm7eW3S8luhHwamNeUG5M2CFDpZvoz1MhNkCGy4CcnjdgX+K9hvyzs/3bwzgHrOc28aK zl1NU1X/PWW6mtDj/NzFnYkjDItJPSYmyuf8+jTK4oH+fptDCNukutG4XM8g7JL5SBATfZxl WPctNlr612hl+COzHJgXn8s4n5Tg5mXuEx5JajD3pxJWHKB5BBUqGvMWlIFoNxqDtCpsKdVi 5DOmK/1NDZe4ofU8M8bVK22YIqMNHssNwasGSaBVlNUC272czuG2QoBwaL3lDXdtJUxp5nyl YBbT7ZaUAdwDfYGEgF+G8REJp5rXzQimLrdjcgS5HP4ogOCIacS9p3BSP+WBu3ibTiDirwRL R0JyrT8JIVVNZfyxldKZVxznYCMEE3VF4MowGUpfkovrUNB/WIrBHU0wF7gYxix7WU7EPe1m lsuiFI7b7h8sjjr5FgzKxzBoy56wyxT0Z31xDuWdjD2NqK5W4pbXjH1u0YGOZT+Ww9pbAe2k CSM2x/LQrtQi/1rcmU50Wc0XLNAHPddSetPZxpCnZl/ht0t2FVY7z2lnApJubqDBpxlmw8nN 5WrqiAYsz8=
  • Ironport-sdr: 633971e0_GsfwgjUiO7V08IhzdkcOVBAA9LVfsuUlquYytA53n3DNBvp XA1mJSojo+HHcjQjPDbk92m01HgZQsDCzP2BLqQ==

Dear all,

on Wednesday, 12 October 2022, we will hold a workshop in honour of Thorsten Altenkirch's 60th birthday:

http://www.cs.nott.ac.uk/~psznk/events/thorsten60/

If you would like to participate (online or in person), please fill out the Google form at

https://docs.google.com/forms/d/e/1FAIpQLSf99-Tw-FnWWTRwaR22Qn63nMurg6oUAKH8nk9ahx2y6N_KXw/viewform?usp=sf_link

Zoom details for online participants will be sent out closer to the event.

Best wishes,
Nicolai Kraus, Conor McBride, Tarmo Uustalu





Archive powered by MHonArc 2.6.19+.

Top of Page