coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Magnus Myreen <myreen AT chalmers.se>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Call for Bids to Host FroCoS-ITP-TABLEAUX 2025
- Date: Fri, 16 Feb 2024 13:35:43 +0000
- Accept-language: en-GB, 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=arcselector9901; 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=R7/KyenZUCyKBPLL3pfeVeGcwmwIuQ2fTp3ZXVJ6HCo=; b=a1Hjc/Bq4SA5jaYwCBsfSRlQ1YmiCXT+M1V2eYp/pmjeZpACBQmh3Y0BVYJs1t50qT8a12pV3Gyf7GYndnL2ITmribjvoVLqrVjIMbTj3HdOY5pth3P7cL25mvlXaAoa4motjIQ4/dPG0yJHjxvBDVn/yh8zo5D4CaJN+fLiKBjZJ7kwEWiClKbJKJLOZu1gEEn8Rv9ZdtYdnbWwQGPhAbmJu3qtlQbqazXufrqkLeeymP1tRmaDQllIC0w00zZPh/wB5i9Pt4VhSTfTt9jQj9Mykn6tom9ju2jLFJIi8gxPo+vlBN8UvQQT0xP4Ul1Ca/CZ1Dm5ENzNPtt3C9z+Zw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=H0G6c6hj9iFesCCdTEYXf+h1AXdEgl4Pgy1NOiTFfxVZIrnwkdwZc6dogrYuNl7P7JBlqCxZ40nHj0uyX5akrZtbtihHQletoqKTZX/vT33qUKPqkhq5p1F+hLASfeIvJDTUUIRpXYA2pEabH7vf8Cap+uptZsd+nUKGDTKrkc6DYD4g9K8sCJUgTirbxxB5LGtKBoEhEV44spbOZFpqUhIKqjSSSRJ0oI1RqYRuQ8QkhSPSIwIULS1ly1ZkKcYOtKW0Jaxg1/cOdB31XzxfdJoSIT1FyK4xHx9GVv4BK77N/5uHYTnmfqAbOHYOQJ83tr/TY9evpaA8PK7IJf5mQA==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=myreen AT chalmers.se; spf=Pass smtp.mailfrom=myreen AT chalmers.se; spf=None smtp.helo=postmaster AT MM0P280CU005.outbound.protection.outlook.com
- Ironport-data: A9a23:sTZsza+U6rHffOUtx9osDrUDjnWTJUtcMsCJ2f8bNWPcYEJGY0x3m msdC22CO/vfNmX2LYglPYjkoUsDv8TUzdJlSAc4+3pEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYqWo4ow/jb8k835q2s4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE7fIwBh0oPY8h2v9KLGIX5 /0BLDoKYUXW7w626OrTpuhEo+F7FJO7ZKgi4ik9izbEEfwhXJbPBb3Q4sNV1ysxgcYIGuvCY 80eanxkaxGojx9nZw1RUcpn2rj0wCOXnz5w8Dp5oYIy8nLewQpZ27jkNN/YYMfMXsg9ckOw+ TOWoz+mXkxy2Nq3+33U8inrgcr0xCqjdYtRRKXi1cNajwjGroAUIEZNDwfkyRWjsWa1XMsaI EgJ8AI1vK0q/QqqSMP8Vlu2uha5UgU0XtNRF6gh9wyBx6zP5BuFBmEWSTgYMYR87JduH3oty 0ODmM7vCXp3qrqJRHmB97CS6zSvJSwSKmxEbigBJecY3zX9iK800BiTUNZhKY6ss/D2QCPx2 jSAqydr0t3/kvU3/6m8+FnGhRelqZ7IUhM5623rsoSNsVIRiGmNN9TA1LTL0cusOrp1WXG6k RA5dyW26ekPCdSWiyGBTeMWG6y15/+XNzuF2AY1R8F5rXKq5mKpep1W7HdmPkB1P80YeDjvJ kjOpQdW45wVN3yvBUOWX25TI5typUQDPY2/PhwxUjaoSsUqHONg1Hw0DXN8J0i3zCARfVgXY P93i/qEA3cAErhAxzGrXeob2rJD7nlhnTOLH8mrkEz2jOH2iJuppVEtYQPmggcRvfvsnekp2 40GbJPiJ+h3DLOhPnKHqd57wa4idCFrVcmrwyCoSgJzClE9Qj1+YxMg6bYgcJZihKNbiq/D+ WulMnK0O3Ku7UAr3T6iMyg5AJu2BcgXhStiYUQEYwz0s1B9Ot3HxPlEKPMKkUwPr7ALIQhcF KRdJ61tw51nFlz6xtjqRcOg9dMyJEvw3lPm0ujMSGFXQqOMjjfhorfMFjYDPgFXZsZunZJm+ u3y5RCRWpcZWQVpAeDfbf/lnRv7vmEQlKg2FwHEK8VaMhekuoV7CT3DvtluKeE1KDLH2mS70 SSSCkwmvuXjmdI+3+TIoqGmlL2XNdVCMHBUJETlyIqnFDL7+zOjyLBQUezTcjH6Unj1yZqYZ u5U7q/dM6QhuXhjoq1QOZpV8YshweCyubNq9AVuR0vWXX/2FbhlcyG04u8Xv5Ic25tc6FK6d VKR8INBJITTad/EEUEQFiUhfO+sxfEZoRiMzPUXcWHRxj57w6qDampWZyKzsS16KKBnFa8Y2 sIjhZIyxy3krSE1I/GqqCxw3EadHEwqCqkImMkTP972t1AN1FpHX635Ngb3x5OqMPBnLUggJ 26vtpro3rhz6BLLTCsuKCLrw+FYuJUpvSJKxn8kI3CiuILMpt0z7S1r3QUHdCZn5TQZ7LsrI UluDVN/GouW9TQxhMRjYXGlKzscODKnoH7O23k7v0yHaXK3V179Dnw3YseM20E7z1hyXBZm+ JOg9WK0dgqyIe/Q2HMpVF9Hus7Ta4V71jf/lfCNG+WHGJgHYgTZvJK+WFpQqzbaBZIeuU6Wg 8hr4+d6VoPjPwEyvaAQKteXxJYQej++NU1ARvBQpqMJF06FfDq0/CWFcX2wXuhvJPX611CyJ OIzB8BIVjW4jD2vqBJCD4EyArZEptwbz/tcRaHKf0so66C+qBhtu7LurhnOvnchGYhSoJxsO 7HveCKnOU3Oo3ltwkvmjtROY0i8avk6PDzM5vi/qrg1JshSodNXUB8A15WvtC+oKyphxRWfu T3Da4Lwz+BPzYdNnZPmIp5cBjebeM/Ca+CVzD+d69h+T8vDEcPrhTMnrlPKOwd3P7xIf/9Vk b+LksD83WKbnbIQfl3apaK8FPhy1Z3vZNZUD8P5F2kFvC2gXMS33QAP1VrlIrN0kfRcxPKde S2GVOWKe+QoBuhtnE9uV3AGEjI2KbjGUaP7lCbs89WOEkc81CLEHvOG9FjoT2NSWQETMaLAG wTl5uSc3fFDjYF2HBRfLepXM5x5B17CWKUdaNz6sweDPFSoml+vvrjDlwIqzDP6FUm/D8fx5 KzaSijEdBidvL/CyPdbuddQuiI7IWlcg+5qWG4g4P9z1i6HCVAZIdQnMZkpDo9elgrw3sraY BDPdG4TNjXvbw9bcBnT4MXRYSnHP7YgYuzGHz0O+1+YTwyUB4naWbtoyXpG0kdMIzDmyLmqF MEa9njOJSOO+5BOR9sIx/mFkOxil+L7xHUJxBjHqPbMIS0iWJcE6H8wOzB2d333I5mY3gGDb 204XntNT0yHWFb8W5QoMWJcHBYC+ijj1XM0ZCOI28zSoJif0PYG8vDkJuXvyfcWWazm/lLVq a/fHANhIlx620D/fYMMnooR2/8sIs/TRpX8K7L/TwoPma328n4gI84JgSsISocl5RJbFFTe0 DKr5hDSwahDxF95gNWrJcchovqdkU7gyxnCjAf7oDLciloiwrA1vjC0mRnjJ8iYR7fL5i1lr fR7UKpVi1aWvT/hqCNl8O8WzrBC7Qf9ClGcOh0VoljOfttAhYOT+H2NE6336j6JzEB5+w==
- Ironport-hdrordr: A9a23:gQ3yfqkkAuj61CpPNnKdpGc/sfrpDfIC3DAbv31ZSRFFG/Fwwf re+sjztCWE8Ar5N0tPpTntAtjmfZqYz+8N3WBzB9qftWvd11dA/LsP0WK4+UyDJ8SWzIc0vs 1dmsBFeabN5DNB/KLHCWeDYrMdKOfsytHKuQ6n9RdQZDAvUqd/4xx0B0KxIiRNJTV7OQ==
- Ironport-phdr: A9a23:fmboSBHeSJJSuhSu8AJurZ1Gf8ZFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k33RmTB86GsroE07OQ7/qwHzRYoN6oizMrTt9lb1w/tY0uhQsuAcqIWwXQDcXBSGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAnPssQam5VuJrg+xhbJv3dDZuBayX91KV6JkBvw+MS98IR//yhMvv4q6tJNX7j9c6kkQ rNUCygrPXoy6MP3qxfIUBGB5mEbUmUYkxpIBxbK4RTnVZrvsSX0q/Rw1jCCMcL5Ub47VzKi7 7x2SBDzkycIKyQ58GDMhcNuiq9QvQ+sqAZ+w47QZ4GVKeZ+c6bAdt4UWWZNQsBcXDFGDY2hc osPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvXrUstv7KbsSX +62wqbUwjrOdOlZ1Svh5IXSbhwtvfGBULRtesTR00kvEAbFg02Xp4P/MDOV0PkNs3OG5ORnV eOvkXAopB93ojOywcosj4nIhpgLxV/a8yV025o6Jd2iR05/ZN6rDoFQtzqAO4ttXMwvWmdls zs1xbMao5C0ZjQKyIg5yB7FbfyKa4iG7Bz9WOuVPzp1hX1rdbOhihuu7UWs1OLyWte03ltJs CZIkcXBu3IM2hHX6cWLVPtw81u/1DuByg3e7u9JLF4ymKHGJZAhxbswmYASsUTFBiL2hUT2j KiYd0o+4OSn9fnoYqj+qp+TNo90lgH+Mrk1lcClAOQ4NRACX3SB9uun0L3s41f2QKhFj/Evi KbZqorWJcMBpq62BQJez4Ut6w6nAjqmztgUh2QLIE5YdB6djYXkNEvCLO7gAfuhglmgjDlmy vXbMrH9GJrAL33OnKrhcLph7kNRxwU+wNVa6p5JC7wMJu/4V1H1tNzFFR85LxK7w/z6BtV81 4IRR3qCDrOfPajPq1GH/PgvLPOJZIINuDbyNfwl5/n2gHE+nlERYbOn0YUUZXykAPlpLVmVb Wbsj9sbFmcKoxY+Q/ftiF2fVz5cemy+X7om5jE8FIKpE5vMRpysgLyG2ie3BJpWZn1aClCIF nfocIaEV+0QZyKVJ89tij0EVb6/RI89zRyjtBH2x6B6IubI5yEUr5Du2ddv6+HNjR0y8CZ7D 8WZ02GDVWF0mWYISicz3KF/u0xy1EmM0a5jjvNEFdxc/fdJUgIkOp7G1Ox2EcvyVRzZctePU 1mpWs+mDi0pTtIt398OZF5wF8i6ghDZwyWqG6MVl6CMBJEs7q3c2GHxK99hxHbCyakulEIrQ tBPNG2jnq5w7RLfB4/Pk0WDlqalb74Q3CDX9DTL8W3b9kpfSUt7VbjPdXEZfErf69rjrAuWR Li3TL8jLwFpyMiYK6IMZMe/3ntcQ/K2Hd3RZX+q00KhHxuFwPvYaZvwdmgb9C7dAUwBnhoIu 22LY1ttThy9qn7TWWQ9XWnkZFnhpLUvwJvaZko9zgXRKlZky6Lw4RkNw/qVV/IU2LsA/iYns TR9WlinjJrNE9TVgQ1nce1HZM8lpk9d3DfcphZwM5qIJKBrglsTaR8xpE69nw5vBNB4mNMx5 Ggv0BI0LKuZ1F1bcDbN2IHqN7DRAmLy9RSqZrTNnErTg56N4qlazvM+ph34uR2xUEov93Iyy 95Oz36V/YnHFiI3dMrJCBZv3CUi/+ycZTQh7YTJ03EqKbOzrjLJx9MuAq0i1wqkeNBcdqiDE WceCuU8AM6jYKwvklmtNVcfOfxKsbUzJ4WgfueH36iiOKBhmiinhCJJ+tI11EXE7Cd6RuPSu vRNi/iFwguKUSv9h1a9o4j2n45DfzQbAmu4z2DtGodQYqR4eYtDB32pJoW7wdB3hpilXHA9l hbrAkIc1cKvURGSZlj40BdLk18a4DSmlSa+0z1ogmQxtKPMlCfKwunkaF8GIjsWHi871Q6qf tTy1YN/PgDgdQUimRq76FyvwqFaoP86NGzPWQJTeDCwKWh+U6y2v77EYshV6Zpuvz8ENYb0K V2cVLP5pAMXli35GG4LjjUqbTynvL3ynxV+jW+HNzBooTCKHKM4jQea/9HaSfNLi3ADVTN1h D//DVi1O9yk587SjJqJ4aiuEmmmUJNUayziy4iN4TC66WNdChq6h/mvm9fjHGDWyAfD3sJxH WXNpRf4Oczw0riidPlgZg9uDUP97MxzHsd/lJExjdcewypSipKQ9HsB2WD9VLcTkafvdncAQ xYAw9fR5QX/wwt4IzqFypn4WXOU3sZ6L4TgJDpOg2Ris4YQQK6PpKRJhy50vka1oWezKbBmk zERxOFvoH8WjucVuRY8myCUA7QcB05dbmTnkxWF6cz7rb0COTzpKODpkhUi24ryadPK6htRU 3v4ZJo4SCp578EkdUnJzGW28Yb8Pt/ZcdMUsBSQ1RbGlelcbpwrxZ9ozWJqP3zwuXo9xqs1l xtriNu/rZKKJmNF96KwBhtVLCazfM5ZqVSPxe5O292b2YyiBMArHyQRUZbuZfmoGTYXuO78c R2DWm50ujKQHrzRGhWa4UFtoifUEpylAHqQIWEQ0dRoQBTOQS4XyBBRRjgxmYQ1Uxy73MG0O lks/SgfvxSr4gsJ0O9jMAPzF3vStBv9IClhU4CRdX80pklD/xuHbZTYv7g1R2cAucT85A2Vd j7HP0IRVT5PAgrcQAm9dri2uYudqa7BXrL4d72WJuzSzI4WH/aQmcD2itcgo2nKboPXeSA9R /wjhBgZVCggSZ2AwmcBF3RPxXCKM57+xl/0+zUp/Jq2qK25AVu2t4XTU+AAY5Izqli3mfnRb efI3XQgcG8K2M9Uni2YkOBHjgxV1ngLFXHlEKxe53TEFPuCw/YOXRBHM3ghP5MQt/BumVQUc c/D1IGv3+Yh3KdsUgVLCQS6yM/xPZRYcSbgbhuCDUKPftxqPBXtxMf6KeO5QLxU16BPsgGo/ C2cCwnlNyiCkD/gU1auN/tNhWeVJk4Wvob1aRtrBWX5KbCuIhSmLN96iyE3yrwolzvLM2AbK z11b0JKqPWZ8ypZhvx1H2EJ4GBiKKGInCOQ7u+QLZhz07MjGiNvi+dT+2g30ZNwyXl8Hqwts xaK9oMopEy6mO6SzDYhSABJtjtAmIOMuwNlJLnd8Z5DH33D+VNojy3YChgHocdkFsy6u61Uz YuHn6byJTFettPMqJZGQZGMcYTYbDx7Yn+LUHbOAQAITCCmLzTajk1Zy7SJ82GN64M9st7qk YYPTblSUBo0EOkbAwJrBo9nQt8/UzU6nLqclMNN62C5qUybQdRAs53BfvmSCPHqJSyCy6JJL Uhto/uwPcEIO4v31lY3IEF9h5jPElHMUMplhwg5VlVk+G5wqCAjCGoux0jidwWhpmcJEuK5l QI3jQ04Zvkx8DDr4BE8IV+A905S2AEh3N7ihz6Wajv4Kqy9CJpXByTDvE80KprnQgxxYGVaf GRBEW/8HeIJpIY4LT0tjxLAs5xSH/IaVbdDfBIb2fCQYbMvzEhYrSKkg0RA4LmdYXOHvAAqe JqpomhbnRluPoZdzUP4L6pAyl1dnLnIpSL6j4gM
- Ironport-sdr: 65cf64b1_OfES/ulqW0lt8w1F28CftHfw2R1veutYuI4ixYHZLhOUwtP zI4LnkWehQJ6rWCcKhdfA//atiEG6u3bwJ7FNxg==
- Msip_labels:
We are pleased to announce the call for proposals for hosting and organising FroCoS-ITP-TABLEAUX
2025, on their 15th, 16th and 33rd editions, respectively.
- FroCoS (http://frocos.cs.uiowa.edu/) is the main international event for research on the development of techniques
and methods for the combination and integration of formal systems, their modularization and analysis.
- ITP (https://itp-conference.github.io/) is concerned with all topics related to interactive
theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.
- TABLEAUX (http://www.tableaux-ar.org/) is the main international conference at which research on all aspects,
theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableaux-based reasoning and related methods is presented.
FroCoS and Tableaux have co-located for quite a number of editions, and in 2017 we had a very successful edition
of the three conferences running together. In 2025 we intend to resume this partnership. We expect the 2025 edition of FroCoS+Tableaux to have around 100 participants. ITP tends to have 75-100 participants.
Bids should be sent to frocos.itp.tableaux AT gmail.com and should include at least the following information:
• name and email address of a contact person
• names of other people involved
• address of website for the bid
• approximate dates of the conference
• structure (e.g., k workshop days and n days of presentations, excursion, etc.)
• advantages of the proposed venue
• estimated costs and registration fee
The deadline for bids is Monday, 15 April 2024. Shortly after, all admitted bids will be made public and the
voting phase will take place. The people eligible to vote are those who are seriously considering attending FroCoS-ITP-TABLEAUX 2025. The voting system used will be single transferable vote between all received bids.
FroCoS-ITP-TABLEAUX Steering Committees
- [Coq-Club] Call for Bids to Host FroCoS-ITP-TABLEAUX 2025, Magnus Myreen, 02/16/2024
Archive powered by MHonArc 2.6.19+.