Category: Asyncronous News

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…

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…

Apply for the ALP Alain Colmerauer Prolog Heritage Prize

Please circulate the announcement of the upcoming nominations to the Alain Colmerauer Prolog Heritage Prize. The deadline for submission is September 2nd, 2022. For more information: https://prologyear.logicprogramming.org/ColmerauerPrize.html