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: Asyncronous News
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…
2 Post-Doc Position, University of L’Aquila, Italy
We are asking for expressions of interest in postdoctoral positions that will soon be available at the University of L’Aquila (2 years, with possible extension) within the projects whose summary is provided below. The hired postdocs, together with the…
Research Position on Neuro-Symbolic Systems, Monash University
We are looking for a Research Fellow (12-month position; AUS $111,603 – $132,529 per year plus 17% superannuation) to work on the project “HARNESS: Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems”. Ideally, the candidate will have knowledge in symbolic knowledge…
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…
ICLP 2023: Preliminary TPLP Special Issue Content
The following are the arXiv versions of the papers accepted for the Theory and Practice of Logic Programming special issue for the ICLP 2023 conference. Implementing backjumping by means of exception handling Wlodzimierz Drabent https://arxiv.org/abs/2305.16137 External Behavior of a Logic…
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,…
The ALP Alain Colmerauer Prize
2022 was celebrated as the Year of Prolog to recognize the 50th anniversary of these events and highlight the continuing significance of Prolog and Logic Programming both for symbolic, explainable AI, and for computing more generally. The celebration culminated with…