coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Ayoun, Sacha-Elie" <s.ayoun17 AT imperial.ac.uk>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>
- Cc: "Raad, Azalea" <azalea.raad AT imperial.ac.uk>
- Subject: [Coq-Club] [TPSA@POPL25] Call for presentations
- Date: Wed, 30 Oct 2024 13:31:04 +0000
- Accept-language: en-GB, fr-FR, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=imperial.ac.uk; dmarc=pass action=none header.from=imperial.ac.uk; dkim=pass header.d=imperial.ac.uk; 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=8/RoyKtxruwQBa8UTZd0/RpgCbGZttsoCDU9N+dlLRA=; b=C8T7VfnTOMGl1fjYynvPx5jqHJujL2YlVt6yWJOkLxEVY7cAgYlcCSzGTEHBb4B4whOwgSOiG2BbXvA6Vyxma8eJrHkXvARP12StFKEm20gXlL9qtvff/3tAXz8NxsFxcbMP/pYXwXl9Udg8WyFk5Zt0VSF9HEGvZPMK7CO6o3RUmxG0lcRbgY3W2Q0Zb+63D8pWE3V5RqIzOrPh9283vgkVab99JvMW8az7A9H5UmmNS7ITBUmCMJ3xkAiphiMw49e2v6zNqCbbf/BGxnEiEtPrC/HiXkumyfUOkhVhdoMvOjIkwzk3OKNXKlmSMyz9bOYz82nzak7pHznfONVisQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=PQHYOdHdKRvsEjpZzX8kux34Gfg7DVMfp2gBffTVYX/MU2XMHlef34SE5VgEm124Y95sQAqbrcS7Bv4QiATaxp6UVzww9EBPxC755iDNArKsExvBcuQj+ZlvBqvZQ6eWgoLDorsGSzy65ka/SM0k0gMwWuN6h337xxQ86CPXP1hyIvaKLDYrGXFFbUt50vO23Dlv39x+NVMVKovfg7TxWlBxJvIdmxxYlfg7TQTZViskc7GF9QM4vgijP7MN7P10Fb5gneW5UGFEtjAp6GzFCTqeQyHXQ+br+693vMGVflqxNdlhFonsyJGFrZWZuQv7RsTmnEoAxA7ozv+D1BSDpQ==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=s.ayoun17 AT imperial.ac.uk; spf=Pass smtp.mailfrom=s.ayoun17 AT imperial.ac.uk; spf=None smtp.helo=postmaster AT smtphub1.cc.ic.ac.uk
- Ironport-data: A9a23:TDz32a2QfKb5AvWHZvbD5UR1kn2cJEfYwER7XKvMYLTBsI5bp2YHy WpLWWmEMqqMZGbwL4siOo+1pk5UupfWmt9qSQVq3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8glaYDkpOs/jf8Us05Kyo0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJWyfjmP9rVE0fAag35O12GG5o2 N8gay9YO3hvh8ruqF66YvJpmtwjMcOyeogU/HBrizjSS+slKXzBa/yWu5kBg2Z21oYSQp4yZ OJBAdZrRA+GagxIJ1FOV7o/mf+lnHj2d3tRoxSIpsLb5kCKlFQqgeO9bYe9ltqiavdnn0WFl 0j/xzqoLUxKJdrc8xus2yf57gPItXimAdpOTODQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoAp8VCzTsT3BluzqziFtVgVUJxNEIXW9T1h1IKI7F2TAzAIZwJkR8IttdY5YxEJ7 hyWyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVZdizUEiNxq5i8jXupe/LiJYsrdNhuY/ txnhDM7m60TkMRSka6wu1HMxTun4IXKJuLU2uk1dj3/hu+aTNf7D2BN1bQ9xaofRGp+ZgXe1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323yoCb5J94PvGwnfx0B3iM4ldnBP Re7VeR5ucU7AZdWRfQfj3+ZUZp2kvC8fTgbfq+OMoEmjmdNmP+vp3w3PRLIgggBYWAtlLkyI 5aSdY6nCnIeBKtqhD24D/wW0LItzS122W7YRZb8yxOowPKXYnLdTLoJMVCPaO1R0U93iFi9z jqrDOPTk083eLSnOkH/qNdDRXhUdiJTLc6t9KRqmhurflEO9JcJV6SJmetJlk0Mt/g9q9okC VnnBBIGmAKg3SWaQehIA1g6AI7SsV9EhSpTFUQR0ZyAgRDPuK7+vP1NRIh9ZrQ96u1owNh9S vRPKY3KAe1CRn6Ds34RZIX05t4qPhm6pxO8Dwz8ahgGfrlkW1Po/P3gdVDR7yUgNHe8mvY/h LyC7TnlZ6Q/aT5sN+vsU8L3/WiN5SAcvMlQQ3r3JsJifRSw0YpydA30oPwFA+ANDhTh3jGq/ QKdBBMYr8KQo74krYDAlIGfjoKTC+AlNFFrL2rayreXNCfh4Wuox7FbYtuIZTzwUGDV+r2oQ Odok8HHL/wMmWhVv7pGE7pEybw04/3treR4yjtIMWrqbVPxLJ9dOViDgNdys5NSyo9juQeZX lyF/v9YM+6rPOLnCFsgGxo3XN+c1P07mijg0tptGR/UvBRIxbugVVleGzKuiyYHdbt8D94D8 Ncb4cUT71SytwouPtO4lRtrzmWrLEEbcqAZp5ofUZ7KiA0q9wl4WqbiKBTKubOBV9YdFXMRA G6wpLHDjLFi1Eb9YyINNXzS79F827UKmj53lWEnGXrYu+D4lscW3QJQ+wsZVg567AtK+MMtN 3lJN39aH7Sv/TBpj5IaB2uDG1hwBjCEyxbU1lI2sXDocGy1WlPWLUkWG+WEzGYG+U1yIxlZ+ 7C5zj7+cDDIJcve4Ao7aXRHmdfCE+Nj0xLkmd+2OfiFE70RQyvXsoX3aUUm8xLYUN4M3mvZr uxUzcNMQKzcNx9IhZYkCoOfhI8ieDrdKENsGfherb40R0fCczSP2B+LGUC7WuVJA9foqUaYK chfFvhjZiSE9hSlj24kXPYXArpOgvQWysIIeerrKU44orKvlGdVn6yKxBfupl0AYotIqtk8G LPzZjjZM223hFlooUHvgvRAGFKFZYgjWFWh8sGzqP4EBrASgtFKKEsS6Ia5j1+REQlg/i+Xg j/9Wr/r/7Rc7rpozqTREfRlJgSrKNnMevyC3yKtvv9vM97eE8f8mDkEi1vgPg1pZKQja/Zvp IuSre/I+V7Jg603d0v7mJCxMbZDyuvvfehQM+PxdGJ7mwnbUuDSwhIzwUKKAr0Xr8F8v+6JH xCZbum0fv4rA+Zt/mVfMXViIkxMGpbJYbfFjgLjifa1Uzw28xHNdfGj/l/XNVBrTDcCYcDCO 1WlqsSVx45qqapXD0U5HNBgOZhzJWHjVYYAd9HcsTq5DHGismidu4nNxAYR1jXWNkaqSMrKw 4rJZhzbRiSAvKvlyNJ4sYsrmjY1CH17o/c7f2ND2tpQpg25MlU7LrUmAc1bMq1Xry386sipL nWFJm4vEj70Ujl4YA3xqoarFBuWAusVfMz1PHo19keTcD27H56EHKAnzCp7/nNqYXH2+YlL8 z3FFqHYZXBdA62FRNr/ItSghPt/xu7QnzQD8gb8mIr7CFADAt3mEZCn8BVlDUT6/wPlzS0n5 lTZgUhFRVm2U0/4FYBpcDhIG3n1eRvxmi4wY37nLMn34u2mIS4p9BE7E+D2yrAZbc0OYrcFA 270L4dID6Z6xVRL0ZYUVxkVbWOYxB5F8gVW7EMueOHKo5yN1w==
- Ironport-hdrordr: A9a23:L5KWI6xEtypraX0fGCwTKrPxmuskLtp133Aq2lEZdPULSKOlfp GV8MjziyWYtN9IYgBapTiBUJPwJE80hqQFm7X5XI3SFzUO3VHCQr2KgrGSugEIdxeOldK1tp 0QOZSWaueAdWSS5PySiGPYc+rIq+P3lJxA8N2uqUuFOjsaDJ2IgT0JaDqzIwlXbk1jH5QYOf Onl416jgvlXU5SQtWwB3EDUeSGjcbMjojabRkPAANiwBWSjBuzgYSKXySw71M7aXdi0L0i+W /Kn0jS/aO4qcy2zRfayiv684lWot380dFObfb8xfT9aw+cxDpAVr4RG4FqjwpF491HL2xa0u Ukli1QfvibLUmhO11d7yGdnzUImwxelkMKgWXo/UcL5/aJCQ7SQvAx+75xY1/X7VEts8p717 8O12WFt4BPBReFhyjl4cPUPisa4HZcjEBS5dL7tUYvJrc2eftUt8gS7UlVGJAPEGbz750mCv BnCIXZ6OxNeV2XYnjFti03qebcFkgbD1ODWAwPq8aV2z9ZkDRwyFYZ3tUWmjMF+IgmQ5dJ6u zYOuBjla1ITMURcaVhbd1xCPefGyjIW1bBIWiSKVPoGOUOPG/MsYf+5PEv6OSjaPUzve4PcV T6ISFlXEIJCjHT4Je1rex22wGIRH/4RjjkwNxf4Z9i04eMO4YDGRfzOGwTrw==
- Ironport-phdr: A9a23:d8YWFBafk3owqtmLMFrgip3/LTEh2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wePB9WAoK8dw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTShbb9oM hm7rgvcusYWjId/N6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7gblFqxy9uRNw34/UYJmUNPVgeKPdYcgaTndFUspISiBNHp+wY 44JAuEcP+hXspP9qkMOoxWgGwSiGf/vxDFLiHDq0qI3yP4uHR3a0AE6A94CrGrYodPoP6kSS +C1y6zIwC3NY/5K2Tb975XIchY5rfqRQLx/a9beyUk1GA/cgVuQrY3lMC2b2u8QtGWb9PBsW vivim4gtgFxpCWjy8U3h4nIg4IV0k7L9T94wIkvId20UlR0bsK+HJtNtCGXLo17Sd4tTG90o ig10KEGuYKlcygQzpQq3x/SZfOFfoWW/x/uV+mcLzhliX9kZL+ygwi//0igx+DyWcS5zVVHo CpbntTCuH4A1gDf5MiaR/Zy+kqv2TiB2xzV5+pZL040kq/bJIQgwr42jpcTqkXDHiDumEXyl qCWcF8o+u+y6+ToZLjtu5ySN5dshw3jPakjm9azDfk6PwUKRWSW+v6w2bLh8EHhXrlHj+E6n 6fcvZzHOcgUvK+0Dgpa34o/9xqyCiqq384EknQCKV9JZQ6Lgo70MFzQJPD4EOy/g0iynzdx2 v7GP7zgDYvVI3TflrrqYKxz5FRGyAUpyNBS/5JUBa8FIPL0QkLxr9nYDgMhMwy03uboE8hx2 pkCVm2TGKOZMb/dvUWS6e0zOeWMeYwVtC78K/gj+fHukWc0lUIScKSox5cbdXK1E/B8L0iae 3bhjdUMHX8PvgUkTezqjFOCUSRUZ3a3R688/Ss3B5imDIfEW4CthqGN0SWgE51XY2BGEk6DE W3pd4qeX/cAcjidLdN7njwZVritU4kh2gq2uw/g17VnNvbU+jEftZ/7ydR5//fTmg0q9TxoE 8Sd1HmAQH1znmMRXjM5wKR/oVFmxVqYyqh5g/lYFcRJ6P9TUwc6M4Tcz+1gBNzoVALBZITBd FHzCN6hGHQ6Ss87694IeUd0Xdu4xFiX1C2zRrQRirajBZou86ua0WKnY44312fe2bJkhl8gR dZJPmCOgq9k6xOVHIPAiAOEj6usc+IR0DOHvDOf3HKDpwRRVgh3TKPOUFgbZ1DKtpLi60rZC aK2BLIhdAZN1JjRBLFNb4ijpERBWfGncO/XaGK43kq0BBvCjueXKoP7fHgbhXr1CU0cnhoS9 HLAPAN4GyT38DGWNyBnCV+6OxCkyuJ5sn7uCxZsl2liDmVk3ruxoVsOgOCEDugUxvQCsTsgr DN9GBC82cjXApyOvVkpZ71SNPU65loPzmfFr0plJJX1NOZrl1kDdV0ol0LrzxhtC4xE18Eh6 m4pn0JpMazN6FpabHuD2IzofLjeK2385heqPrWQ00DZzdDPpY8O7ew1sVTquEegHQw/8CYvy MFbhl2b4JiCFw8OSdTxX0IwogB9vK3fazIh6pn8znhwKampuGaE0NlvBeBjwx3mYtQ33LqsM gj0HoVaAsGvLLdvgF21dlcfO/gU8qcoPsSgfv/A2aixPe8mkij0xWJAqJtw1E6B7U8eAqbBw ooFzveE3wCGSya0jVGvtdrykJxFYjdaF3S2yCztDopcLqNoeoNDBWCrKsyxjtJw4vylE2Ue/ U+kGlVfh+eofAKfdV302UtZ3gIKoj3vmCe1ySB1jyB8trCWj0msi6zpcBsKPHIORXE31AuyZ 9Hr3pZKGhT3PG1L3FO/6E33xrZWvvF6JmjXGgJTejTuanplSu22v6aDZMhG7NUptz9WWaKye wP/KPa1rh0E3ifkB2Ybyio8cmTgodPwjhtnjjvCBHd2tHfDeMh0gx7UosHfD600vHJOVGxjh D/bC0LpdcLv9MSTipGa7ci/UnqsTJxadW/ixsWdt2HogA8iSQ36lPe1lNr9FAE82iKuzNhmW xLDqxPka5Xq3aC3WQ5+VnFhH0S0q89zG4Ul15A1mIlVwn8CwJOc4XsAl273d9Rdw6P3KnQXF 3YHxNvc4Q6t30MGTDrB3MTwR3KAxJI+T9i/em4M2ys5qclBTrqXpLBJhip6pFOkoBmZOKQj2 G5CmL1+riJFy+gS8BIg1CCcHqwfESw6dWT3mhKE4sr/5KRbaWCzcKShgU93nNSvFraH8UlXX Hf0fItnHDclt5khdguTgTujrN27K7yyJZoJuxaZkgnNlb1QIZM1zb8RgDZ/fHn6pTsjwvI6i hpn2de7upKGIiNj5vHcYFYQOzvrascU4jyog7xZm5PcxMamD5J8HGxUdJrtVf+yETsW8/3sc RuNWm5ZyD/TCf/EEAmT5V0z5WmJGoGsKnfOe1EYyM1vXhiUIApWi0YJX39p+/xxXhDvz8vnf kBj4zkX7VOtsRpAxNVjMBznW3vergOlOX8kDYKSJx1M4kRe9l/YZIaAu/lrEXgSrfjD5ESdb 3aWbANSASQVV1yYUhr9a6K264CI8vDEVLPicb2XPuTI+aoCD7DSlPfNmsNn52reb5TVeCA/U btihBAFBTcjS4zYg2ldEnBJ0XuSPojA/lHgomot/6XduLzqQF69vNrVTeIPb5M2pUrw2PnEb b7YhT4ne2xRjphemHXDkOpPhAxL03E8JWX1Vu1a6EuvBOrRgvEFVRdDYHEuPsAQvfJkjFBAY ZyJzY2pnr9g0KxvAg9OBwHrkZn7NZxYejnkZgGbXAHSbunjR3WDwtmpM/m1EbYC0e9f70/g6 WTCHhexbHPdy3G+XhSre4mglQm9OxpT8MG4exdpUi34Sc7+Lwa8KJlxhCE3xrs9gjXLM3QdO H5yaREFqLrY9i5ejvhlfg4JpnN4MemJnTqY5OjEO94Xt/VsGCF9i+Nd5jwz1bJU6ChOQPE9l jHVq5ZipFSvk+/HzTQCMlIGsjFQmIeCpllvI43C84VYWWvOpVQG5iORAFIDrJ14CZynuqxdz MTOiLOmKDpG9IGxn4NUDMzVJcSbdXs5ZEO1RniNU1pDHXj3ajK65QQVivyZ+3yLo4Jvr5Htn MFLUbpHTBkuEetcDE15HdsEKZMxXzU+kLfdgtRbgBj25BTXWsheuYjKE/yIBvC6Yi3fhKhDe h1Rnpv5KJweLIzy3wprYR9nn86ZfiiYFcAIuSBnYgIu9Q9V92NiS2Qox0//Qhio/GcTCPTt2 BU9zAp1J+0msirvqQRSRBKCtG47l08/ns/giDaafWvqLau+aopRDjL9q0k7Np6Tq+ldbAiqk FZlPTOCTrkXkrgyLAiDbSfdvINCA/9VSetNa1kNxqPPDx3J+U9Ztj2n2EUeo+DOT5pp0gIhN 4Ov/Soo5g==
- Ironport-sdr: 6722351d_5UwV+0PLN1sIXECdcYfXUAfm4Dkrx9M6tKBxiaZNzf25TIx LJyHwlvdBv0xrzJkJarskvgpnYbrDVMm7Lrb7MQ==
Hi everyone, |
- [Coq-Club] [TPSA@POPL25] Call for presentations, Ayoun, Sacha-Elie, 10/30/2024
Archive powered by MHonArc 2.6.19+.