coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: ICFP Publicity <icfp.publicity AT googlemail.com>
- To: undisclosed-recipients:;
- Subject: [Coq-Club] ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16
- Date: Fri, 10 Jan 2025 10:42:54 -0500
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=icfp.publicity AT googlemail.com; spf=Pass smtp.mailfrom=icfp.publicity AT googlemail.com; spf=None smtp.helo=postmaster AT mail-io1-f53.google.com
- Ironport-data: A9a23:Qe2T1qmnM8r8g5U7nxD601Ho5gzBLURdPkR7XQ2eYbSJt1+Wr1Gzt xIWXj+DPKmCNGX9e41xOd7j/EgBsZGEyN8xSlM9pSg2FVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazh8B56r8ks14ayr4WtA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1VAlgRMIE/otp8EFgex dAbEQoJSA2c0rfeLLKTEoGAh+wmJcjveYIY4zRukGqfAvEhTpTOBa7N4Le03h9q3pEITauYP pRHL2c0BPjDS0Un1lM/CZkwhKGwm3P7cjZZtEO9qq0w7GzeyQVw1P7mN9+9ltmiH50Pwx3C+ jKal4j/KhwWDNOk0zWeznaXgeDPwB6rAcFJE7Lto5aGh3XImzVLV0xIPbehmtGyjVf7UNZCI WQP6y82pO4z8laqR5/zRXWFTGWsuxcdX59RFLR/5lzWjKXT5AmdCy4PSTsphMEaWNEefjIz8 VKFuIvVDi1W4I25Skun8pGJsmbnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obl3rUZ/hmgk 1i3QDgCulkFsSIcO0yGEb3vhjutot3ISVdw6FiMGG2i6Qx9aciuYInABbnnARRofd/xorqp5 Sdsdy2iAAYmUM7leMulHbtlIV1Rz6zZWAAweHY2d3Xbyxyj+mS4Yadb6yxkKUFiP64sIGCyP hOP5l4NuMQDYRNGiJObharhW6zGKoCwRbzYugz8NIImjmVZLVDXrH8xPxb4M57FzBB2yvFmU XtkTSpcJS1HUPw4nWTeqxY13rgsySQzjWLVTtaT8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm /4BbZfi40sECoXWPHKImbP/2HhQfBDX87it85QPLoZu42NORAkcNhMm6ep5JNQ1xPsMzrugE 7PUchYw9WcTTEbvcW2iAk2Popu1NXqmhStjYXJ+DkXiwHU5f4ek4YEWcpZ9L/Ft9/VuwbQwB 7MJctmJSKYHADnW2SUvXb+kpqxbdTOvmV2vOQiha2MBZJJOfVHC1eLlWQrNzxMwKBSLm/Ewm JCe8z/KYIEiQl1iBfnGafj0wFKWu2Mcqd1IXEDJA4dyfRzs+bd1NyXO3u8THPBVDASewDHAh gCcLioFlLOcv64079j7qqSWpKi5E+ZFPxR7HkuKyZ2UJCXl7m6Y7osYa9mxfBfZT3HR1JS5Q +de39XQEaQgsg5RkoxeF71L8/oP1+H3reUH8jU+TWT5UVu7L5hBfF+E5JBrnY9QzOZ7vQCWZ Bq+yuNCM+/UBPK/QU8jHyt7XOGtzvpOpyLz684yK0DE5CNa2rqLfEFRHhuUghxmM7pHH9I58 NglpfIpxVSzujgyPvaCqxJkxWCGA3gDcqcg77UxIovgjCg1wVBjP73YLALL46+0VtYdCXlyf weoh5fDiY9MmWvEUX44TkbW0cRn2J8hhRFtzX05HWqvpObrvPEN4UBuwWwFdTgNlhRj+MBvC 1dvLHxwdPmv/S83pc1tXFKMOgBmBT+f8BagzVEmqnHocE2zcmnrMmcGGP2s+XoB+Dl2ZQlr/ 7C/yUfkXw31fcr34DAAZE59p9HnTv1z7gfnmv37O+i4R7wBfivCroq1Q2gDuz/LIJkUv1LWg /tu8MJbS7zJBQRJr4IVU4ClhKktEjaaL2l8cNRd1aIuH0SHXRqt2DKLenuDSukUK9PkqUaHW tFTfORRXBGD1QGLnDARJYgIB5RWxPcJxt4zSonHFF48kYm0j2RW6crL1y3EmmUUbc1kkp89J qPvZjuyKDGsqkUOqVDdjvtvGzSeWsYFVj3ezeru0eQuFrA/is9OX3w28IOJuySyDFM60TOS5 BjOdo3H/dxEkI5MpbbhIo9HJgezKO7wati2zRCOg4xOQO7LYOjztFIzi1j4Pg5pE6MbdPZpm J+s7tPm/kP3k4wncmLemqvbRrd7v9W2VtV5KsjccXtQx3ODfOTO4BIz3X+yBrIUsdFa5+ihH xCZbunpf/Eret5t/l9nQAkALAQ8UoPccf7GiQ6mivaDGDwx4FfiF8y2033EdkRZfXI4AIL/A QrKpPqe3NBUg4BSDhsiBfs9IZtHDHL8eKkhZfvjnCK5CzS2v1a8pbfSrxosxjXVAH2iEsyhw 5bkRAD7RSuiqpPz09BVnIxjjCI5VE8nr7ELQXsc3NpqhxSRLm0Md70dOKpbLKBkqHX50ZWga QzdaGcnNz7GYg1FVhfB+/XmYBaUA70fG9X+JwFxxXiuVQWNONqiDodipwBa2FUnSgu7mavjY Zsb92brNxe8/oBxSKxBrraniONg3bXBymhO5Un5lNfoDg0DBakRkkZsBxdJSTeNBvSleJ8n/ oTpbTssrICHpU/N/QJIfndUHFQYu2qqwWhzKyiIx9nbtsOQy+goJDgT/Q3s+uVrUSjIDOdmq bDLq6+l7GeR1XgevKIov5Qihqoc5TejAJ2hNKG6LeENt/jY14nkVv/uWQIAS8Yt/ANaGlLZ0 DKr5hDSwahDxF95gNWr9OnCx369vr/gwd0EYM4TaAIqSSAE8uU=
- Ironport-hdrordr: A9a23:Kt1LmKMwHDgmiMBcTgCjsMiBIKoaSvp033AB3UoZc20vTiX4rb HXoB1/73XJYVkqKRQdcLy7Scu9qBDnhP1ICOsqTNCftWDd0QPCEGgI1/qF/9SPIVyGysdtkY hnaLZ3E9D9ABxXiszg8BCkH9tI+rW62ZHtq+Ob4HtkUB1wZ7sI1XYcNi+rVmNzACdJbKBWKH Ne3KV6TvibFEj/ov7bOpDNZYj+m+E=
- Ironport-phdr: A9a23:RBATrxboREUSZgG2dXE7Gwv/LTEb2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1waPBNmLoK0Uw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSgbb9oM Rm7ogbcusYUjIZhN6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7gKRGrh2/ohx/wojUb5uPNPFjeq/Qc88WSXZEUstXSidPAJ6zb 5EXAuUOPehWoYrzqUYSohajHgSjHv/jxyVSi3PqwaE30eIsGhzG0gw6GNIOtWzZotbrOakSS +6+0bPGzSjYYPNS2Dfy9InIcgwhoPqRWr9wcNbeyUc3Fw/fllWQtJfqPzeU1usRsmib8+phW Pmgi24grAFxrTyvydkpiobTh4IVzkrI+jl+wIYwPNC1TlNwbtG4HpVKrS6aK5d2Td04Q2Fuo Cs3y7IItJqmcSUXx5kr2hrSZfyDfoaH4hzuW+ScLSl7iX9keLyxiBa//EigxOD/Wce5zllHo CpEn9TPqHwA1hze586aQfVz+Ueh3CyA1wHV6uxcIUA0krbbJII7wr4ojJYcrUPDHirulEXsk qCWbVsr9fKy6+v7YrXmvIWQN4huigHxNKklh8+xAfwgPwQQQ2SW/f6w2b7j8EHjXblHj/w7n rPZvZ3UI8kQu7C0AwtI0oY49xawES2m3skZnXgGMl1IYA6Lgo70MF/UOv/4F+2wg1G0nTdr2 f/GOrrhD43ILnfZkbfhea9x609byAYu1Nxf6ZJZB78bLPL8XU/xs9PYDhsnPACu3+nnD9B92 psfWWKJHKCZLLvfvUGU6u8rOeWBZ48YtCzgJ/Uk5vPil380lFEFcamsx5QXaXS4Hvp8I0WeZ HrhmtYBHnsEvgomVuDqkECCXiVXZ3azQ6085y07CYK9AIfMQYCth7OB3COlEZ1TfG9GC1SMH W30eIWDXvcAcCSSLdR5nTweSbehU5Mh1Q2ptALi1rZrNvDU9TEAtZL/yNh14PXemg019TxtF siSz2WNT3xvkW4TXD833KV/oVRnxVuZ0Kh4heZYFd1J6P9TXAc6L82U8+svFtb+WxnKetCSR VrjWNitACkwQ9Qt2I1dMGhnHND3rzvt52KSHrURlreKGI18pqPX0WC3P9t3z3fN1bUwp1YhR cRLOGivh6o5/A/WUd2a236FnrqnIP1PlBXG832OmDHW5CmwMSZ1WKTBBzUEY1fO6M7+7QXER qOvDrIuNk1Az9SDI+1EcI6hlk1IEdHkPtmWeGetgyGoHx/dx7iCdMzyZm8Z3S7cFFksnAcU8 nKLMAE/AmGqpGeNRCd2GwfXalj3ufJ7tGv9S0Y1yw+QaEg01rG74lgNmPaYSvgSwqMstyAmp DF5GV+825TdDN/T7xF5cvB6ZtUwqExCyXqftwF5Ocm4KLt+g1cFbwltl0bn1hEyC4IZ1MZ39 zUlyw19La/e21REH9+B9bb3PLCfamz7/RT1LrXTxkmbytGdvKEG9PU/rVzn+gCvDEsrtXt9g ZFT1DOH65PGARB3M9q5W1sr9xV8u7DRYzUsr4LS23p2NKCoszjEk9s3Deohwxykcp9RKqSBX AP1FsQbAYCpJolI0xCoZRwcevhP/qo1NMK6ZtOJ36mkOOtllTOiy29A5cE1006B8TZ9Vv+dx 4wMkJT6lkOMUzbxikvks9iiw9gVI2FPWDPhl265X900BOU6Z4sABGawLtfiw9x/g8SoQHtE7 Bu5AFhA3sa1eB2UZli73AtK1E1Rr2b0/EnwhzFyjTwtqbKSmSLUxOG3PhsMNHYNXHRoiVbnI JSlp98dW0esYg0glR/j7kH/jfs+xuw3PyzITEFEcjKjZWBpXLP2rqeIZ89E6Y85mSpQV+u4b FWTS7q7qBwfmXCGfSMW1HUwcDekvY/8lhpxhTeGLXp9m3HefNl52RbV4NG0qed55jMdX2E4j DDWAgL5JNy15ZCOkJyFtOmiVmWnX5kVcC/xzIrGujHprWFtBBS+mbi0lLiFWUA72iHjkcF3X yHJpxfgc6Hk0KO1Ne9id0hsQlT77oJ2F5p/nY05mJwLkSJC19PFoDxezzm1bI4T0LmbDjJFX TMRxt/J/AXpkFZuKH6E3cOxV3mQxNdge8jvZ2oX3iwn6MUZQKyQ7bFCgW50ug/i9VOXMaU7x 2lDj6Z1uxt4y6kTtQEgzzuQGOUXFEhcZ2n3kgiQqsq5p+NRbXqudr650Ax/m8qgBfeMuFI5O j6xd5E8ECt39sg6PkjL1Si564rqYJ/IcNgXtxaVjwbogO9SJ5Y8k/MLgWxsPme37hhHg6Yry Adj2523pt3NKm5j5OShHxRcNzb0e9I79TbqgqJTm8+X28akGZArSVBpFNP4CPmvFjwVr/HuM Q2DRSY9pnmsEr3aBQaD6U1ioiGHA9WxOnqQPnVc0cR6SUzXOhlEmA5NFmZf/NZxBkWwycfma ks8+j0B+guytE5X0uwxfxjnDjWE+UHxO29yEsTAakIRtF0K5l+JY5LCqLgoRGcBoMXn9EvUe wn5L0xJFT1bBBLCXgi5eOHovZ6aq6CZHrbscaWIO+nf77wGEa/Pn8rn05M6rWnWcJzTeCAzV btjnRMTOBIxU8XBx2dQF2pOzX+LN4jD407isixv8pLmqKStAV2wo9vJU/wIaJ1u40zk2PjYc bfB2GAhb24fj81ppzeAyaBDjgRK2mc+Kn/0S+RG7WmUE+rRgvMFVUdFLX4jcpIZteRkmVAcc c/D1oGvj+A+1KVkTQwfEwSmw5DMB4RCNWi5MBmv6F+jErOAKHWLxsj2Zfn5UrhMlKBOsBb2v z+HEkjlNzDFlj/zVhnpP/sexCecdAdTvo2waHMPQSDqUc7mZxunMdR2kSx+wLs6gWnPPHIdN j40el1Er7mZ5ydVyvtlHGkJ4n1gJOiC0yGXiouQYo4RquduCz9omvhy5X07z/5U63gBSqEu3 iTVqdFqrhetlezOgjtrXRxSqypa0YKGuUIxXMeRvpJEWHvC4FcM9TDKU0VM94YjU4Ox/f0Lm b2t3OrpJTxP8szZ554ZDsnQcoecNWY5dADuE3jSBRcESjiiMSfegVZcmbec7C7wzNByp57yl Z4JUrIeWkYyE6ZQC09rBJoaPZ1zXzglja+zg8kP6n6zqRDQQINRuZWNBZfwSb3/bS2Ui7VJf U5C2bTjMYEaLZH2wWRnY1h+2YXNQg/eAIsLrSpmYQs55k5K9TItKw97k1KgYQSr7ngJEPeyl RNjkQpyb9Mm8zL06ks2LF7HzMPfuEY2ntrhjDWYcTq3J6C1D9g+48vcskEwNtb6RF8wY1Dp2 0NjMzjASvRaiL4yLQiDbSfTvpxAHfNZRKxAJhQXwKPPD8g=
- Ironport-sdr: 6781400a_eX9Y8hGBVsh7GcdyYcDc+KCnqPSJMeUFlVJPLoVF8wedbyf 3/iQLL7bBp6UW7IdtwnQYcxPH+oBLyYO/a9LIzQ==
ACM SIGPLAN ICFP 2025 and SPLASH 2025 invite proposals for workshops and co-located events to be held in Singapore from Sunday, October 12 to Saturday, October 18, 2025.
This joint event will create a forum for researchers, developers, and practitioners to present the latest work in software development, programming languages, functional programming, and emerging new ideas in computing.
All co-located events must submit a proposal — workshops, tutorials, symposiums, or side meetings:
https://icfpsplash25events.hotcrp.com/
Important Deadlines
- Deadline for Proposal Submission for Workshops: January 16, 2025
- Notification of Acceptance: January 31, 2025
- Deadline for Proposal Submission for Tutorials: May 8, 2025
For more information, please see:
We look forward to your proposals and hope to see you in Singapore!
- [Coq-Club] ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16, ICFP Publicity, 01/10/2025
Archive powered by MHonArc 2.6.19+.