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…
Author: Editors
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…
Systems Description: ErgoAI
ErgoAI is an advanced and scalable object-oriented platform for knowledge representation and reasoning. ErgoAI was developed by Coherent Knowledge Systems as an enterprise-level extension of the well-known Flora-2 system that is now open-sourced. ErgoAI subsumes Flora-2 for all purposes. Language…
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.…
PPDP/LOPSTR 2023 invited speakers
We are glad to report here the names of the speakers and contents of the joint invited speaker of PPDP 2023 and LOPSTR 2023, to be held as part of SPLASH 2023 in October at Cascais, Lisbon, Portugal. Maribel Fernández…
Planning as Theorem Proving with Heuristics
Planning as theorem proving in situation calculus was abandoned 50 years ago as an impossible project. But we have developed a Theorem Proving Lifted Heuristic (TPLH) planner that searches for a plan in a tree of situations using the A*…
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…