Skip to Content.
Sympa Menu

coq-club - [Coq-Club] [PPDP'2024 CfP] The 26th International Symposium on Principles and Practice of Declarative Programming Call for Papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [PPDP'2024 CfP] The 26th International Symposium on Principles and Practice of Declarative Programming Call for Papers


Chronological Thread 
  • From: Alessandro Bruni <brun AT itu.dk>
  • To: undisclosed-recipients: ;
  • Subject: [Coq-Club] [PPDP'2024 CfP] The 26th International Symposium on Principles and Practice of Declarative Programming Call for Papers
  • Date: Wed, 20 Mar 2024 21:26:17 +0100
  • 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=jNiMeI/1OppAkljbOpjuWvDi/s8rGtnPWJXHGwxSKqY=; b=IKtp6bSKNQfo7oqjF4bd+4K/p7HFn9djDk8akcephXF8P3TTPKYZ+tseS5Z8xuekIuKs7Oc0UOJDMlWB/JDs4KMphg28l41r8Sgfz5R4H+GRX7E1hV1y1XwvkVIFSWlfuowNIELRrbs2YbaMWAMOm3pNyUVJzWvEInqOzisKzTaKc+Dyubv7K5StFn1k1py/XE9ctBsKqrH+1bXhVAssYJ5DDJwU226Yx1Y5+Wkoipj1fPK0KZpeyQWGfk1EEK3sKFM2j99tZ+xAXUDkR/mfYCPM0OzXW9GQjyehzYerzbxUxSX/anYw+bjV2kUawE9INHkUcuQf8jJxjw+CyPh8EQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=gWokXtKfPWyIJEH5btxVfwfj/cmUsu5sHAnQN7981lCZo/a1cyNgiaKwiPx9/mlLxgothOWN3PnT/mYYKzfvPzbFqcVj32IctIUU0eFKNPd3LSbu2EZqcAT0qIFqfkDbFJdoR5eq8+grCnYQYaY+zMeV98Sb0sqonRogQcltE/CM1GLYGNGwxPhPm61kgpQ567AECHPulC2782wEk6JeLLbs8+hZCL1s6u0RdKpKWwagkSTOWc6JTY37o+nOsvM+k3aURHQ9SlwU9zMysu1uvKuyMy7DCY/mxErSoTp1XNyz1aFgJp/HJSyEFSlgGdcTV1pwBGkLkxHjbNEVzsHhzA==
  • 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:PdgM8KxPYTuCazBwqDZ6t+ekzSrEfRIJ4+MujC+fZmQN5Y9B5oE1v jBdHDeYfKzcUtbGC49yYI/joU1QuMSBx4U1GgBrpS5jQykXopuVVI3CdRr6Y3icJ5GcHR8/t c9OY9LOc5E6FySHqB33POXq/SIk2a/gqtYQcALhEnkZqVhMEn984f4ap8Y5npJwmor+RAqJt MjpqsvTIlivwSNyMyQS4qeOwC+Dx88exA4lllwieehQ7hiZmn9TDY4CY62yR0cUObK4V9NWP c6YiunRw17kwvsNNj+Euu2qfB1QG7WIYlWE1XYGA/Ou3xIb+3Nui61laKAWZ0sGojjYxNoZJ Pdl5cXhE19xVkHvsL1ACEcAS3kW0YluouKvza2X6JTLp6H+WyKwha8oVinaBKVAks5vG2ZC6 PcEHz4EaxGHloqezamyIgVWrp1LwPLDYsVH5RmM8RmDVax6GcuZG/2RjTNl9G5Yav5mTa62i /UxMmIHgCToO3VnJloRAZQiq+ak7lGXn+pw9Tp5DYJui4Ti5FQZPIrFaLI5SfTWLSlhpXt0k 0qdl4jP7r72A/TEodaN2irEauYiBkoXUqpKfFGz3qYCbFF+WgX/ofDZPLe2iaDRt6KwZz5QA 2060Bc2sqcIzhaEbvzRfCbinFyFrAFJDrK8E8VigO2M4ofp2V7FQ1YlF3tGYtFgs9IqTzs30 FPPh8nuGTFkrLySTzSa66uQqjSxfyMSKAfuZwdYFU1cu4al8Mdi0nojTf47eEKxptfvBDfYw iyX6iQ971kWpZdWiPvqpwqX0lpAoLDFSzAY2RrvXFi90R4gOc2kbZyot0biuKMowIGxFQLb4 Cdsd9KlxOsJFNSGkDGHaP4cGamgofeDKjzVx1B1d6TN7Byo8n+nOJ5RuTxjPh81NcBeIW61J kjOpQlW+ZlfemOwarN6aJ6wDMJsyrX8EdPiVbbfad8mjoVNmBGv3Q9EWFaP0FrXymcMtI0cA s2nU8e+EiNPYUh49waeS+AY2L4t4ykxw2LPWJz2pyhLN5LONRZ5rp9VYTOzgvAF0U+SnOnC2 /9jX/ZmJj1aWez6JzfWqIMONwhWKn5hXcGq7ctKauSEPwxqXnk7DOPcyq8gfIojmLlJkuDP/ Te2XUowJLvDaZ/veV7ihpNLMemHsXNDQZQTYHNE0bGAhiZLXGpXxP1DH6bbhJF+nACZ8dZ6T uMeZ+KLCelVRzLM9lw1NMak9N0/JUj12VLVbkJJhQTTmbYxH2QlHfe1JmPSGNUmVXTp5aPSX pX8iFyHGspbF2yO8u6HM6/3ljtdQkTxaMopBBGUfbG/iW3p8YNwLDf2gON/KMYWMX3+Ksiyh m6r7eMjjbCV+ecdqYGX7Yjd9tvBO7UkQiJyQTKAhZ7obnayw4ZW6dQcOAp+VWuADD+cFWTLT bk98swQx9VYww8R6NMsSewDIGBXz4KHmoK2Bz9MRB3jB2lHwJsxSpVf9ZAX7vMf9awTogasR EOE9/9TPLjDaouvE0ccKEBhJq6P3O0d0Guap/kkAlTI1Aku9pq+UGJWI0atjg5ZJ+BLK48L+ 7oql/MXzA2dsSAUFOi6oBpazEmyC0ARcr4Gs8gaCbD7iwBwxVBlZ4fdOxDM45qOSottMXcUH z293I78tZZ5/RPcQn8OCHKW47JsgMVXshVz0VQiBUqFteTHitAzwhdQrCo7fj5OxE8WycZ2H HZhDGxuBKC05zwzrtNyb2OtPABgBROi5U36zWUSplDZV0WFUm/sLnU3HPSkpWQ10jt7VSdK2 qOb00PnXiTaR97w1S4MRkJVkfzvYthv/Ankmsr8PcC6M7QlQDjikIm8THEprkb5PMYPm0H3n +lm0+JuY6ndNyRLgakaCZGf5IsAWiK/O21ObvFwzpwnRViGVmmJ5gGPDEStdudmBf/Aqxa4A vMzAPN/bU210SLWow0LAaIJHaRPo8cow9g/YZLuG38NtuqOjzhusa+IzBPEuk0Qf4xMn/o+e 6TrTBDTNkyLhHBRpX3Bk9kcBEq8fus/RVPd2MKbzbw3Mqwt4cBWX2M86L+Wh0muERBG+kuUt TzTZqWNwO1Fz59trrTWEa5CJluVLNerWN/V8wmiks9vaOnXOpzkrDIlqVjAPiVXM4AOWt9xq 6+/jd7v0G7Bv5c0S2r8maTdJ5JW5M63YvVbAvj3IFZegyGGfs3muDkHxEyVNr1Ll4l7yvS8Z g7ldva1S8EZa+1dyFJRdSJaNRQXUIbzT6X4oBKCv+a+MQcc3SPHPeGY2yfQN08DTRAxOrr6F gPQkNSt7IoBrI1zWTk1N8s/CJp8eFLeSa8qcuPqjgahD06qv0ijv4Xznh9x+BDJDXi5SPzB2 6znfSSnVhqOu/Dv9up74qhSpRwcCUhvjdYgJnw9/8FEsBHkLWokA9lED7A4JMB6rijA2qv8R gnxV0o5KCCkXT17YRT2u9vieQGEB90xANTyJx133kaQMyuNWYCJEZp61yJa+3wtUCDS/OKmD tA/+3PLIRm6xK9yd9sT/vCWheRGxOvQ43A1pXDGjM35BigBDYUw1HBOGBRHUQrFGZrvkHrnC HcUR2ceZm2GUm/0TNhdfkBKFCEjvD/AyysiaQGNyo39v6SZ1Ohx9+3tCdrs07EsbNU4G5BWf CnZH1Cy2mGx3mAfnYALuNhz2K99Nq+tL/iAdaTmQVUforG05mEZJPg9pCsoTvw52QthAljYx yiN4X8/ORy/E3pv+oaqkCcHx5EgdUg3LWD5vFaq73uO2xk01MPQdBWW3Rr2Y8O44bTqu0JDB iwedgCNqlmRryHpviR6qu9dnFGcHMUNDjPRZ0jElH8pfsuEEwex1YyN0n3WE/p8zUccmsBqV f/U1N8wvoW6QimIwgbo2s8DZaRqpKsAHQJFjKL1+BVsFZ2704aTnxORNOOhVghL6f1pcQ1p7 yERQwW35cHqXc15XyB4/cHSI3C5wqrtzKo2sT3TEugD0oJxEfEjd1qQ4BWzPghVPUlEuUBvc 22JicuG/d0LzZ0BpySebpvUMmgVxA62ynXcuw==
  • Ironport-hdrordr: A9a23:EbJN5q9maWMaau816Rduk+Ecdb1zdoMgy1knxilNoENuH/Bwxv rFoB1E73TJYVYqN03I6urwXJVoIEm9yXcR2+Us1NiZLWvbUQeTXeZfBOjZskfd8k/Fh41gPM 5bGsARaeEYZWIK9voSizPIderIruP3iZxAyd2uqkuEGmpRGtldBkpCe3SmO3wzYDMDKYsyFZ Ka6MYCjz28eU4PZsD+InUeReDMq/DCiZqjOHc9dmoawTjLqQntxK/xEhCe0BtbezRTwY06+W yAtwDi/K2sv9yy1xeZ/W7O6JZ9nsfn17J4dbmxo/lQDg+pphejZYxnVbHHlDcpoNu34FJvq9 XIqwdIBbUD11rhOkWO5Tf90Qjp1zgjr1X4z0WDvHflqcvlABonFston+tiA1PkwntlmOs5/L NA3mqfuZYSJwjHhj7B69/BUAwvvlaooEAljfUYgxVkIMIjgYdq3MYiFX5uYdo99HqQ0vFqLA AuNrCr2B9uSyLQU5iD1VMfj+BFXRwIb2m7qwY5y4KoOgNt7Q9EJnsjtbEid0g7he4Aorl/lp T52/dT5cJzp4ktHNVAONs=
  • Ironport-phdr: A9a23:tBP6Cxf76Qkf7jrvCDlDc9HblGM+O9fLVj580XLHo4xHfqnrxZn+J kuXvawr0AWYG9SHoKsf1qL/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajZb5+N hG7oAreusULj4ZvKrs6xwfUrHdPZ+lZymRkKE6JkRr7+sm+4oNo/T5Ku/Im+c5AUKH6cLo9Q LdFEjkoMH076dPyuxXbQgSB+nUTUmMNkhpVGAfF9w31Xo3wsiThqOVw3jSRMNDsQrA1XTSi6 LprSAPthSwaOTM17H3bh8pth61cvRyhugd/w5bKb46JKPpwcKTdfdYASmpAWMZaSihND4y4Y ocKCecOOvtYr4/gqFsPthuxGQ2sBOT0yjBWm3D9wKk23us9HQ3D2gErAtAAv2nOrNjtKKgcU u67w6fIwzveYPxbwjL95JTSfx07vf2AQ7B9fMzMwkcvDQPFiVCQpJT5MjORyOsNqHOb4PBmV e2ykW4nrBx6ryW1xscxjInJh58ex1ff+iVj3YY1I8a1SE9nYd65CpdfqiKaOpJwT8g/TG5mp Dw0xacauZ6nYicK0pInygbBZvGHfIWF4Q/uWuaMLDp5i39odrGyiwiy/EWhyODxStW43UpWo ydbjtXBsm4A2RLO5saIRfVz/kmv1SiR2w7c7OxPPE46la3eK5E7w74wkIIesUvCHi/qmEX2k bSZel8l+uiv7ensf7bopoeEOoJ7lg3yKLkiltC9DOgiMQUCRWyW9Ouk2LH9/ED1XLtHg/grn qXFqp/XJMEWqrOlDwJQzIou5AizAjKj3dgFnXQKKk9OdQyDj4j0IFHOPO73De2ijVStkTZk2 ejLMqHnD57QNHbMiq3hcqx460NEyAo809Rf55VMB78OLv39RlP9udPBAhA2MAK43v/rCNJm2 YwAQ26PBbKZML/Jvl+P++IvJfSDaJUNuDbnLPgl++DhgmMlmV8ceqmp24EbaHelHvR6J0WZZ n3sgtQbHWgWuQo+SfTmiFyEUTFNe3a/R60x6i0hBI67EYvORJqhjb+b0Cq/EZBafmVGBUqNE XfseYWEQfAMaCeKL8B6iDwESL6hRpQg1RGyqQ/20adoLunM9i0erp3szMJ16PHLlREu6Tx0C NyQ33yVQ2FugmwIXyM23Lx4oUFl1liD1rF4j+VEGtxX+vNGSRw3NYXczux/E9D9QBjNftaPS Fa8Q9WpGys9Ttwrw4xGX0EoBtOujwvI2y2xDrNQjbGABYQ1/6TAxCq5dJVT0XHDgYAlgkI9S 81DL2rurLRi8QmbU4TTjkOxlrq3M6gfin2evFyfxHaD6RkLGDV7Vr/ICCBODqO3hdHw50eYC qSrFaxiKAxKj8iLNqpNbNTty1RAXvbqftrEMCqqg2nlIxGOy/uXaZbyPX0H1XDXElUCuwEP4 DCKNlt2HT+v9lrXFycmDlfzewXp+Oh6pmm8Sxo+1RyMR0x9yvy5+U1dnuSSHssaxalMoyI9s 3N0EVK6isrREMaFrhF9cb90TO4HuAsC60OA8gt3M9qnMrxogUMYf0JvpUTy2h5rC4JG1883s Hctywk0IqWduL9YXxWf2524erjeK22ouQuqd7aTwFbVltCf5qYI7v087VTlpgCgUEQ4oT1h1 JFO3n2Q64+vbkJaWI/tUksx6xlxpq3LKig76YTO0HRwMK6y+jbc0tMtDeEhx16uZdBaeK+DE QbzFYUdCa3MYKQggUWvRhMYIaZe9+98Ps+rceeHxL/+JPxpz3qtiWVK5pw401rZq3I6E7aXm cZDkq3Lu2nPHy3xh1qgrM3tzIVNZDVIW3G61TChHolaIKt7YYcMD26qZcyx3NR3wZD3CBs6v BauAU0L3MixdF+cdVv4iEdaz1kRiX27hG20zHYn2yFstaeZ0CHUlq7obgcBEm9XWS9ujh2/R Or8x8BfV0+uYQ8zkRKj7kuv3KlXqpN0KGzLSFtJdSz7R417epO5raHKI8tG6Zdy9D5STPz5e 1eRDLj0vxod1SrnWWpY3jEyMT+w6N31mBlziWTVK3gWzjKRc9ttwz/e+MGaSf0Z0jcdRSZ+g CXaHRDgZ5/wpYrSx9GS7qi3TCq5W4dWcDX3wI/Irya96WBwQHjd17iyltDhDQkmwHr+3thuW z/PqUW0aY3q2qKmdON/KxUwQgaktIwqXNAiwe5SzNkK1HMXh4uY5y8CmGb3a5BA3L7mKWAKT ngNysLU5w7s3AtiKGiIzsT3TCb4oIMpat+kb2cRwi944dpNDfLe5qZZmwN0vkf+oQGbMrBt2 ywQz/cj8itQifsUviIs0jjbDrNYTiw6dWT80h+P6d65tqBeYm2iJKOx2ERJltekFLieowtYV SWxatI4ECR39Mk6LEPU3Si59NT/YNeJJ4F21FXcg1LaguNSMp50ivcamX8tJzfmpXN8g+8j0 U4yhdfr5s7fbT0qpf/xAwYEZGGtIZpLpXe1y/4Zx5jzvcjnH409SGhRGsKwFbTwVmpV7KivN h7SQmRk9jHHRvyHW1fYsRgurmqRQcqibyjFfSBAn9s+HEHPdgsD0GV2FH07hsBrTAnynZ64K R4r6GxJvQyq7UcdguNwaUulWz+G9l7xM2U6FMDEfkoOtlkQtQCIaKn8pqpyB38KpJT59V7Uc zXJaVgQVjMCAhTcVQKkY+Dm5MGeobKRXrPsdqKXM7vS8bcMWa/QncD9ldY8t3OFMsHFVpV7J 8UywVELHXVwGsCD3i4KVzRSjSXGKciSuBa7/CRz6MG56vXiHgz1t8ODDL5bMNMn/B7T4+/LL +mLmCNwMipVzLsh+EWQlP0h/QdXjCtjMT6wDb4HqCjBCrrKnbNaBAIabCU1M9ZU66U73U9GP su+6Ju92rNjj/EzAktIThS9wofwPZNMcyfsaBvOHw6TOa6DJCHXzs2/eq66RbBKza1VuxC2p TeHAhrjMzCExFyLH1ikNeBBij3ePQQL5Nn7K04yTzilHY61D3/zeMV6hjA337Au03bDNGpGd CN5b1sItLqbqyVRnvR4HWVFqHtjN+iN3SiDvIy6Yt4bt+VmBiNsmqdU+nM/nvFf9jxCbP1ph W3erZQ9xjPu2vnK0TdhXBdU/3xTg5mXuEx5JajD3rR9Yy6YuSwstCCXARlMoMZ5ANryvawW0 sLIiK/4NDZF9ZTT4NcYAM/XbsmANTByVHihUC6RBwwDQzmxMGjZjEEIi/Ce+EqeqZ0io4Ttk p4DGfdLEUY4HfQABgF5DcQPdd1pCyg8n+fR36tqrTKu6QPcT8JAstXbW+KOVL/xfS2Bg+AMZ gNUk++ga9VJcNW9gws7NxF7hNiYRxKWBIgS5HUnNkht/iAvuDB/VjFhhhijM1v1pidVTbntw lY3klcsOLxxsmuzpQ9xfh2T+2MxiBdjw9y92GLIKWejIvvoBdMETHak0ip5epLjHVQvZFXrz xU9bWXKG+oK3eknKTEjiReC68FGQacOFPQdMhFMnarFN61wiQYO7Xj+oC0PrerdV8k4nVNzI 8f19iBOh1o4PtVtffSCdu0UlxBRnvzc5Cbwj7JomVZMKRpVqzGcIHZQ6h5Pa+NuYiOs+qYEA emqmidePmQPBaJCSh1C918gfeiDnXuIO19rB32Lb7DaEYLA/m/KmIiPX0860V4Omw9d579q3 Mw/ck2SEUcy0L+WEBdPPs3He1g9Ug==
  • Ironport-sdr: 65fb4678_y8GALoeri49hHVovqHnhbN2h+eLa5NRpCIPjUljz0+UFPEp MhUM8jtl09euHkgu8col2ns/oQEeE4vZf1BPf4Q==

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: 06 May 2024 (AoE)
- Paper submission: 13 May 2024 (AoE)
- Rebuttal period (48 hours): 22-23 June 2024 (AoE)
- Author notification: 3 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.

Program Chairs

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

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] [PPDP'2024 CfP] The 26th International Symposium on Principles and Practice of Declarative Programming Call for Papers, Alessandro Bruni, 03/20/2024

Archive powered by MHonArc 2.6.19+.

Top of Page