Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Last CFP and deadline extension: PPDP 2024

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Last CFP and deadline extension: PPDP 2024


Chronological Thread 
  • From: Alessandro Bruni <brun AT itu.dk>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Last CFP and deadline extension: PPDP 2024
  • Date: Mon, 6 May 2024 18:07:11 +0200
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=itu.dk; dmarc=pass action=none header.from=itu.dk; dkim=pass header.d=itu.dk; 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=H5oJTfHExUzdZUquWY+zHv6p+iCjRMKS6SC2/RhZPIs=; b=WN564y3rAKMb51TA4WiqhlC9USQ14flxixOm1uM3CRnr2IWZ/LZzosBZizPbup4xfJQdOdj/TilsA4soLJ2RKZvkUHLPrv3YkAG1SeIeogkwUo1MWqtNk/Vre8FNKqWAtHy9CFOCPU/8M3Gl4b5CNE2QPCnJJbzA/pxeh830ECG9OdY/W3DsnQlfdgkx+aCWwOJtsJSVjtg0EqAyAzU2QVrMWYONdCDIzjm67hq3Otm+p/ByoV5WBuM5SmzJNwhInUIXBFPmiq0vMdhnJr/+bVt10MnIjmTSZxHPtX/1/0mUEEWmcNGP6Oy8EeDoli/zMWE3316AviN2k09Z5RLxuQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ZNxGaLVapRVunz7QJgD2MBClBKNVAEV0tZ2S2Iql48NCzuDLkn5084jrcEW3ZJWXU1ZrsvTR2mFTMDGqOrUruLuUH+/1GcNNFMDacYuN+Js/yKRWbJDeKL5B8yZyvqzshrXxehqKsk/pLsN9Xx5JzBInVfcwbSus6hd+crGp1NIdSWfwPTTCz81qa7qG7ifgyE7HW0Ir0MS9ZvmAW/qRLq1afge+BP57VTlc7ux/pDVseLAtNhHNQY2QIwgftA4GTJUdHRl1lf4XyTWLgiAuYTmZloMMW90qeXrDOVbbOz+v2Em53lzHWXdghVwtBRByknwBLQgqMxX3Qpqlv2WCFQ==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=brun AT itu.dk; spf=Pass smtp.mailfrom=brun AT itu.dk; spf=Pass smtp.helo=postmaster AT EUR04-VI1-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:ywHKTaqEFvgLUvY7hQkOKY352O9eBmKEbhIvgKrLsJaIsI4StFGz/ 9d8aN20Sq3IJzzrPYogWDmFhRwCsZSAmtE1SVA4pHpjRSgV+ZXLCY/EJRagbnrJdZDJEBlp5 plBO4SYdspkR3TS+Uaja+O6o3Mm2/yDFuGkBOCs1kydPeNBYH5JZUVLwbZk6mIRvfC5Hx+Vo oG15MTbNUS+0jh4KGUe8b+FqVVptfH/0A/0xWfSGc12lF/Ci2EOXtVYKKf3LmflBIVXdtJWP N0vhYxVhEuCuU9FN+6Yr1rbTqErauKNZVCH0ScHBKap3BEZ93xsif4xaPRDYBcJ02TVw4Au4 dgc7pbYpSUBbvSdwrxFO/V7O3gjZvMeoOevzVyX65H7I5juKiO0qxlWJBhqe9deoI6bOEkWn dQAMjcBcxufsOy/xbO/W4FEi98qRCXRFNp3VkpIk3eBUp7KfbiZG/+WvYIAgm9p7ixzNa+2i /QxOWIHgCvoOEUn1mc/UPoWgOquj3/jRDxUwHr9SX0fvgA/ZCQouFTcGIK9lu6iHa25rW7Ez o7yxFkVNzlBXDCpJZVpxVr37gPHtXuTtIv/j9RU/NYy6LGY7jR75BH7yTJXCBR246Kzc4s3F qAaxsYhhags0n2zc+bHYzyfjlWolDIna/hxNsRvvWlhyoKMi+qYLkU5dGYdLeIH7YoxTzFs0 UKVldT0AzApqKeSVX+W6raTq3W1JDQRKmgBIyQDSGPp4fG/+Mdq1k2JHpA6S//dYt7dQVkcx xiAtjU4r7QPkIgH1M1X+Hie3W7z/MWYE1RdCgP/TEWr1TtQVJeeeonx7HbJ8fFcK6O2UQzU1 JQDs5PFtrxRZX2XrwSGR/xIF7W07d6eITjEiBhuGYMg/nKj4RaekZt45Th/IAJ3M58JZCWxP EjV41oKtdlUIWegarJxb8SpEcM2wKP8FNPjEPfJct5JZZs3fwiClM1zWaKO92Dztnk0rJ4FB ba8X+2AJ1ohOYZG6RPjEo/xzoQX7iw5wGrSQ7XywBKmzaeSaRappVEtYATmggcRvPLsnenFz +uzIfdm3D12bIXDjsT/9IcSKRUULCE2GIqu98tRLLfYc0xhBX0rDOLXzfU5YYt5kq9Jl+DOu HagRktfz1m5jnrCQelrVpyBQOOyNXqchSthVcDJAbpO8yV4CWpIxPpBH6bbhZF9qIReIQdcF pHpgfmoDPVVUSjg8D8Ad5T7p4EKXE303F7fY3L8P2FhL8UIq+n1FjnMLluHGM4mX3LfiCfCi +H5iV+zrWcrG1o9UJ2GMKLHI62Z5CFHwrMsN6c3HjWjUB63qtQ1Q8AApvo2KNsLMhLN2nOR0 ByOaSr0VsGcy7LZBOLh3Pjex6/wS7sWNhMDQwHzs+zqXQGEpTHL6dEbD461kcX1DjmcFFOKO bwJnpkR8ZQvwD53jmaLO+wwl/1gvYOy+eYyI8YNNCyjUmlHw4hIehGutfSjfIUXrlOAkVLuA hzdycoQIriTJsLuHXgYIQdvPKzJ1ugZlnOWpb45KVnzrn0/treWc1RgDz/VggxkLZxxLNwEx 8Uls5Uo8ACRsEchHeuHqSF2zF6yCEI8fZ8pjbwkJbP6qxEKzwhCaKPMCyWt75Cobc5NA3YQI TSVpfTjhIpi+0jrK14NJ1ro5rNDtJEzpRoR8gczIgXQkN/8m/QX/gNd3go1QitR0B9Gjvx/C lJwPRckP4GL2Sliv+lYfmWWAwoaLgaoyk/w7FoolWPiUEijUFLWHlA9Ieqg+EM48XpWWypyp ZW06T/Cein7WtPyxQ4wVlxVkOPiRtlP6QHyosCrMMCbFZ0cYzC+oKuRSUcXihngE+UjrVbmo LR0weNOdqHLDy4cjKklAY28175LahSlJnRHcM5x7pEyAmDQVzGj6wegc3nrVJt2GMXL1kukB +hFBMFFDU2+3RnTiAErP/cHJrsskcM54NYHRKjQGlcHlLmitRtsjoPb83nvpW0sQug2q/0HF KHqS2ugHFCT1FxuoE2ciOlfO2G9X8sIWx2k4sCx79cyNswitMNCTBgM94Wa7lSvHilpxRa2h D/4RrT3yrViwLt8noG3HaRkAR61GOzJV++J0V6SttAWYeiSMs7flhg0r2P/NF98JoohWNVQl JWMvuXo3UjDgq0EbmDBl7SFFIhL/c+XXtcLAvnoLXJfozSOaPXs7zQH5Wq8D55Dy/FZ2eWKW Cq6b5GWWeMOetIA2kBQVTdSIywdB4vzcK3kgyG39NaIKxoF1D34PMGVzmDoYU5bZx03FcXHU CGsgMmX5/dcsIhoLz0HDas/A5ZHfXnSaZF/fNj17TSlHm2kh22ZgYTblD0i1CrqD0eVG8Or8 LPHQRnDLC6Jgp/q9+0AkYJOvUwwNk1f0M0QZUMW/uBkhw+qVFAmKfsvCrRYK5V2vBGr6rTGS mDjUG8QBx/5fwx4SjTnwdG6Xg6gFu0EYdj4AToy/nKrUSS9BaLeIb5lritbvnR/axr47eSdM dpF0GbBDhuw5ZBIROgo+f2wh9l89M7a3n4l/UPckdT4JhQjXYUxy31qGTRSWRz9E83ikFvBI U43TztmRH6XZFHQE8E6XVJoAzAc4S3Sygs3YRe1wNrwv5uRyMtCwqbdP8DxyrgyU9QYFoURR H/YR3q/3E7O4yY94ZAWgtMOhbN4LdmpHcLgda/qelA0rpGKs28iO5sPoDoLQMQc4zVgKlL6l AS3wn0AFU+AeVFw2rqX9F0zwKhPcEkwVhPHsA2uggX9s00J/4CMMVzihgf2Mor5pKXfrl1VC mVaJlqYp1qN8iDov39iv/AcvUaKGtwVCWKCaC0zU5fuiV25fQexzly6P50SjLq9MUGox7m4s I687u9lpMeZf3rK2Arp2tAEfrJgsrENXBwZjKPk9w5qEd32057nd9G+KfCxSQN6bdReRwEay sOKA7DAIVu+jOWTdmUNVw7tp1hU66ilkb47gLn6Jd4PoaeSi/DzhLbhiTRDu21quWGpVJqeK knSiRp+/dDbPnm1AvVtbp0EHkg0NA6gGoUNRqcpCbNP65W6xg==
  • Ironport-hdrordr: A9a23:F1Is56z7ndxksU/7jahPKrPx6OskLtp133Aq2lEZdPULSKGlfp GV9sjziyWetN9wYh4dcKO7Sc+9qBLnlaKdhLN8AV7MZniFhILFFvAH0WKA+UybJ8SdzJ8/6U 4IScEXZrzN5DBB/L3HCWKDYrEdKbe8gdmVbKvlvhJQpVYAUdAZ0+41MHfoLmRGAC19QbYpHp uV4cRK4xKmZHQsd8y+Ql0IRfLKqdHnnI/vJUduPW9S1CC+yReTrJLqGRmR2RkTFxtJ3LcZ6G DA1yj0/L+qvf2XwgLVk0XT85NVst38zcYrPr34tuElbhHXziq4boVoXLOP+BgzveGU8V4v1O LBph8xVv4Dmk/5TyWQm1/AygPg2DEh5zvJ0lmDm0bupsT/WXYTF9dBrZgxSGqQ12MQ+PVHlI 5b1WOQsJRaSTnamj7m2tTOXxZ20mKpvHsZl/IJhXA3a/pWVFZol/1UwKppKuZMIMqjg7pXXN WGTfusksq+SGnqJEww5QJUsZORtndaJGb5fqFNgL3a79FspgEH86Ip/r1jop4+zuNAd3Bl3Z W1Dk06rsA8ciZRV9MLONs8
  • Ironport-phdr: A9a23:D+E6YhFeD9h22gkj9WJwIp1Gf4dFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k33RmTB9uQuqwMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmj6wbalsI BmorAjduc0bjIp/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d/i79VoA+6pxxn3YHbfJ2VOvR5fqPYZ9waRGxBVdtVWyFOBo6wa o0CBPcDM+lFtYnwv0cBoxiwCwaiBO3h1yFGiXDt0K0/z+gsCxvL0BA+E98MtnnfsdX7NL0VU eCw1KTF0THDYO1N2Tfm8ofIdA0uoeuLXbltbMfR01QvFwXEjl6NroHqJCmV1vkLs2WA7upgS f+vh3Q6pAFyuzWiwNonhYbViIwP0F/E6Tl5z5gvJd2+UEN2Yd+pHpReuSyUOYV4QsIvTWFot Ss7y7ALtp62cSwLxZknxxPTdfiKf5WM7x//SOucLip0iG57dbyxmRq8/latx+vhXce611ZKq zBKktjKtn0V2BzT69SHSvtg/ki6wzqP1gfT5+dZKk43jarWM5EszqIqmpYOrUjOHDX6lUbsg KOLeEgp/vCk5/rmb7n6qJKRMpJ4hh3kPakvn8GzHPg0Pw0QU2WU5+ix0bju8VD5TbhMk/Y7j K3ZsI3BJcQHuKG5GRJb0oci6hmhFzqqzNIVlmQdIl1fYhKIlY3pNknOIP/mCfe/hEyhnjhly P7aIrHsDYzBIXfAnrv8ZLp97FVTxxQpwdBY+pJUFqoOIPXuWk/3qdPUFAc5Mxazw+b7Ftpyy p8eWWOIAq+fKq/StkKI5v4rI+mLY48VuyzxJOQi5/7rlXM5mFkdcre13ZYPZ320Au5qL1iFb XfumNsMEn0GshcwQeHukFGCVCRcZ3e2X6Iy/DE7D4emAJ/YSYC3nbyB2jy2HpxKZmBbEFyDD HToe52CW/gXcC2SONNukiQYVbi9TI8szQyiuBfgy7V7NurU5jEYtZX72ddp4O3TjAg++iBwD 8SAyG6AVHp0n2MNRz8uxq9zu019ylGZ0ah5mfNUD9JT5+kaGjs9YJXb1qlxD834cgPHZNaAD li8Efu8BjRkZ9Y82MQHZUpnHJ2IlA3F3mL+CaUIkZSKGIFy/qGKjCu5HNp013uTjPpptFIhW MYaaTzObs9X8gHSA9SMiECFj+Owcq9a2ifR9WCFxG7IvUdCUQc2X7+WFWsHaB7wqtL0rljHU 6foEa4uZwFb1MiqK7dXLNHq3h1dXPm2AN3FeCqqnnuoQxOBx7eCdo3vLm8HwSP1CVQZ1QwQr j6dLQZrPi66uCrFCSB2U1LiZ0S56e5ltHayVVM51SmnUnc5i/+L20dQgvaRDfQOwrgDpSEt7 S1uG0qw1M7XDNzGoBd9eKJbYpU251IvOXvxkQt7M9TgKqljggRbaAFrpwb00B4xDIxckM8sp XdszQxoKKve3kkTPzWflYv9PLHaMAyQtFimdrLW11fC0d2X5rZH6fI2rE/mtR2oEUxq+mtu0 t1c2X+RrpvQCw9aXZX0W0cxvx90wtOSKiMn+oX81GFxd6W383fD198vGOo520O4Zd4MeKiAF QL0D4gbH53ycKpzwwfvPlRdZ7EBkcx8d9mrfPaHxqOxaeNpnTb8yH9C/Jg4yEWHsSx1Vu/P2 Z8BhfCexAqOETnm3zLD+oj6n55JYTYKEy+x0y/hUcRbfLB0VYcXFCGiIIfkjsU7nJPrV3NCo RSpHU4A8M61ZFyebBauuG8YnVRSqnuhlyyiyjVymDx8tauT0hvFxOH6fQYGMGpGLIV7pW/lO pP8z9UTXUzyKhMsiAPg/0Hxga5SuKV4KWDXB0ZOZSn/aW94AOO8sb+LYsgH751N020fWv6hZ 3ibVqO7rxhS3y74HmRYzSw2bHn24tOgx0M82CTEdyc7pWGRYcxqwBbD+NHQDeVc2DYLXmgd6 3GfB1SxOcWo4cTBkp7Ctu6kUGfyHpZXcCTt0caBrH7nvSszWUL5z7bqwYy0dGpymTX23NRrS yjS+RP1Y42xkr+/LfoiZE5jQln198t9HIh61Io2npAZn3YA1fD3tTIKl3n+NdJD1Ofwdn0IE HQB2cPTyAn5xQtvLTjaj5K8TXibzsZ7MpOweH4Q8iMh8oZGC+3Hid4M1TswqV2+owXLZPF7l TpI0voi5kkRhOQRsRYsxCGQUfgCWFNVNiv2m1GU/siz+e9JMX23f+H6hy8c1ZixSauPqQZGV DPld4c+SGVuu95nPguE0WWvuN28PoiKK4pV7lrNzl/Bl7QHdMp3z6JVw3IhYSWk4xhHg6Y6l UA8gMv85dDfbT0rpOXgXlZZLmGnPptPvG2yy/4YxoHPgMiuBsszQDxTBcmxFKv6Hm5K7aa1c FredV904naDR+iFFFfGuh4/9iDBT8jwZSPQeChRzM08FkOUfBUN2VlNDjtmxsVrRljynJ6zN xogg1JZrl/g9EkWw7oxZUCmCzXR+F/zODxsEMDNfl0Lt0lD/xmHa8XGt7AqRngK8MH5916Dc jTDNVYPUDtBH0WAAxqL0qCG3dDb6KDYA+O/K6GLerCSsalEUPzOw5uz04xg9jLKN8OVP3AkA edpkkZEWHl4HYzelVBtA2QPkDnRaseAuBqm0gBKlJjjtcrKAUfo74bJDKZOO9Jy/Rzwmb2EK +ObmCd+L3Bfy48IwnjLjrMY2Ttww2lieiKsHrIJqSPWBP6I3PYPUFhLLXooZYNB9Ook0xNIO NLHh9+9zbN+gvMvSh9EWVHnhsC1dJkKLmW6ZzalTA6AMLWLIyGOwtmiPfv6EOUPyrUS7kbh6 lP5Wwf5Mz+OlifkTUWqOOBI1mSAOQBG/Zu6eVBrAHTiS9Tvblu6NsV2hHs42+5R5DuCOGgCP Dx7a04IoKeX6HYSiO9iHURA8mcjIerOyEP7p6HIb40bt/dmGHE+j+VB/HEz0KdY9glpecYtx G7sj4crpFur1O6S1jBgTRxC7C5Rg56GtlljPqOf8YRcXXHD/1QG6mDaWHFo75N1T9bova5X0 N3Gkqn+fSxD/9zj9swZH8HIKciDPSlpIV/zFTXTFgdAUS+zODSVmRlGiP/LvC7wzNByut32l ZEJULMeSFElCqZQFBF+BNJbaJZvAmF4yfjK1ohQoyL59USZRd0G7MyfEKvKXrO3bm7e1OchB VNAwKukf9lJcNSjgwo6LAE9xdiCGlKMD4kV/ms9MUls5h0KqSc2T3VtiRjsMlr/uSZKR/Dox kZk2EwiMYFPvH/t+wllfFOS/XlpyRBjl4m92mLDN2KgZKaoA9MMAnKt5RFoa8H1H14uP13qx RQ2ZnCZHtczx/NhbT450gaE4MkWQKcOQ/EcO00bnanPNadvjA0Uqz35lxVOvbKXUMI7xgV2K cX+oSoYg1AxK4NvbenZIK4DprC/rqOSo2mk1bJoqOf7D0cR7SWee3xQ0KTpHpQbHXL0u9JNs EmFkTYFf3UQXf03pP4s7lk6J+mL0yPn1fhEN1y1MOucaaievjqZ/fM=
  • Ironport-sdr: 66390063_GI0GPFXqCTdlDc2bepKZQOofQogZ9jl1Gcv9rjI41c4UdRI snsGbTBTQEDabYaWPanbXmtgowvaBU/KW05B8xw==

The 26th International Symposium on
Principles and Practice of Declarative Programming

Part of FM 2024 and co-located with LOPSTR 2024, FACS 2024, FMICS
2024, and TAP 2024.

September 10-11, 2024,  Milan, Italy

https://ppdp2024.github.io/

Important dates:

- Title and abstract registration: 15 May 2024 (AoE)
- Paper submission: 22 May 2024  (AoE)
- Rebuttal period (48 hours): 28-29 June 2024 (AoE)
- Author notification: 5 July 2024
- Final paper version: 24 July 2024

The PPDP 2024 symposium brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint handling programming
paradigms. The goal is to stimulate research in the use of logical
formalisms and methods for analyzing, performing, specifying, and
reasoning about computations, including mechanisms for concurrency,
security, static analysis, and verification.

Submissions can be made in three categories:

- Regular Research Papers,
- System Descriptions, and
- Experience Reports.

The PPDP 2024 proceedings will published in the ACM Digital Library
within the ACM International Conference Proceedings Series.

Invited speaker:

Ilaria Castellani, INRIA

Program Chairs

Alessandro Bruni, IT-University of Copenhagen
Alberto Momigliano, Università degli studi di Milano

Program Committee Members

Amy Felty        University of Ottawa
Kaustuv Chaudhuri    INRIA
Cristina Matache    University of Edinburgh
Małgorzata Biernacka    University of Wroclaw
Gabriele Vanoni        Università di Bologna and INRIA Sophia Antipolis
Niccolò Veltri        Tallinn University of Technology
Marco Gavanelli        Università di Ferrara
Marino Miculan        Università di Udine
Roberto Casadei        Università di Bologna
Yannick Zakowski    Inria
Carlos Olarte        Université Sorbonne Paris Nord
Frank Pfenning        Carnegie Mellon University
Anders Schlichtkrull    Aalborg University
Paola Giannini        Universita' del Piemonte Orientale
Wen Kokke        University of Strathclyde
Paul Rowe        The MITRE Corporation
Xuejing Huang             University of Hong Kong
BEGIN:VCARD
VERSION:4.0
N:Bruni;Alessandro;;;
EMAIL;PREF=1;TYPE=work:brun AT itu.dk
URL;TYPE=work:https://alessandrobruni.name
URL:https://en.itu.dk
TEL;TYPE=work;VALUE=TEXT:+45 72 18 51 63
END:VCARD


  • [Coq-Club] Last CFP and deadline extension: PPDP 2024, Alessandro Bruni, 05/06/2024

Archive powered by MHonArc 2.6.19+.

Top of Page