Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Final CfP for HoTT/UF 2025

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Final CfP for HoTT/UF 2025


Chronological Thread 
  • From: Daniel Gratzer <gratzer AT cs.au.dk>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] Final CfP for HoTT/UF 2025
  • Date: Wed, 15 Jan 2025 18:28:36 +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=zi4CKVilbu+4FX/zBPlUtAb51rB6lXr5X1FBrLrESU8=; b=s25IZmTc1PiFYp53yHLgYQTtHBpu2MtmgzzwCm3S1AOwsM6rE83Wz3kQBZOh6KAmDQo1efU7XikodriNDPy9ZCy5EGDQPSB1lzHt/fQU4cifvGElWQKtCVeZ+41eTXT/5E06knk16g/gFF6RZPWaMr6QabcWQQYV2tDNIEVHe2Z1Dua7p8ZiGbbVa+zkk6HzalMrmJqHguvUZrLAz/HfWFIXmu1x9lvY5+B2W6bYUVYAQ8Oz2SMfbOfTTNDT5zRaBC45iWZAdIJY7q5CX30mfklDXfAmw6AQ+B7HWrjMjwMW3UHLCj/ZY4lyaLKsTKfG16qwHt6tpqE8D1R3ezorLQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=p/tyVykS2MbuaWWV36vC9YXkWhX4dniyIXMDkBxQiw8zqq9YG/bPSubl4OOAJp5XBH/3IDPViNU/0E9+wwSxErcgL249WNVylaY0+BCAQbDOVBLWIYnnlWw12BREnBnpS2PaTr1DcEu6ao/Za00OHA/OF5UIqjkQlXqcQ+YxcPLYqSf0wcIN+k5Mpx+tzYhMgFPpGlsG8qJRa5G053p9YQBZxwLAKFgaJF6B1JC9aiO09EPZz+chajtgv711y3701RfaVfoH5Urmtu5PMdt4Pc9YwQAxGfycJmPEvgqR+kYmWfrRq5I08hC4iim43N1yZ1SzhoGFmZ2NcUVKVulRUw==
  • 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 DU2PR03CU002.outbound.protection.outlook.com
  • Ironport-data: A9a23:sRA62qizGP5BgOQNmT5g5DcdX161cRsKZh0ujC45NGQN5FlHY01je htvCzvSPPrYNDTwfowgaoW+oBtTv8fdn4diHQBs+XszECljpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtPg06/gEk35qmq4WpF5gBWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGC08sbKo4putMCnB8+ aERBDM9VU2EvrfjqF67YrEEasULAPSxBLlH4VpdlWmDS/E7XZrEXqPGo8dC2ys9jdxPGvCYY NcFbT1ob1LLZBgn1lU/Vch4xb/xwCehNWIGwL6WjfJfD2z7wxZ4zKrgKvLeYZqDWINZnS50o 0qfpzqlX0pCaIz3JTyt6mmv1ujT2jjACLkYTaye8KVbvVmK7zlGYPERfQDg+6Xm4qKkYPpUL FVR8S4zp4Ap5UmzR5/8WQe5qTiKpHYht8F4FuQ77ESLzbDI4wuEHG8cQzdTb9p/7ZdsH2R1i BmOgs/jAiFpvPuNU3WB+7yIrDS0fy8IMWsFYixCRgwAizX+nG0tphXBVIdEMPK4tdbkKz2ty hyJnBNjgIxG2KbnyJ6H1VzAhjutoL3AQQg0+hjbUwqZAuVRNN/Ni2uAuQiz0BpQELt1WGVtq 1AltqCjAA0mCJiMkGmLR/8RHLy0/fGdPTTOhlg2RsF7rWzypTikYJxa5yx4KAFxKMEYdDT1Y UjV/wRM+JtUO3jsZqhyC25QNyjI5faxfTgGfqmJBjarXnSXXFPZlM2JTRLNt10BaGB2zckC1 W6zKK5A90oyB6V91yaRTOwAy7ItzS1W7TqMHs6rn0v+ieHHPCX9pVI53L2mPrFRAESs8FW9z jqjH5XWlEU3vBDWPneIrNZPcwxiwYYTWcyp8p0MHgJ8HuaWMDp6UaOOqV/QU4lklL5SjeDG4 jm2XVVAoGcTdlWWQThmnktLMeu1Nb4m9SxTFXV1YT6AhSJ/Ca7xt/13X8VsItEaGBlLl68co w8tIJ3YWqwnp/Wu02h1UKQRW6Q4Lk7z2VvUbnr5CNX9FrY5LzH0FhbfVlOH3EEz4uCf6KPSe pX5jlmFE6kQDR9vFtjXY/+Jxla89ypV0uFrUkeCZpEZdEzw+cI4Y2b8n90mEfEqcB/j/zq90 xrJIBE6oeKWnZQ53uOUjo+5rqCoMdBEIGxkI0fh44yLaBbqpliY/dcYUcKjXyzsa2fvyaDzO cRX167dNdMErnZrsq19MbRg3P8+6+CypLZL7x9FGU/TZA+BEYJQIXih3OhOuJZSx7RfhxCEZ 0KX9vReOpSLIMnDElUBACYEN8Otjeo1nBvW5tQLeHTK3jd9pue7YB8DLiuyhzx4B5orFoEcm MMKmtMcsi67gToUaue2tDherTmwHyZRQpccl88oBaHwgVAW0XBEW5vXDxH27Lypa9lhNkoLI CeetJHdhoZzl1bzTH4uKUfjheZtp4wCmBRv/m8wI16kntnkhPhu+DZz9T8xbBpezzQZ8uZVF 1VoCXZIJvS1z281vPRAYmGiIBEeJRu7/keq9UAFuleERGaVV0vMDlYHB8CzwG4j/VlxRANrp IOj9D69UBLBXt3A4S8paEs0993hVYNQ8yPBquCGHuOEPZsxcGfljpTzZmMZigDGBPkpjxbtv tha/+dXaIz6OxUPoqY9NZKo6LQIRD2AJ01AWftH/qgZOU39IRacgSOvLWK1ceNzf836y1eyU ZFSF5geRiaA2zarhRFFI6w1eptfvuMjvfgGcZPVfV82iaOV9GdVgciB5xrFpTEZRvt1mpwAM aLXTTWJF1KQiVZym2PgqMplOHKyUeIbZT/TjfyEz+EUK60t6O1cU1k+8r+RjUWnNAFK+xG1v gSaQ4T0y+dk65pnnqqyM6FlKji3F+jOV7WzwFjui+hNUNLBCteRlgU3rlK8AR9aE4FMUPtKl JOMkuXN4mX7gJgMXVv0pby9BohSxMDrXONoIsP9d3Zbui2ZWf7T2RgI+kHmCJ9zrvZZzPKCa y2UVveZavsUBslR9EdUYXNgDiQ2Vrv8a/a4lxyb9/2zWwU51F2eIPy363WzdnxqLH4UGpzhC z3bv+SlycBYob9tWj4FJaBCKL1pLGDzXZAJc4XKigCZKW2zk3W+taDHhzN5zR3qVlyVD5zc8 7/eYxr1KSSJp6DDye9Gv7xIvhE4CGh3hc8ydBk//+Fapi+bDmkUC/Y0KrQDV49plxLt2KHCZ D3iaHUoDQP/V29mdTT++NHSYReNNNcRO9vWJi0bwG3MUn2YXLi/ObpG8jtsx1xUeTG5leGuF ow4y03KZxO0xslkePYX6vmFmtxY//L9xE8T2EXDgsf3Ugc/A7IL6SRbJzBzdxf7SuPDqEaaA lIOZzF0cBnuAwq5W8NtYGVcFxwlrSvihWdgJzuGxNHE/Z6X1qtcwfn4IPv+yaAHcN9MHrMVW HfrXCGY1gh6AJDIVXcB4LrFQJOYCM5n2uCWEfXbf1VJtJzosj5hON4ely0SSs1k4BRYD17Wi jir5T45GViBL0dSnraRzG3lPrpvB2kUAWihYBHX/Ff7fd4RlrA1uCRGCCrwMtf5tu7vvC20h R8MOV2JrQT+WCTM/FFDWzdymrBDKcoKU3DZFCwrJn83ftFAV0cFfI1cP4oGOx69PZGKKki4t Epc7jnlxL+aYw==
  • Ironport-hdrordr: A9a23:EPV0jaN4NUEGesBcT1/155DYdb4zR+YMi2TDiHoddfUFSKalfp 6V98jzjSWE7gr5K0tQ4OxoWZPwN080kKQY3WB/B8bHYOCLggqVxeJZnMLfKl/bakrDH4dmvM 8OHZSWY+eAbmSS+PyKhTVQZOxQouVvnprJuc7ui1NWCS16YaBp6Al0TiyBFFdteQVADZ0lUL KB+8tuvVObCD8qR/X+IkNAc/nIptXNmp6jSwUBHQQb5A6Hii7twKLmEiKfwgwVX1p0sP0fGC n+4kHED5eYwr6GIyznpiHuBlNt6ZrcI+54dYCxYw4uW3XRY0iTFcdcsva5zUgISamUmS0XeZ /30l8d1o1Img7slm3Zm2qW5yDwlDkp8HPs0lmenD/qptH4XiszD45biZteaQax0TtUgDhQ6t M544uijeskMTrQ2CDmo9TYXRBjkUS55XIkjO4IlnRaFY8TcqVYo4AT9F5cVM5oJlOM1Kk3VO 11SM3M7vdfdl2XK3jfo2l02dSpGnA+BA2PTEQOstGclzJWgHd6xU0Fw9F3pAZ1yLstD51fo+ jUOKVhk79DCscQcKJmHe8EBdC6D2TcKCi8QF564W6XZZ3vF0i91aIfuo9FmN1CUKZ4s6cPpA ==
  • Ironport-phdr: A9a23:y818lBDKzdWrtFlOGd38UyQUQ0sY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua40ygaUDM6LtrptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmTaxe65+I RWyoAnetcQbgZZpJ7osxBfOvnZHdONayH9yK16Ugxjy+Nq78oR58yRXtfIh9spAXrv/cq8lU 7FWDykoPn4s6sHzuhbNUQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi7 7tuRRT1hioLKyI1/WfKgcF2kalVog+upwZnzoDUfo+bKeZ+cK3ec9wGSmVMRdxeWzBdDo6mc 4cDE/cNMOBFpIf9vVsOqh6+CBGiCuz1zD9Ih2H53akn2OogCwHJxhAgHtMQv3TOsd74M6gSU fqvw6nUzDTMcelW1Czh54jTaBwuu+yMUahtfsrS0EQiER7OgVqMp4L/JTyVyvgNvHaB7+pmT e+ij3Aqpx91rzWs2MshhZTFi5wJxlza6Sl13Yk7K9O6RUJnYdCpEIVcuj2UOYdrQs4vQ29lt Do0xLEbpZO2fTQHxZI6zBDRbPyHdpKH4hPlVOuJPzh3nmllebKjiBay60egy/f8WtOz0FZQo SpIlMTHuHMV1xHL6sWLVOFx8lq91TqSzQze6+BJLVo2mKfaM5It3L89moYdvEnGAyP6hF/5g a6Te0k65uSn8OHqb7T6qp+SMoJ5jwDzP6IzkcGhBeQ4LxMOX3SF9uSmybPj/Ez4T6tSg/Eql KTSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkWk3cIIExfdhybk4TkNU/DL/7kAfujnVigijBrx +3aPrL6BZXNM37Dn6r7cbZl8U5czxYzws5D6JJIC7EBJ/TzVlX2tNzFEh85Nwu0w+HkCNlny oweXmePDreYMKPUr1CI+voiLumSaIMPpTrxN+Up6+TvgHI4g1MQf6ik0YMSaH+iH/RmJ0uZY WDrgtcECWoKsRA+Q/b2iFyDTzFTfW2/UL4n5j0hEo2mEJ3PSZ2ugLCZ2ie0BYVZZnpaBVCUD Xfoa4KEVu8RZC6KOM9ujiQEVaS9S48mzRyhqAj6y6N+IuXI/i0YqIns2cNu5+zTkBEy7SZ7A 96c02GLVWF0n3kHSyU43KBl8gRBzQLJ2q9hxvdcCNZ75vVTUw58O4SWh7hxDMm3UQbcdP+IT kynS5OoG2diYMg2xooiakB8FtHqoQrKwzinGfdBmKaCGI456IrXxD74OoBxyCCVh+Eak1A6T 54XZiWdjall+l2Lb2aou0CQlqLxML8ZwDaI72Cbi2yHoEBfVgd0F6TDR3EWIEXM/pzi/k2Xa bioBPw8NxdZj9aYI/5FcNT1n1hcbPz4ft3DJW6yyC+rHRjd/rqXd8LxfnkFmiDUCUwKiQcWq HmcPBQsCz2JqHmYBSEoGVG8K1j0/7xGoWigBlQx0xnMb0Bl0O+t/QUJgPWHV/4J9p454h8b8 25fIQ7lhZTRFsaKoBdncONEe9Qh7Vxb1GXf8QtgIpinKKMkjVkbG+hul2Xp0Rg/SoBJkMxx6 Wgv0BI3MqWAllVIazKf25n0fLzRMGj7uh61OebQ3RnF3dCa971qirxwokj/vAyvCksp8ml2m 9hT3XyG45zWDQ0UGZvvW0cz/hJ+qvnUeC44r4/T0HRtN+GzvFqgk5omHuI52Bu6V9xEdqqZU gPxUoUbC8WoNO02ig2xdBtXdOtW9aMyI4anb67bgujyZL8mwmzg0joUheI1mliB/Cd9VOPSi pMMwvXDmxCCSy+5l1C59Mb+hYFDYzgWWGu50yntQoBLNcgQNc4GD3mjJ8qvy5BwnZnoDjRX7 le/FV4c8MSyPxOPKVD+l141twxfsTm8lC20wiYh2T4zp7aN0TbmyP+kfQdBNm0BFyFyyFzrJ 4azldUTWkOlOhMomBWS7kH/36FHpa57IgE/WG9wdjPtZyFnW6q07f+ZZtJXrYgvqWNRWfi9Z laTTvj8pQEb2mXtBTkWyDc+fjCs8pL3+n4ywG2HJWphoWDxcto2zAqZ6N+USfNK3zUATTV1k nGKXB7lZ4Dvo4vSyMmLu/v2T2+7U5xPbSTnhZiNsie2/ywPY1X3nvy+nMHmDRlv1Cb609dwU iCb5B34Y4Tty+G7Kbc6JA8xXAa6tZQ8Rd8t9+l4zIsd0nUbmJiPqH8OkGOodM5exbq7d30VA zgC39/S5gHhnkxlNHOAgYzjBRD/ioNsYce3ZmQO12cz9cdPXe2b9rVYjyZvilGj6wvMJ/R+1 GR4q7Nm+DsBjucFtRB4hCqHC6wAEFNwNjeqngnO49P0/+1HIW2od7a3zk93m9usWaqDrg9rU 3H8Yp4+HCV045YaUhqEwDjp54rjYtWVccMLu0jejULbl+YMYsF5hr8QiCFgI264oXA117txk 0l1xZ/j2erPY2R1oPDlWlgJbHutIZtUo2yljL4CzJrOmdn3QdM5XG1MBcWgTOr0Qm9I862/b 0DWVmV78yr+e/KXHBfDuho86SuXSdbzcSnQfSdRzM0+FkTHYhUH20ZMGm19x8FxFxj2lpW5L AEluXZJoAa/80QpqKogNgGhAD3W/F76M25tGpbDdEIEvEYetw/UKZLMtOsrRnMBp8TzolDVc T7JIFgZaANBEk2cWQK5N+H3t4CZqrqWWrLlfauWOe3c+6sDDr+J3cz9iII+pmTVb5zdMCU6V K8wghIbDyI+Rp28+X1HSjRJxXjEN5fJ/U7lqCMr9pvt/qyzAFC9otbVQ/5bNdElk/yvqZ+KL PXYxCNwKDIDk4gJ2WeN078HmlgblyBpcTCpV7UGry/ECqzKyOdbCBsSaiU7M8Utjep0xg5WJ cvSkc/4zJZUs6QNMQ8efmG5wpvvYtEWKWagMl+BHFyMKLmNOTzMxYfwfL+4TrpTyu5TsnjS8 X6XHlTiMTKKizTyH031d7gU1WfFYloB5sm0aV51BHLmTc76ZxHzK9JxgTAsgPU1in7MKW8AI G18fkdK/djypWtThvRyHXAE72IwcLPCwn7AqbeGbMlI4p4JSmxumulX4Wo30e5Q5SBAH7lun TfK68Vpuxegm/WOzTxuVFxPrCxKjcSFpxYHW+2R+59eVHLD5B9I43+XDkFAqMFsFs/ioYhb0 Z7GieT/K30RlrCctdtZHMXSJM+dZTA5NgH1HTfPEAYfZRKWb1nl3xd2ranKrDuSs4QwrYXql NwWULhHWVcpF/QcTEN4ANgFJ5QxVTQh2+3+7oZA9T+1qx/fQ99ft5bMW6eJAPnhHz2eiKFNe xoCxb6rZZRWLIDw3FZuL0VrhImfUVSFRshD+2cyC2186FUI6nV1SXc/nl7oeh/4qmFGDua6x 1Y3klcsPbxrpW2quxFvYQOX7CoozBttwZO82W/XKHipa/7uOOMeQyvs6xpsaNWiG14zNUvq2 hU5fDbcG+AM1f05LTot0EmE/sIRUf9EEf8ZOllJnarRP7Nwlg0Dz0fvjU5fubmcUcckyFRsK dj06CsfkwN7MoxvLPSJdvMQlwpe2vrW7H3virBUokdWJl5TojmbIHda4RVRZLd6f3H6rKswu ESDg2URImFUDqhz+6s4+B9lYLbQl3q4gewEdxnUVaTXLrvH6TLJzZfaGwpphE1UzxIX9uAui ZVxNBfNH0E3kunLHkxQZ5ObcFNbM5IJpnaLJX7c46KQm9owNoG5XIgAqMeFr+AdnwSoH1Rxd 2ztxug8RKGWiBrzEJ+/dvgC1Akn4xntKBOdFvNVdRmXkTAB5cai0Jtw2oobLTYYUzwV2cqf7 a2RrxJsjPnRBb8L
  • Ironport-sdr: 6787fe56_G2U2DTz4gg62OcBj/FBYesj2TU3Bd1wEVH9GLBclixdgK3v tKtmWPKVcRmiwPCf4H63nvRREaOFkhVZ08T2FgA==
  • Msip_labels:

Apologies for any duplicated messages.

==========================================================
FINAL CALL FOR CONTRIBUTIONS AND PARTICIPATION
Workshop on Homotopy Type Theory and Univalent Foundations
(HoTT/UF 2025, co-located with WG6 meeting of the EuroProofNet COST action)
==========================================================

------------------------------------------------------------------------

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.

================
# Invited speakers

* Reid Barton (Carnegie Mellon University, USA)
* Bastiaan Cnossen (University of Regensburg, Germany)
* Ambrus Kaposi (Eötvös Loránd University, Hungary)

================
# Submissions

* Abstract submission deadline: 7 February 2025
* Author notification: 10 March 2025

Submissions should consist of a title and a 1-2 pages abstract, in pdf format, via https://easychair.org/conferences/?conf=hottuf2025.

Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work.



  • [Coq-Club] Final CfP for HoTT/UF 2025, Daniel Gratzer, 01/15/2025

Archive powered by MHonArc 2.6.19+.

Top of Page