coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Andras Kovacs <andrask AT chalmers.se>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] TyDe 2025 - call for papers & extended abstracts
- Date: Fri, 11 Apr 2025 12:29:26 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=chalmers.se; dmarc=pass action=none header.from=chalmers.se; dkim=pass header.d=chalmers.se; 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=cBrKz0340ODQ8WMtmpWNiMVx30CnHziXWfhzQrHv4KU=; b=c6pIEhhfH1BvaKB4I+NiAEWr8lTLUbXOxY+Pir9s3YzoJciRwRURqDLk8+QJ3472WVOqhQV8FmvzSHo0+WlzaX8xCcSpzHKl8mcRfmf8pjnv99eiKhqBcjFewsraVWUn9Z9ni00gEd/DdjvckLch2YXl5ZFXrxwXYEaobRzgDwVuMQtWXKAeDU1fB1gMhDQ0FB9yGL4RtVgjCpwrR81mThXeWciOD7kf61c8PjJEHFclotFwxbqulYyCTtnWYR+pqqIV946/CgfAILRri2+IjxSO+IMPFswUmfm4QSzZUmAZfLaMsm2oaoEvFFX0Zp3jJebmf1TTUJy/zfRDzIv8pQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=yBPSl8W+0zCAyhEeA5JklWWFHXOUuZgaZk7SAbNhqRAWfJUkNi8DWFgEX4g7btFBzH33N4XdCvKxvf6R3bzFNpjosdnOthU/VKjT1GMODflfvb2p+3KT1qLWcUJtDbvffy/CB1b7w+LhyUWnkk2zceHXKc1f+ep+KvZAHh/29Hoyi6lDHtGGsHdjCTFGgQhZnWBZRgMXKvkUMU3Qqgex0aaYc5PHxh2AcWQnlAjENB0jPRN2rBXMh2rBTJ40yjPzMWtR7EAX6eLggVVFurfJhbkK5a62vYCV3gk4JCL8k6aCS/C32Qh36mEaBFAeFWTnTghHSWiVZNd/5ZTyB4weSA==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andrask AT chalmers.se; spf=Pass smtp.mailfrom=andrask AT chalmers.se; spf=Pass smtp.helo=postmaster AT GVYP280CU001.outbound.protection.outlook.com
- Ironport-data: A9a23:DK7qpq40tjFa5dbh3T5LwgxRtCDMchMFZxGqfqrLsTDasY5as4F+v mMdUW6Pa/3bNmbwL40jPNnjoUwC6MfXzYBjTwpprS09Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtbwr414rZ8Eky5Kir4WtD1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj69ZILm4tHpYiwMZuLGwTy vtDIz42bSnW0opawJrjIgVtrusdHfGxbNs0hyk4lHfeEOosRo3FT+PS/9hE0Twsh8dIW/HDe 84ebjkpZxPFC/FNEgpNTstmxaH43D+mKWwwRFG9/cLb50DaygBr2aPuGNHVc9iPSN9O2F2Vz o7D1z6gXU1FZIXPmFJp9FqWqd3GjCzCfrk1N6+U1L002FiQ6X4cXUh+uVyT+qLj1hHWt8hkA 0cT428lqbU43Fe6S8H0GRy+un+N+BAGM+e8CMU/4QCJj7HL7gqUAGMJSCJbYdgvpsgwHGVyj AXQxYKvAiFzurqIT37b7q2TsT65JSkSKykFeDMASgwGpdLkpenfky4jUP5ANoyalf7uIwvQ2 h2H8Rc53L4dts0ygvDTEU/8vxqgoZ3ATwgQ7wrRX3644g4RWGJDT93wgbQ8xaYRRLt1XmW8U G44d9+2181mMH1gvCmEQeFIB66k6/uDOzDanURmG5Az8DL0oib5J9kKsXd5OVtjNdsCdXnxe kjPtAhN5ZhVeny3catwZIH3AMMvpUQBKTgHfq6OBjatSsErHONiwM2ITRLIt4wKuBR2+ZzTw b/BLa6R4Y8yUMyLNgaeSeYHyqMMzSsj327VTp2T5034jebFPC/FGOdYagvmggUFAEWs8V29H zF3Z5ri9vmjeLCgPHO/HXM7cQ5VcCBnW8yeRzJ/LbTeeFQ4cI3eNxMh6eh6IdA690ikvuLJ9 Wu6QUhW1BL0gmffQThmmVgyAI4Dqa1X9CphVQR1ZA7A8yF6Me6Hsv1DH7NpJuNP3LI4kpZJo wwtJ5/o7gJnFm6fo2x1gFiUhNAKSSlHcirfbnP1PGNjIMMIqs6g0oaMQzYDPRImVkKf3fbSa ZX6vu8CacNbHV4wP9Wcc/+10VK6sF4Une84DQOCIcBedA+ouMJmIjD4xK1/acwdCwTx9h3D3 SavADAcubbspa0x+4L3nqyqldqiPNZ/OUt4JFPly4iKGxPUxUed5LNRcf2peGndXVzk+a/5a uRyyer9AcI9n11LktRdELpU8pwX9vzDjZNk8i17OU6WcVibMLJqeUeb7+ISqaZIl+drhi3uU 33e5/1faOyFF9P7GgQKOTt/P/ii1O4VqBbW//8aMEX33w4p3bulAGF5HQiAtzxZF5RxaLga+ OYGvNUHzTCwkT84G4+iogEI0nWTdFoSfr4CtJpHMLT0iwEu9E5OUabcBgDy/puLTddGaWsuH RO5m4vAgKZ61GPZUn9uC0XI4/VRta4OtD9O0lUGAVaDwfjBp/0v2Sxu4SYFdRtUwjpHwtBMF DBSbWMtHpq3/hBsmMRndEKvEVsYBBSmp2rA+2FQn2jdF0SVRmjBKVMmAtm0/Wcbznl9ewZK9 7TJ2UfnVjfXJPvK5BUQYnI8ifLfTo1WzDbgyeSHBMWOGqcobQX12pGOYXU6kDq5IMcTqnCem 8xU0rdeVanJOxQUgZUHMKiB9LFJSBm7NG1IGv5g26USHFDjQjK52BnQCkWXffJyN+D4wW2qL 8pIIuNOSBWM+yKcpR8LBaM3AuFVndx4wPEga7/UNWo9nL/HlQVQsbXU7TnYhkUnZ/5MgPQNA NrdWBzaG1PBmEYOvXHGqfd1H1aRYP4GVVXa5/+0+uBYLKAzmrhgXm9q24TlokjPFhVs+i+Vm wbxZ6X26ehG4qY0lqvOFpRzPSmFGenRZs+prj/q689vaOnRO/jgrwkW81nrHzpHNIsrBuhYq +6/j87V7mjk4pANTGHrq7uQHfJo5OKzftZtHODZEX14pRaGCejQu0Yt2mbgMpFYssJv1u/+T SuCVcaAX9o0WdBc+X5rVxZjAystU6TaU6Oxih6+/tKtCwcc2zPpNNmI12HkRkAFez4qO6/RM B7VufGv14pYrI5jXRsPAdR7CMVFIXvIe6gvR/vuvxa2U0iqhVKjvOP5tBwCsDvkNFiNIPzY0 7nkGCfsVU6XlvnT7dd7t4dSgEUmPExli7NtQnNHqs9EtT+qKUUnc8IfCMwiIbNJmHXQ0JrYW mn8XFE6A3+gYQUeIATO2/W9bAKxHedUB8zYIAYu9EaqayubIoOMLb9i1yV46UdNZTrR47C7G O4a50HPEEC98rNxScYXw86Ls+Nt6/fZ53APoGTWscj5BTQACrQril1lOidwVhL8LsKcr3WTe FAJRl1FTn/iGAS1WYxldmVOER4UgCL3wn96JW2TydLYoMOAwPcG1PT7PPrp36YeaNgRYoQDX m7zW3DH9lX+Nqb/Ykf1k4lBbW5I5fO38gySA5HSfVdCx4qNsjx+ecQfgSAIUccuvhZFFE/Qn SWt5H54A1mZLEdW2/udzgBhF1dZTCcXFz+Q5OLgjWaurPD754Gxl9uWIMbTIpH5r63upV4eW zp6gIO5vQiNrDW9zdVhnq1zm7FEaP390VHPUiksS57oiVG3RQex0VynP14Sj7pszZGP+mmYm Gt9HTnwFEJLkx5jBzzZoeo=
- Ironport-hdrordr: A9a23:8FVQYK32t7moLyGZJkv5xwqjBSxyeYIsimQD101hICG9Lfb0qy 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:vKvnoB/gYJxEZP9uWeK0ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Z gqHvb431QaZBc3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfQlEniaxba99I BmosAndq8objZd/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d9ir9QrhC8qBxl24PaYJ+bOudifq3Tft0VWWVOU91LWCBdHo+xd ZcDA/YcMetesoLzp0EOrRy7BQS0GO7vzCJHhmXs0q0hzu8vFAbG3BI6EN0Sq3TfsdL4O70UU e+o1qnH1y7Db/BN1Djh6IjHaBQhofSSUrJqasrd01IvGB3cg1iWtIfqMC+b2P4XvGiH8+pvS /ivi2g/pgxtrTaix8kih4nXi48Lyl3I6yp0zYYrKNO3VEN2YsKpHYVQuiybOYZ7Qd4uTn12t Cg6y7AKpJ22cSoXxJg62RPSbeGMfYaP4hLmTumRIDF4iWp+eLK+iBay6Uygxff6VsWu11ZKt CVFnsHWtn8TzBzc9NKISuFh8UehwzaDzQfT6vtLIU0yiKHVKIYhz6Ywm5YNq0jPAzP6lFjsg KKVaEko4PWk5/rjb7n+uJORNpN4hw/7P6gzhsCwG+U1Pw0TU2Wb5eix0bPu8EP8TbhPk/E6j 6/Uu43EKMQfu665GBNV3Zg56xiiDjen0coXkGEbIF9DZRmJlZLmO0vUL/D9Ffq/g0qjkDNsx /3eP7PuDZfCIGLdnLriYbpw9UBTxBYvwdxC/Z5UDawBIO7oVU/2qdzYCAI2Pxasw+b9D9V9y p0RVn6TAq+YN6PSt0WE5uUyI+mQYI8VvzH9K/s/6/Hyin85nEcRfaiv3ZQJdHC1BvRrL1uDb XbxntsNDH0GswkgQODwlVGOTzpea263X60m5zE7DIymDZ3ERoComLGOxiG7EYBMZm9cEVCME mzleJmEW/gWbCKSJ9FukiYfVbS7UI8uywmitAnhxLV/NOrb5jUYtY7/1Nhy/+DfiAk+9SZoA MSFz2GNU2Z0k3sUSD8xxaBzuFByylOe0adjmPFYDtxS5/ZRUgggL5Lczup6C8rzWg3bZNuJR kymEZ2aBmR7RdUohtQKfkxVGtO4jxmF0TDgS+sekKXOD5gp+Ird2WLwLoBz0SCV+rMmigwPR MdVPHbupalh/gPIT9rAlUmDnr2pXa8c1SrI+X2Yi3GD6hILGDVsWLnICChMLnDdqs70sxuqp 96GDL0mNlEE0sueMu5Qbdavi1xaRfDlMdCYYmSrmm72CwzbjqiUYt/MfGMQlD7YFFBCixoaq H+AORI3HSSJqGLXCDljD0mpeE6/ufJmpiaDR1QvhxqPc1Un0rO0/hAPgvnJQvUfxLsfuw8qq zxwGVunxJTNBonIvBJvKZ1Vesh1+1JbzSTZugh6a4SnNLxnj0UCfh5fkH3f708nUq59yZBz6 nQ30AB1NKSUlktbcC+V1ozxPbuRLXTu+BeoaOjd3VS2PM++3KAJ5bx4rlziuFvsDU8+6zB91 NIT1XKA55LMBQ5UUJTrU09x+QIo77fdKjIw4Y/ZzxgOeeG9ryPC1tQ1BeAk1gfoftFRN7mBH RPzFMtSDtanKegjkVykJhweO+Ua+KkxNsKgP/yIvczjdO9mkCivlmdv64B01keB7TE6UeOJl 5cJzveE3xeWAi/mhQTpucT2lIZYIDAKSzflj3G8XcgBPOsrJ9dYbAXma9e6zdh/mZP3DntR9 Vr5QkgDxNfsYx2ZKVr0wQxX000T532hgyqxiTJuwFRL5uKS2jLDx+P6eV8JIGlOESNri1v2K JO3p9saVUytYhIy0gCorxWfpeATtOFkIm/fTF0dNSHwI3trSaiYvbqLZ8tC8ohuqigdA6ysJ FudTLD6uR4T1SjuSnBfyD4MfDavopzlnhZ+hQpxNV5LpWHCMYF1zBbbvpnHQOJJmyABT29+g CXWAV61O5+o+8+VntHNqLL2W2WkX5xVOS7lqOHI/CK96XdjGh6XlPC6ntjqCxN8yiKz29RxV CrOpQrxecG2jeLjabshLhMuXQWto8NhUplziI4xmI0d1R14zt2O8HwLnH2yedRX1KTibWYcE DsCwtrb+g/giwVoKnOEwZ68V23In5EnPoHjJDNMnHtnvpMvau/c9rFPkCprr0DtqAvQZaI4h TIB0b4073VchegVuQ0rxyHbA7YIHEAeMza/8nbAp924sqhTY36iNLaq008r19mnAKuLuQJ0U 3bwfpIvBzQ29cg1YzeumDXjr5rpftXdd4dZvxuYiR7bjMBeKJs1k/cQnmx8NCiu2B9tg/5+h hto05aguYGBIGg456O1DClTMTjtbt8S8DXg3u5O29yb1Ie1EtB9Cy0GCdH2GOmwHmtY5pGFf 06eVScxoXCBFf/DEB+DvQ14+mnXHcnjNmnLdiVBi4Q4AkHbfAsG3UgVRGlowsZ/T1j1gpSnK AAguFVzrhb5skcel7gubkGnFD+Z/EDxN381UMTNcUAQt1kYoR+TaYvHsKpyB30Ko8fn9VTWb DTdP0MRUgRrEgSFHwyxZ+Hyo4WftbDeXq3ncLPPeevc8+UGDqXRnMv93Nc+p2TecZnfWxsqR /wjhBgZVCggSZ2AwmcBF3RMxXCKM5/TpQ/iqHd+9pntqa2yCgyzvdDdW+MKaYc9vE3v5MXLf ++I2nQjIG4BhMpVnC3GlOBEjlVK03k8JX7wSPwBrXCfFquIw/0OVkdJZX8rb5lGt/pkjFsKZ JSTz9rx0vQQYucdM15eThShn8ioYZZPOGShLBbdA03NMr2aJDrNysWxYKWmSLQWgv8G/xG3v D+aFQfkMFHh33HxUAuzNOhXkCyBFDNgibnnIk5GNDC7FZThdwGxN8JxgXsu27ooi3jWNGkad z9hb0dKqb7W5iRd55c3U2BM9XtqK+CYlj3RsrOec85P96sxRH0uxqpT+zwixqFQ7T1YSfA9g ybUotN04hmnnuSJ1jt7QU9OpzJM1+fp9Q1pPaTU8IUFWG6RoUhLtD3JTURQ4YI/W46K2egY0 NXEmaPtJS0X9tvV+ZFZHM3IMIedN3FnNxP1GTnSBQ9DTDixNGiZiVYO9ZPavnCTsJU+rYDh3 ZQUTboOHlUzGukTEUdNF9wLJJJ6RChiirPR36tqrTKu6QLcQslXpMWNTvWJHfDmMyqUl5FrW Sowm+OgBrlLbtS93FF+YF5nmoiMA1DXQd1GvixmaEkzvVlJ9399CGY03gi2D2HlqG9WHvmyk BksjwJ4aul47zbg7WA8IV/SrTcxmk08yp31xCqceznrIOKsTJlbXmDq4lMpPMqxEGMXJUWi2 FZpPzDeS/dNgqt8ICp13RTEt8IHGOYAH/EcJk5Kg6nRP7JxjBxdsnn1mRcBvLOaT8MkzExzL /vO5zpBw14xMYRzfPSIYvIPlh8J2+qPpnP6i7p3mVdEYR5LqCTLJmYJoBBaa+NgfnLzuLQqs UvbxF4hMCANT6Z4+6o2sB9ifbzGl2W5jPZCMh7jbeXHdvHA4jGSm5LQGgFikR9Y8isNtbluj 5V5ehLNBRl2lemfS0xSZ5iFdVAdbtIMpiLaJX/c6LyUk5wpZ97vRriwFb3c8/tN5yDsVAcxQ dZW55xYTMD1iRPWcZ+8frVdkU1/tkO2fR2EFKobIhvTyWVe+pjtwsMvhttTfmlFUzc6bH//o 7/TokVCaBurc+kHWi1KBqA5bipvHsqnhyReonJMSiGt1f4UwxSD6Dm6oTnMCD77bJxoY/LGP HuE7fm9+Tw79qWskhjM/8eGT4kVHd9is9vK5PkB4Y2KWao8cA==
- Ironport-sdr: 67f90b28_9+QOV7r2exWnf6i6G0gnvAvz7esjl3liu/txfZZjhvIPkw+ Mg1DJUFzH7xB1defyjvK/ecpAd+5/p6l/OSa8+w==
- Msip_labels:
=========================================================================
The Tenth International Workshop on
TYPE-DRIVEN DEVELOPMENT
Call for papers and extended abstracts
Singapore, 12 October 2025
https://icfp25.sigplan.org/home/tyde-2025
=========================================================================
The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP and SPLASH, this workshop brings together leading researchers and practitioners who
are using or exploring types as a means of program development.
We welcome all contributions, both theoretical and practical, on a range of topics including:
* dependently typed programming;
* generic programming;
* design and implementation of programming languages, exploiting types in novel ways;
* exploiting typed data, data dependent data, or type providers;
* static and dynamic analyses of typed programs;
* tools, IDEs, or testing tools exploiting type information;
* pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs.
### Important dates ###
* Mon 9 Jun 2025 (AoE): Submission deadline for papers and extended abstracts
* Wed 16 Jul 2025: Notification of acceptance
* Wed 30 Jul 2025: Submission of camera-ready papers to ACM
* Sun 12 Oct 2025: Workshop
For more information, please visit
https://conf.researchr.org/home/icfp-splash-2025/tyde-2025
- [Coq-Club] TyDe 2025 - call for papers & extended abstracts, Andras Kovacs, 04/11/2025
Archive powered by MHonArc 2.6.19+.