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…
Category: Asyncronous News
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…
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…