coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CONFEST2025 - Call for Workshops

From: Jaco van de Pol <jaco AT cs.au.dk>
To: "types-list AT lists.seas.upenn.edu" <types-list AT lists.seas.upenn.edu>, "rewriting AT ens-lyon.fr" <rewriting AT ens-lyon.fr>, "fm-announcements AT lists.nasa.gov" <fm-announcements AT lists.nasa.gov>, "categories AT mta.ca" <categories AT mta.ca>, "logic AT math.uni-bonn.de" <logic AT math.uni-bonn.de>, "loginf AT lists.tcs.ifi.lmu.de" <loginf AT lists.tcs.ifi.lmu.de>, "rewriting AT trs.css.i.nagoya-u.ac.jp" <rewriting AT trs.css.i.nagoya-u.ac.jp>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "theory-logic AT cs.cmu.edu" <theory-logic AT cs.cmu.edu>, "theorem-provers AT ai.mit.edu" <theorem-provers AT ai.mit.edu>, "hol-info AT lists.sourceforge.net" <hol-info AT lists.sourceforge.net>, "idris-lang AT googlegroups.com" <idris-lang AT googlegroups.com>, "games AT lists.rwth-aachen.de" <games AT lists.rwth-aachen.de>
Subject: [Coq-Club] CONFEST2025 - Call for Workshops
Date: Mon, 23 Dec 2024 08:35:04 +0000
Accept-language: en-US, en-GB
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=T7UHk6+UbVq6Rj1hbR8gZ/Hf8HD8FKDFZSLAFagLVpE=; b=ate7tMqLDBdxbr+DxTENc4lLXAAVCjitZgqkrd5IO9K9pKCj4j0YSjdA3bP9v6YN5pRWinqlsC5qO3w4lrKz1kL2/v5iUe18rfY1n157xrATOVqn2gRUafXnpoHQe4lOa2cONOjpXwTY/xAiJ/mGMZiqdQIbsRGk/eXvY8VQyZJKQzd831v9NawFjTcvNzOMlH+nlR8UhYyMsVHAlCapJXh6i9HamFssZiERJksE7N/c3sAnCI2O/gO6DoU7CgMHUL2WlSrSnHiHVzXg8X/uE4askiIKvKn+kuHGuHpHkLDGrqw1x6fD2avySoWgYHhq1s/hPUnEw6rfYeLO6KD9kw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=aR5iKqs5lWhGb5MYkb/Z3C+bmHLPwJr7YobFDq949mDzYlC9wTTPpWyYeAo8K030kjtWafv6YxZaTWpUZVWKFA4zqoT0mdjPsLKedBCnckyu/enuZSyJWbxew/F4jN1+CFnQAMAWG/n0VFvWVX1FO0S02ubzwPncLQpMOQIMSobpXar3rIQh0dm1aAmEe8yNLPr5vA0tVT+mWTQQ94zLPMbraGNpYllhlOWuK18pSbgdfxnyy4l9ggxfFhPWlrXWFLDlVNjJ7KMCNnlMfz+p844SzsBWvPHdrHpX7UEBMUpd9m0nhiAyZsGlhA9RDPmnNlYiCjegM7saGpkmudQzjQ==
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jaco AT cs.au.dk; spf=Pass smtp.mailfrom=jaco AT cs.au.dk; spf=Pass smtp.helo=postmaster AT EUR05-AM6-obe.outbound.protection.outlook.com
Ironport-data: A9a23:mfKw267SrjHBucSLNnCrlgxRtD/MchMFZxGqfqrLsTDasY5as4F+v jNJXWCObKncajTzfYxxOY6w9hwBvpPcmIViGgA/rSk3Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtaAr414rZ8Ekz5a6o4mtC1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj66Q/PFExOYc/w7p6OFwX0 tFfLT8CTB/W0opawJrjIgVtrukeFpG2eao65DRnxzyfCus6S5feRamM/cVfwDo7msFJG7DZe tYdbj1sKh/HZnWjOH9LUNRnxLju3CO5KmYCwL6WjfJfD2z7zgV615DmK5zcZ5qGRq25m27B/ j+epzyhWkhy2Nq38H2XyluzlrH2rQz9Q9oPRKOh0P1AuQjGroAUIEZNDwfkyRWjsWa1XMsaI EgJ8AI1vK0q/QqqSMP8Vlu2uha5UgU0XtNRF6gz7V+A17CMvgGfXDFfFHhGdcAss9IwSXoyz FiVktj1BDtp9rqIVXaa8bTSpjS3UcQIEYMcTX5VfRsC59PEmd0+ty+WafskFaG6rNKgTFkc3 Au2hCQ5grwSi+sC2KO64U3LjlqQSn7hHlBdCuL/DjPN0+9pWLNJcbBE/nD9yZ59wGuxS1CAu D0NnpaT8fpWUJaLznXWGqMKAa2j4OuDPHvEm1lzEpI99jOrvXm+YYRX5zI4L0BsWirlRdMLS B+O0e+yzMYMVJdPUUORS9/rYyjN5fW/fekJrtiOMrJzjmFZLWdrBh1Ga0+KxHzKm0Mxi6w5M przWZ/zVipKWP48kGHvGb11PVoXKsYWlTy7qXfTn0XP7FZiTCDEEOtt3KamMr5msfvY/lm9H yh3a5LWlkgAOAEBXsUn2dVIdwxVRZTKLZX3oNZQbemNPkJtH3s5Y8I9MptwE7GJa599z7+Sl lnkAh8w4AOm2RXvd1/WAlg9M+mHdcgk8hoG0dkEZw/AN44LO9z3tP93mlpeVeVPydGPOtYvE 6BbJpXYXa8TItkFkhxEBaTAQEVZXEzDrWqz0+CNOVDTprY5H1aXqOz3NBDi7jcPBSeRvM4z6 e/onADCTJZJA0woAM/KYbj9hxm8rFoMqtJUBkHoG9h0fFmz0Y5ILyeqsOQ7DftRIjr+xxyb9 T2sPzEmmcf3rbUIreb53ZK/k9/xEs9VPFZrIG3A3LPnaQjY5jWCxKFDYsapfBfcdmH/6fiia d4IzPjtEeYmmWxSuNFWCIdbzqMZ5vruqYRFzw9iIm75UlSzBp5kIViExcNptKZd4pN44CyYA lmu/PteMpW3YPLVKkYbflcZX77SxMMqlSn3xtVrBkfDvQtc3qeNCGdWNDmy0B1tFqN/at4Z8 L1wqfwtylKNjzQxOYy7lQFSzWOHK0IAX4gBtp03BIzKiBIh+mpdYK7zWzPH35WSV+piakUaA CeYpK7ntYRuwkDvd3kSF3+U+cF/gZ8Img5BzX5cBlCvt+fGuMQK30xqwWxqdjhW8xRJ6PIsG 25JM0YuG76C0Q01j+d+XketOTp7OjunxmLLxWAkrlbpF3uTajSVLUkWG/q8w0QCwmcNIhlZ5 O65zUjmYxbLfebw/Ck5SBNlp8e+TtVg1xbjnfq/FJ+vBKgKYjvCg46va1EXqhDhP9gDuU3fq cRu/8dycafdNyUAh4EaUq60ja8xTjKAL0x8GcBRxrsDRzzgSWvjyAqwJFCUUeITAf7zqGuTK dFkf+BLXDSAjBe+lCgRX/MwEuUljcwSxYQwf53wLjQ7qJqZlD1itazQ+gXYhGMGR9ZPk943G rjOdgCtQ3Chun9Jp1Dj9MV0GHK0Qd0hVj3O2OqY9OYoFZValMpOdUo08KW/vlTLEQ9B0i+Xg jj+ZP7t/7Q/8bhvooriKbUcJgOWLdioav+E3jruuPtzbPTOE/z0iSUrlnfdMT97A54tSvVst LHUsNfIzELP57k3dGbCmqi+LapC5OTsfelpDP/1BSB+oAWkfs61/SoGxn2ycqIRodYMv8Oif hazSOmuefErWdtywGNfanVAHyYnEK6tP73EoAWjpc+tETkY6xTMd/m8xE/qbEZaVy4GAIL/A QnKoMST5shUgYBPJR0cDdRkPsNcDHr8f5A5ZvrdkCK+DGK4pn+j4ZzczQEB7xPPAVm6SPfK2 4rPHEXCRU7jqZP2w8F8mK0smw8cE1JWo/Q6J2AZ8P5I0wGKNnYMd7khAM9XG6Nvs3LA0b/jb 2vwd0okMyL2WApEfTja4NjOWgS+BPQECuzmJw4Grl+lVCOrOLyuWLdR1D9sw3NTSAvRyOuKL dI/+HqpGjOTxppvZ/gY593loONB687Z+Ek1+hHGo5SvOyodPLQE6iUwVk4FHynKCNrEm0j3N HA4DzIMCl2yTUnqV91sYThJERUepyni1CgscTzJ+tvEpoGH16dV/ZUT4Q0oPmErN6zm5YLiR E8bg0Og3lrOhzk6nPVsvNgkx6hpFfiMA862arf5QhEflL2x7WJhON4emS0IT4cp/ws3/5b1i Gy3+3ZnbKiaABk55VFU4VxhF1FNvrYkBCqPhRO5qTyufdkR0Y3CYxbzpO7kAciYlkUg1nm0h B8ZdwCYvhuat1MIYNW4Wusz/jS6PC3aKZUIvu3EgH8/ftdAhVKxzIxc7nw=
Ironport-hdrordr: A9a23:+tU+q6M+KqXhF8BcTyb155DYdb4zR+YMi2TDiHoddfUFSKalfp 6V98jzjSWE7gr5K0tQ4OxoWZPwNk80kKQY3WB/B8bHYOCLggqVxeJZnP3fKl/bakrDH4dmvM 8OHZSWY+eAbmSS+PyKhTVQZOxQouVvnprJuc7ui1NWCS16YaBp6Al0TiyBFFdteQVADZ0lUL KB+8tuvVObCDwqR/X+IkNAc/nIptXNmp6jSwUBHQQb5A6Hii7twKLmEiKfwgwVX1p0sPwfGC n+4kbED5eYwr2GIyznpiDuBlNt6ZXcI+54dYGxYw4uW3TRY0iTFcRcsva5zUgISamUmS0XeZ /30l4d1o1ImgnsV3Dwrh331wb61jEyr3fk1F+DmHPm5df0XTQgFqN69PBkmzbimjodVetHod F29nPcs4ASAQLLnSz76dSNXxZ2llCsqX5nleIIlXRQXYYXdbcU9OUkjTdoOYZFGDi/5JEsEe FoAs2Z7PFKcUmCZ3ScumV02tSjUnk6Ax/DSEkfvc6e1SRQgRlCvj4l7d1amm1F+IM2SpFC6e iBOqN0lKtWRstTdq55DPdpe7rHNoUMe2OzDIu/GyWZKEhcAQOxl3fe2sRI2N2X
Ironport-phdr: A9a23:dA2nbBfLex/pWDAN2Ogdmq3VlGM+ItDLVj580XLHo4xHfqnrxZn+J kuXvawr0ASQG9yDurkd0rWempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb65+I A+roQnNssQajpZuJrszxxDUvnZGZuNayH9nKl6Ugxvy/MC88oJ9/S9Nofwh7clAUav7f6Q8U 7NVCSktPn426sP2qxTNVBOD6XQAXGoYlBpIGBXF4wrhXpjtqCv6t/Fy1zecMMbrUL07QzWi7 6NsSB/1lCcKMiMy/W/LhsBsiq9QvRSsrAF9zYHJeoGYLPpwcL3Ac9MGS2RPXdpeWCNaD4ymc 4cDE/AMMfpEo4XjoVYFsBuwBROrBOPq0jJGgmX50rE90+88DwHJxgogFM8Tv3vKsd77LqASU eSox6TPzzXMde9Z2TDm5YfUaRAtu+uDXa9qfcXMykkiDgXIhUifpoL5JT2azPgNs3SF4Op6U +Kik2AqpgN/rzWs2sshlIjEi4MJxlzZ9ih0wII4KN2lREN/f9KqEIVcuiWHOoZ0TM0vXm9lt ik7x7Ebt5O2cyYExpohyhXCZfKHdI2I7QjiVOaXOTp3nm9ldKiiiBax90Wr1+7yVtGs3VtFs iZJiMTAumwP2hDJ9MSLVOFx8lqv1DqRzwzf9OBJLVw6mKfeNpIt3qQ/m5sWvEjdAiP5g0D7g LKVe0Uq/+Wl7vnrb7fgq5SBKYJ0jhz+Mr8ymsOhG+Q2LwkOXmmF9umkyLHu+1DyTq9Qgf0si KbZtYjXJcQFqa69BA9Yyokt5BijATu60NkUhGUKIlVEdR6eiIjmIE/BLOr/Dfein1SjizBrx +3APrL8GJnNNmLDkLD9fblj90Fc1AszzddZ555ODbEBPe7zWkv2tNzfDR81KRC7w+HiCNll1 4MeX3yAArOBPa7drVOE/P8jL/WOaYMPpjrxNeIp6+PggHMngVMdeLOm3ZoTaHC2BPRmJECZb GLugtgbDWgKuREzQ/DxiFGYSzFTemy+UL8/5j0jDoKpFp/MRpqxj7yZwCe7AppWa3hbBlyUC 3fna52EW+sQaCKVOsJujjsEVaG4R4A90RGuqRT1xqF8LuvU/y0YrYjs2MJ05+3VjxEy9CZ7A 96T02GXHClImTZCWy4u0bs6pU1m1n+H0LNkmLpDGNVIoe5RXwE8c5PQ0qYyX8zjQg/aO9OIU 0qORtS9HSp3Vd842JkTe0t7HZOvgg2Vm2LgGbIKjb2XBZo72q/axD31NsF7jXjcnuF1lVQ5W MpTNGuprqN57E3XFonP1UuDweLiP6oZmSfL8mCey2GDuUxeTBVYVaTeQWtZYELNpJL24V2IB +ugDPEuNA1G1MiJJ65HbMHypVFHX+v4ftLXeGv3lGCuU1LAjLiFcIflfH8c0T71DVQN1Qsat z7SPgEiCyimuWPTFxRrCVupaEq6taE0rHS0T0QcygiWbwt80bvw8BkTg7qQRrlbirYDtyYqg zB9AFb7wtTXTtCHoQwncKgKJZt35FBI1GTXnwh8JYC7abxpnRgffQUxu0bzkRl6QM0Ulc8lr XUk5A5zMr6Dlk9KbHWZ05G2PrjKbGX/qlTnIbTbxUvfzNeQ9Y8T8u9+oE74+gDvEEMt9GRul sQT2nDa5I2ARF4IXI3rU1o28RdSu6vBJCIm/MXVk3tlPq6lu3rfndsiQuk9nFLoNdxYKeaPE BL4O8wcHcmnbuIw0RD9ZRUdeetW6aQcPsW8dvLA1rT9eK4qgDKrin5WpYR63UOH3yFnDOXNw tAIz+zSll+bVzr7lkbktsf4mItsbipUFW+ijyXoGdgVLudufYsME2qrZtWtwctznYXFUn8e8 V+/QV4KxYXhLQaSYlvn0AgVzV4Qv3G9ggOxznpxki1vo6aCimiGieTlcF8GPGBMbG1jlkv3Z 5OzksoRUUavdQck0h2o+Qyyk6hcoOF+KWfUaUNJZDTtaXplT7G7u7SFecFCrpUlrXMTGK69b UqbUfv5qh0V+yzkGGRayT8hcCyyodPymBkwwDacIGxytz/dcMd/7RjY49PYSPFL2SceX29zj jyBQhD2MNCs8M68k5bYrvv4TX29VthaeCLrwIXGuCbxrTllCBiyhNi3m8b7Ck4gzjP7ktBjX iXFqlDwb9+4+b69NLdFd0JvTEH17YJ2F8lGlY940JMZ0n8yjY7T9GdBnWSlYoYT4r73cHdYH W1D+NXS+gWwgCWLT1qMzoP9DTCGx9d5IsK9eiUQ0z486MZDDOGV6qZFlG17uAnwthrfNN56m DpV0v4y8DgCmehcugMmyQ2WGfYbAA9UPn+kjAyGuui3t74ff2Ozaf613Ut6k8qmCeSAqwpbc H3iPJ4/WyNzvY1kKFyZ6HTo8cn/fcXIK9IeshrBixDbk+1cM448jNInuBA/ZCfUmCNgzOQ2y xtzwZu9oY6LbX13+760CQJZMTuzYN4P/jbqjuBVmcP+M5mHOJJnF31LWZLpSantCzcOrbH8M B7IFjQgq3CdEL6ZHAmF6U4goWidW5asf2qaInUU17AADFGUOVBfjQYIXT47go9xFwakw9bke Vt44TZZ70Dxqx9FwOZlfxflVWKXqACtYzYyAJ+RSXgepgNL7ED9OtfY5/81EyIZtpytoQqRK 3CKMhxSBDJBUUiFClb/e7i2sIWYtbHAWazkdb2XOu/dzI4WH+2Fzp+uzIZ8qjOFN8HUe2JnE +V+wU1bG3ZwB8XenTwLDS0RjSPEKcCB93LesmV6qN6y9PPzVUfh/4yKXvFQON5o0xutx66ec eKTznUxOXND25UAyGWdgroW11k6gDoofiTrHbdK5kuvBOrA36RQCRAccSZ6MsBFurk90gd6M snektrp17R8g5bZEn99XEf60oGsbM0OeCSmMU/fQV2MLPKALCHKxMf+ZeW9T6dRhaNarU/4t TGeGk7ldjON8luhHxKmOuZkhzrdNQEYtIL1fht2CGflRc7rcVXnaJku1WJwm+dy3yiQfWcHe SBxaUZMsqGd4WtDj/NzFnYAixgtZeiIliCF7vXJf5MfsP9lGCNxxKpR5HU3zacQ7TkRGKQzw XON6IQ05Qj9yLrqqHIvShdFpzdViZjeuExjPf6c7ZxcQTPf+wpL62yMChMMrt8jC9v1uqkWx MKc8cC7YDpE7d/Q+tMRQsbOL8fSengoOh3BEyWSBRZDQT3hZinPwldQlv2f7CjfrJExrbDng 9wHV/lXVxZmc5FSQlQgF9sELpBtWzoimrPOl88E6021qxzJTdlbtJTKBbqCRO/iIzGDgfxYd gMFlPnmeJ8LONSxiCkAIhFq2Z7HEE3KUZVRrz19O0Uq9V5V/iE2T3VviR69LFL3pidVTbntw 1Y3klcsPbxrrW+zpQ9xfh2T+k5S2AEwgYm33GrXKWapav/2BcYPVmL1rxRjb8m9Gl4vK1X0x Qs9an/FX+4D0uEmLDgwzlea4dwWRps+BeVFeENCnKnLIal3lwwa8mL+mgdG/bWXU5I6zVlzK Mf+oS4Yg1AxK4JlQM6YbKtRkAoKj/rX7Hbxj7I/nFdFdRRKrDLaeTZW6hYBbuB0fnPxrOIws VfQy2MbIDpeEKdzx5AivkIlZbbaxnq5gecacxK/a7TEfajB4zCSx4nVGxsxzh1azUAdpOovi J5xfRbMDBIhlOPJRUZOaJCKbAhRa4A6GGH7RS+Vqq2NxJt0O974DeX0VaqVs75ShEu4HQEvF oBK78IbH5Dq3luKZcvgKbcEz10q6mGJbB2dC+9VfRuQjDodi+yC9scqmKB4eHQaC2g7Njir7 LHKoANsmOCEQNo9fnYdWM0DK24yX8q53SVeuhEiRHG73/kYxw6L8zLn7niISmCkMJw5PrHNP kkkAcr+4Tgl9qmqlVPbuo7TIW33L5Uqu9PC7/8bu4fSC/5QSuoY0Q+UkI1ZSnq2Fm/XRILtY cGoNM92N5qtUSzpNz73wyg4RMrwItu3e62BgAWzAJ1RrJHexzc7c8m0CjAZHR504eAF/qN1I wMZMP9ZKVblsRozM6unLUKWyNKrFiyvIDBRZ/JEi+ynIbBUhXlJDKfy2D47Q5c2wvPiu1YKX 40PhwrCyOyLSrRkCXW2M1kDPgLFqGw+inRrMfs0zqEn2hTUvFIAMjeNMut0dGhDuNJ6DlSXa yYTaCJwVxqXiozN5RSp1rYZ8n5Gntpa5uZCtWD3op7VZD//ELzus5jetDAsKMQ3u6Ake5K2O dOI7dmN+16XBImVqACOVzS2UuZXisQFajwNW+FGwCkkIZBU5dIHuBB3DoFmYOUSQKg0+uL2M Xw9VXFUlWlBENreuV5Kyuakh+mHzFHJKMxkaFpc98wfytoFD3wrOGVH/PXlD8OO0DbaAmkTf FVOt0IVvFlGzskoObm6heiABJ5Ul2wP+64yDnSNTt8wsAKkAmCO3wqiQa34wbXwhFBckKq0g ItcBE4aawAVxv4IxBEhcOglcvBJ7ICW6mTaJwSm7Srs0LX0flAJkJ+NLgSqAtad7jisCnVEq y9TGNYqqjmXFIxMwVBwMP95/QwVco76Ih2s7GR8n9Y7WOThHcGzmQR/pC5fFX7zSohPV7k94 lyPAGU3Mdf28t2gMpFWCAe4F7WWsBFQjQNhMHzgoXK5A8pWpDcRGjRM8231VDqaZfB5gZIzJ rpSZ9B1tjH6Bb9OP4WXrzsuoLvzx3TF+jc69lCn2DG0HKz+ROVcrTR2Jw==
Ironport-sdr: 676920be_YQSovOQup2UauThLXiJepfbxvcEk+F6jJYJKNHB20pqgGnG QkRf9B+i1tIWM/clskrKJg4QHSNURBnrUX3NrrA==

CONFEST 2025 - Call for Workshops

https://conferences.au.dk/confest2025

CONFEST 2025 will be held in Aarhus, Denmark on August 25-30, 2025. Besides the three main conferences (CONCUR, FMICS and QEST+FORMATS), CONFEST will also host a number of pre- and post-conference satellite events (workshops or tutorials), on Aug 25 and Aug 30, respectively.

The CONFEST 2025 organizers invite proposals for satellite workshops or tutorials. Proposals can be sent by e-mail to the organizers. Please let us know by January 15, 2025 if you intend to apply. The deadline for applications, including the information below, is January 30, 2025. Notifications will be sent by February 7, 2025.

CONFEST will provide the following to the workshop organizers:

- Meeting room

- Coffee breaks, catering for lunch

- Centralized registration

- Special rates for hotels and local information

- A link to the workshop webpage from the CONFEST webpage

We will need the following information:

- Name + Acronym of the proposed workshop

- Short description of the topic / goals (few lines)

- Name of the organizers / contact person, including link to their website

- Link to website or to history of the workshop (if available)

- Expected number of participants

- Envisaged length of the workshop (half day, full day)

- Preferred date (25 or 30 August, we cannot guarantee the date)

- Publication plan, if any (formal/informal, pre/post proceedings, publisher)

- Tentative schedule for submission and notification

The CONFEST 2025 chairs,

Andreas Pavlogiannis, pavlogiannis AT cs.au.dk

Jaco van de Pol, jaco AT cs.au.dk

Jaco van de Pol, Professor of Computer Science,

Aarhus University (DK) & University of Twente (NL)

[Coq-Club] CONFEST2025 - Call for Workshops, Jaco van de Pol, 12/23/2024