41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 https://iclp25.demacs.unical.it SCOPE Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions…
Category: Call for papers
CFP: Practical Aspects of Declarative Languages (PADL 2025)
Call for Papers 27th International Symposium on Practical Aspects of Declarative Languages(PADL 2025) PADL 2025 – : The 27th International Symposium on Practical Aspects of Declarative Languages – POPL 2025 (sigplan.org) Denver, Colorado, United States, January 20-21, 2025 Co-located with…
ICLP 2024 – CFP
40th International Conference on Logic Programming October 11-17, University of Texas at Dallas https://iclp24.utdallas.edu SCOPE: Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought…
CFP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL)
Call for Papers 26th International Symposium on Practical Aspects of Declarative Languages(PADL 2024) https://popl24.sigplan.org/home/PADL-2024 London, United Kingdom, January 15-16, 2024 Co-located with ACM POPL 2024 Conference Description Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming.…
CFP: Declarative Programming in Biology and Medicine
Declarative Programming in Biology and Medicine (“DeclMed”) is a new interdisciplinary workshop that will explore declarative programming methods / paradigms and their applications in the life sciences and medicine. Given promising advances in using declarative approaches in areas such as…
Call for Papers: CP 2023
Twenty-Ninth Conference on Principles and Practice of Constraint Programming CP 2023 (cp2023.a4cp.org) August 27-31, 2023, Toronto, Canada CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms,…
Open Call: 39th International Conference on Logic Programming [Short, TC, BoF, Demo,Recent Pubs]
Open CALL FOR PAPERSThe 39th International Conference on Logic Programming (ICLP 2023)https://iclp2023.imperial.ac.uk/ London, UKJuly 9-15, 2023 ICLP 2023 will be an in-person event in London, UK. Scope Since the first conference held in Marseille in 1982, ICLP has been…
CFP: PADL 2023
CFP: PADL 2023 Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023 Boston, Massachusetts, United States, January 16-17, 2023 Co-located with ACM POPL 2023 Conference Description Declarative languages comprise several well-established classes of formalisms,…
CFP: Celebrating 50 Years of Prolog
Call for position papers celebrating the 50 year anniversary of Prolog, to be published by Springer in the LNAI series. As part of the 2022: The Year of Prolog celebrations, we are planning to publish a Volume in the Springer…
ICLP 2022 Call for papers
The 38th International Conference on Logic Programming (ICLP 2022) https://software.imdea.org/Conferences/ICLP2022/ Haifa, Israel August 2-8, 2022 ICLP 2022 will be a physical event in Haifa, Israel Part of the FLOC 2022 https://floc2022.org/ Abstract registration: January 21, 2022 Paper submission: January…