Skip to Content.
Sympa Menu

coq-club - [Coq-Club] [TPSA@POPL25] Call for presentations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [TPSA@POPL25] Call for presentations


Chronological Thread 
  • 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,

The workshop on Theory and Practice of Static Analysis (previously Incorrectness workshop at POPL24) has its call for presentations open!
Deadline is Thursday Nov 7th (website is to be updated with the correct deadline). See call at: https://popl25.sigplan.org/home/tpsa-2025#About

Cheers,
Sacha



  • [Coq-Club] [TPSA@POPL25] Call for presentations, Ayoun, Sacha-Elie, 10/30/2024

Archive powered by MHonArc 2.6.19+.

Top of Page