coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Daniel Gratzer <gratzer AT cs.au.dk>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Registration reminder for HoTT/UF 2025
- Date: Sun, 23 Mar 2025 17:19:35 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.au.dk; dmarc=pass action=none header.from=cs.au.dk; dkim=pass header.d=cs.au.dk; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=kTA+9tSwbNq3qN21/OvSH6N4fvdrLMX/eacYCUFDuV0=; b=Epe91DfRqyZlmfxojeEqpG0F0Q/DG6xIIWSG8Luz/ghCdmaIjDONHkYsM6GfcUD0XCDGdVbuxgW4Z2HwAJrQmqKoPjkEcaoEO6UoGEd3iRDljA/UV5GraecvUgmlvOVVAVVtEsPwNAU5Pv8WmhKWfdvQfsXu1VONtk/aocyigHcuzzeZ/dlY05f2PQl3stS2Yry6AzRZeqgaFfwW7yzKCRoz1NjNB3+DMdNBUsNKhAhoUuvDjLHFPVSq0QW98es05wvtzn6nBvWjyjzlyKCT28f6OKp2DTwTAs2+YhF81rZLljkSns0hWLI7JbTYvMYLuo8fM54N+Iyp/8e9CUObjw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=CaSK7z/cboZhhapr44Rb0B8IjaZb+O1IT83ixl+OgTILeHyEXJ1vl1/mpfQV5RY/3Rx23BFWEX0gG62WZXdzQUnFwVckQ9dbRJEugwg6cYl/LxEN+LLynl3bj+rvoW2zuJ4ybecM0qrIUxg6IAcQNfMVmPRcwQyNopvl5N/Aa6sD7g/DpyL4ql2QncG9BKRr+3ZEG7tQIW7zLsItDCH51J1l6GQBLc+H7Y42QjLv2T614RFh29ly4mqhhdP+/q8u70aXLb81KjV/FXJ1EGUTusFpRIcSlBo+zFu2NDjyinEBGtNsZxs6h6ljzfHI8hiMGIbhCQH/662vz5JOFIYdig==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gratzer AT cs.au.dk; spf=Pass smtp.mailfrom=gratzer AT cs.au.dk; spf=Pass smtp.helo=postmaster AT EUR05-AM6-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:7jWXHKASzIms7xVW/ynow5YqxClBgxIJ4kV8jS/XYbTApDN31TcPn GccDzjQPq7bZGvxL9snPIu38UtSupLQxtA2OVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuGZDdJ5xYuajhJs/nZ80s11BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc53b8I1np8tVKMF4nMqsB1cR+WU5j/ /NNfVjhbjjb7w636J+GcLExw+0GcozsNo5ZvWx8xzbEC/pgWYrEX6jB+d5f2nE3m9xKGvHdI cEebFKDbjycO1sWYghRUsh4xb/17pX8W2UwRFa9qrA+/3re1iR6y/7kLZzZebRmQO0MxxzD+ z2ZpT2R7hcyCYejmSK98FaQie7GtDHAc90XDYCbz6s/6LGU7jdIUkFJPbehmtGyjVf7UNZCI WQP6y82pO4z8laqR5/zRXWFTGWsuxcdX59ZFrM39RvVl63SuV/BWy4DUyJLb8EguIkuXzs22 1SVntTvQztyrLmSTnHb/bCRxd+vBcQLBVQ4NQ0BfCsh38byr6cqoTDGFvlOGqHg27UZBgrM6 zyNqSE/gZAagsgKy7i38Dj7b9SE9sehoukdtlW/Y4610j6VcrJJcKSOzTDmARtoKY+YShyIu SYJhtLGsecIV8jVyWqKXfkHG6yv67CdKjrAjFVzHp4nsTOw53qkeoMW6zZ7TKuIDirmUW+1C KMwkVoLjHO2AJdMRfItC25WI5l0pZUM7fy/CpjpgiNmO/CdjjOv8iB0flK31GvwikUqmqxXE c7ELZzyUyZBVPQ7nGveqwIhPVkDln9WKYT7FcGT8vhb+eTAPSb9pUotbAXRM7hlsv/sTPv9q YYEZ5DWo/mgbAEOSnKMq9JMRbz7BX06DorxsMtZaqaIJRB+cFzN+NeAqY7Nj7dNxvwP/s+Rp i/VchYBlDLX2yebQS3UMSsLQO20Av5CQYcTZ31E0aCAgCB7Od7HAWZ2X8dfQITLA8Q5k64sE qhdIp/ZahmNIxyekwkggVDGhNQKXHyWacimZUJJuRBmJ8Q+FT/asMTpZBXu/yQoBy+6/5l26 b652w+RBdJJSw1+BYyEILii3nGgj0g7wehSZkrvJsUMWUPO9IMxFTf9oMVqKO4xKDLC5ACg6 SCoPTkiq9LgnaoJ4fjSpKXdr46WA+p0RUVbOG/A7IeJDyrR/0v94Ix+btuKVGn5aU3S3qT7e 9RQ8uz2a8NfrVMb6oB5Kqtg7YAg6/TRpbN1yhpuHSjVY2SREbk6c2Oi2O9RvJZs3Z5cgxO9A WiUy+lZOJKIGcLrK0EQLwwbdda+1ekYtz3RzPYtKmD42XNT0J+Yd35NLj6grTd7LrBlFK8Em sAf4NU37S67gToUaue2tDherTmwHyZRQpcZuYE/K661rxgg1XVpQ4HWUw3y67GxM+R8CFEge GKotfCTloZn5xTwdlQoHiLwxstbv5MFvS5KwHIkJ1ikntnkhOc97CZO8AYYHxhk8RFa791dY mRbFVV5BaGrzQdagMJuW2ONGQYYIDa7/kf36UUClUyHbk2Oe1HOElYAOre2zBhEy15fQzlVx 6HH6WDHVT2xQtr98BFvUmFYqtvib+dLyCv8pO6dEf64QqYKOQjevvf2ZE4jiQfWPscqtUiW+ cho5LlRbIP4Bw4xooo6KYuRxOkQRCvZJ2VTYOpA+ZkRFjr2YwCC2jmpKmGwdPhSJvfMz1SKN sx2Ku9LVDW8zCyorDsLIYItephaxOUI4vgGcZPVfV82iaOV9GdVgciB5xrAi38OaPQwt8QEc 6f6VS+IS06Ujltqw179ltFOYDeEUINVdT/H/b6H9csSHMg+q8BqS0Y514W0s1izMAdK+xG1v hvJV5TJzt5NmJhdoI/xLpptXwmEC8v/dOCtwjCBt95jadDuM8CXkyg3rlLhHRpdPJpPetBRu ImOjuXK3xL+jO5ra1zappiPLLkWxMOQWOEMDNn7AkMHlgS/WejtwSA5xUaGFbJznuhw3PKXH zmDVJPodPo+ects+3lOWi0PTzcfE/vWa4njlwOcrtONKBoWwFHHIOj69nb4THp6cxUQMMbUE T7EuPeJ5/FZor9TBRQCOepUPp9gLHLnWookb9fXtzKIKkWJ23Ss4qDDkzgk4hH1Uki0Kt7wu 8/5d0KvZSaMt7Ht5/AHlY5L5zk8Lmt32Ms0dWIjo+9GsSiwVjM6HL5MIKc9K89mlwLp38vFf xDLVmwpDBv9URlicRnR5NfCXB+VNtcRO+XWdyAYwEeJVxiYXI+wIqNt1iNF0UdEfjHOyOKGK 9ZH3lbSOhO34I9iRMdNx/idrNpk+MjnxSMzyRigq/DxPhcQP+xbnjgpVg9ATjfOHMzxhV3Gb zp9D3xNREagD1X9C4B8cnpSAwsUpy7r0y5uVyqU3dLDoM+O+YWsEhEk1z3bidXvrfjmJYLig VvaelHVviW//yJWvqEk/dU0naVzFPSHWNCgK7PuThETmKf27Xk7O8QFnmwES8RKFMt3DQbGj jf1i5QhLB3tFayT8OT+JcY1F1ZZWWlKBiyPgA2XSfruj0ki19aAE/S15FuTFHwzwpQPe21TW 3EbcQCdoDV6cdciSSZW7pwmm7BMPS3d+bQonMzlolMeXypAkFNgKY0=
- Ironport-hdrordr: A9a23:eIOfDK19n8XywDwjDX1pzwqjBSxyeYIsimQD101hICG9Lfb0qy n+pp4mPEHP4wr5AEtQ/+xoS5PwOE80lKQFl7X5WI3PYOCIghrNEGgP1+rfKl7bamTDH4xmpM BdmsFFYbWeY2SS5vyKgzVQZuxQpeVvh5rY59s2oU0McShaL4VbqytpAAeSFUN7ACNcA4AiKZ aa7s1b4xK9ZHU+dK2AdzI4dtmGg+eOuIPtYBYACRJiwhKJlymU5LnzFAXd9gsCUglI3awp/Q H+4kbED+SYwryGIy3npiDuBqdt6ZXcIxx4dY2xY/0uW3nRY8CTFcRcsvO5zXMISaqUmS4XeZ H30mwd1oJImjvslyiO0GbQMwWM6kdV11byjVCfmnftusr/WXYzDNdAn5tQdl/D51Mnp8wU6t M/44u1jeslMfr7plWO2/HYExVx0kakq3srluAey3RZTIsFcbdU6YgS5llcHpsMFD/zrNlPKp gYMOjMoPJNNV+KZXHQuWdihNSqQ3QoBx+DBkwPoNac3TRalG1wi0EY2MsclHEd849Vcegx28 3UdqBz0L1eRM4faqxwQO8HXMusE2TIBQnBNWqDSG6XZJ3v+0i92qIfzI9Fmt1CIqZ4sKfasK 6xL29liQ==
- Ironport-phdr: A9a23:K7+U8xGv/SXK5wVD/IspLZ1Gf9dEhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21hmRBc6Ctq0Y0KL/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezf79+N gm6oRneusULgYZvKKk8xxXUqXZUZupawn9lKl2Ukxvg/Mm8+4Jt/TpNsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQTXHkYnRpOGAjF8Qr1XoztvSvgt+pywzeVMMvrRr0pQzui7 qNrSBj1iCcbMjMy7W/ahtBsgK9dvRmuoAFxw5PPYIGNKvVxYr/dc90dRWpERMlRVipBCZ64Y 4YAC+cNOOBVpJT/qVQTtxuzHQmiCv3yxD9UiHH43rE13Os6HA7cwAAsA8gDvGjIoNj1MqoZT OC7zLPPzTXGd/5Y1y3y6I7Jch8/pfGHQLN+cdDLxkkzFgLKkE+QopHiMjOazOQCqXSb7ut+W uK1kGMotxpxriK1yccxkIXGm4EVx0nC+C5kz4k7Oce2R1RnYd64DpRQrSeaOpN2T84tXmxlp Tg3x7kJtJOnYiQH1IoqygPCZ/GEfYaE/g7vWeWPLDpkmX9odrCyiguu/US8xePxVce53EhLo ydHlNTHq34D1xvW6sedS/t9+F+s2TmO1wDP6uFEPFs7mbDaK54m2rIwmZ0TsUPMHi/yhkr6l rOZdkIh+uWu9u/pYa3mq4eTOoNokA3yL7gil86lDegmLAQCRXWX9fi82bH740H0QalGg/Mzn 6XErJzVP8UWq6unDwNJyYku7heyAyuo0NkdmHQKLVRIcw+ZgojtJlHOO+z4Aumlg1qxkTdqx u7JM6X9DpjLM3PNiq3ufaxn5E5Z0Aczzc5Q55ZTCrwZL/z8VFP/uMDYAxMgLwG6xOfqBMx61 owFR22DGKiZML7OsVCT4eIvPu+Ma5IPtDblMfgl4OLugmElll8BfKmp2p0XZGq/HvR7P0WZZ X3sgtACEWsQogU+S+nqhEWDUT5VeXmyQ7ox6z4nBI68EIvPWoKgjKaf0CulBJFae3xKB1CUH XftbYqEWvMMaCyIIs9mlzwJTbehS5U72hGytQ711aBnI/HI9S0Dr57szsV16/fOmhEx7TB0C d+S3HmXT25ohmMIWyM23KdnrEBg0luDy7R3g+REFdxP4PNEShs1NZnFz+BjF9/yXh/BccySR Va9QtSmBCkxQcgrz98PZUZ9AdSigQrZ0yqkGb9G34CMUdY/9buZ1HzsLe58zWzH3e8vlRNuF sBILCitgrN13wnVHY/A1UuDwfWEb6MZiQLE8maOySKhpkhEQgNqGfHKR3kDdEbMhd/ioErfC bOtX+d0ejBdwNKPf/MZIubiik9LEauyUDy/S2e4mmPrQA2N2qvJd43yPWMUwCTaDkEA1QEV5 3ePcwYkVW+6u2yLKjtoGBr0Zl/0t/FkoSa0VEYo3QyQR0Z6kbOovBIW1rSHU/1G5rsfo286r ilsWlO03tbYEd2F8gV7dblObMkV60wB3H+fuw8udoe4IfVaj0UFOx9yo1uo1xhzDdBYltM2q Xox0AdoAY+l6gscMhq9g9X3MLCRLXTu9heybaKQwkvZzNud5qYI7rI/tknnuwaqUEEl9h2Ly vFz1H2RrtXPBQsWCtfqV1ovsgN9v/fcazU84IXd0TttN7O1u3nMwYBhAuxt0Rumc9pFVcHMX AbvD80XAdSvI+02ihCoaBwDJuVb6K8zOYuvafKH3KehOOsokiihiCxL54V000TE8CQZKKaA0 IwM3+OVxCOMTHH1kRGtsYG/mIxJYy0TAnvq0TLtV8ZaYqx/e5pOCH/7f5Xxn40hwcS3HScAq Q3GZRtOwsKidBuMYkao2ARR0R9Sunm7gW6jyCQylTg1r62Z1SiIwuL4dRNBNHQYIQsqxVrqP 4WwiMgXGUayaA183hS/7FroyrJzr785JnSVTUQCLE2UZylyF7C9sLaPeZsF54khrTdaSsy3e haTV/jxoFFJmzOmFGxYyjchcjissZishB12hlWWK3NrpWbYc8V9rfvGzOTVXuUZnj8PRS0jz CLSGkD5JN6xu9Odi5bEtOm6EWOnTJxaNyfxn8uMsy6y5GsiBhPa/bj7lcfuDRo3ywfwzJ9jS GPEr17wb5Lq2KKzLe98NhUwQgaktIwgQMcnytZ4jYpYwXUAg5SJ4XcL9AW7ec5W367zdjtFR DIGxcLU/Bmw3URiKnyTwIeqHn6Zw8Zne5y7ejZKgmRkt58MUv3SteQZzk4X6hKioAncYOZwh GIYwPoqszsBhv0R/REq1mObC6wTGk9ROWrtkQ6J5pawtvYyBi7nfL6u2U55hd3kAquFp1QWV 2zwZoUvBwd79YN2LRTA0zegj+OsMMmVdt8VuhCOxl3PleFJOp8rvvERwyN6f27+9y5t26swi hpg2ou/tY6MJjB2/a63NRVfMyX8e8IZ/jy+6MQW1tbTxY2kGY9tXykaRJa9B+z9Cyoc7L60f xbLCjA3rW2XXKbSDRPKolkztGrBSvXJfzmWPCVLkY0kFUPbfAoHx1lJFDQiwsxlTkbznJOnK AEhoWlPrl/g9kkRkKQxb0G5CiGH4171D1V8AJmHcEgLtEcbvx2TaYrGqbstVyBAos/89krUc jfdP0IQSjhWEk2cWwK6ZuXouYaGq67AQbPhSpmGKbSW974EXq/Rl8v2i9loo27UZJfIYikqD uVliBBKBSkrQp2AyTtTE3dFxWWRPqv57F+94nMl9MnnqaayAVu969fXUOkCaY03qULx3P7LN vbO1nxwcW8Kj8pVl3GUkONN1wZK03M8MGT0dNZI/S/VEvCKk/cOXUdCMnF9aJMTvaxkhlEfa 4mG0Juw37p8xJbZEn99XEf60oGsbM0OeCSmMU/fQV2MLPKALCHKxMf+ZeW9T6dRhaNarU/4t TGeGk7ldjON8luhHwioKv1JhTqHMQZ2lbyHKksoIE29CdXsZ1u8LcN9iiAwzfssnHTWOGUAM D96NURQsrmX6iAeifJ6fg4JpnZoNuiLnS+F4vKQds5Q6KM0RH4u0bsCvTwz0PNN4TtBReBpl SeatdNor1y806GOxjdhTBtSu2NLiYaM7iAAce3S8phNX2qB/QpYsT3WUkxV4YE/TIS35vM1q JCHjq/4JTZc/siB+MIdA5ORM8ebKD86NgKvHjfIDQwDRDrtNGfFhkUbnuvBkx/d5pU8tJXon 4IDD7FBU1lgXPwAA1h3EcYqK4wxVy5inb3R36tqrTKu6QLcQslXpMWNTvWJHfDmMyqUl5FpW iFQnPbRCNpWMYf2nUt/dlN9gYLGXVLKWsxAqTFgaQlyp1hR9H95TSs43EevOWbPqDcDUPWzm BAxkA53Z+8goSzt71kALV3PvCIskUM1lIatkXWLfTX2Nqv1QZBOBn++qR0qKp2iCVUQD0X6j Ql+OTzDXb4Uk7ZwaTUhllrHoZUWUf9EEf8YOFlBn7fPIa1viAkUqz37lxMfo7KdVt060lNtK MDJzToI2ho/PoNvY/WIfOwRiAAX3//Gvzf0hL1rhlZGfQBVtjvVIXBAuVRUZOR8YXPwpao0r 1TFwmQmGiBEVuJ28KsyqgVhZKLYiXqniuELK1jvZbaWd/rL4jGZx8DUGgtihARUxywntfB3y ZlxKUPMDhJ2leLDGUhRbpiQbl0EJ8tKqiqJdH7X47yUmMB7Y93mRLCwFbfc5uFJ2yfGVE4oB 9petM1ZR8v1iRiKI5u/d+wOkU11tlaseQzNDewXKkiCyG5V+pjmnpErhdIPKGlFWTcvdnjtr vPeogtg6BJmdNwtJH4HGIcHZCpesCySthNj5ykFJRzpl+UTxU6F8iP2oTnWAH/kdd1/afyIZ BRqTtar5TE49KvwglnSoMy2z47SPs8ks8KJ5eBI/v66
- Ironport-sdr: 67e042aa_7XLlvjXCgEd0PFpoddFc9K84dGGJM41r9Yb/j5v3IFRRhrB 9XkbRU1Zphkr3kFpQxochTrFJkHyDrLVCl0TVIQ==
- Msip_labels:
==========================================================
* Registration deadline: Friday 28 March
* Talk schedule online
Workshop on Homotopy Type Theory and Univalent Foundations
15–16 April 2025, Genoa, Italy
https://hott-uf.github.io/2025/
==========================================================
Homotopy Type Theory is a young area of logic, combining ideas from several established fields: the use of dependent type theory as a foundation for mathematics, inspired by ideas and tools from abstract homotopy theory. Univalent Foundations are foundations
of mathematics based on the homotopical interpretation of type theory.
The goal of this workshop is to bring together researchers interested in all aspects of Homotopy Type Theory/Univalent Foundations: from the study of syntax and semantics of type theory to practical formalization in proof assistants based on univalent type
theory.
The workshop will be held in person with support for remote participation. We encourage online participation for those who do not wish to or cannot travel.
================
# Registration
Please register by filling out this form:
https://docs.google.com/forms/d/1gdjtFWQwLNKtK1hRpLsmjKO_kTSg0-J9N2Ndfjmc-78/
Registration is mandatory (also if you're attending online only).
Registration deadline: 28 March 2025
- [Coq-Club] Registration reminder for HoTT/UF 2025, Daniel Gratzer, 03/23/2025
Archive powered by MHonArc 2.6.19+.