acprize2025: 2025 Alain Colmerauer Prize |
| Website | https://logicprogramming.org/the-2025-alain-colmerauer-prize/ |
| Submission link | https://easychair.org/conferences/?conf=acprize2025 |
| Submission deadline | August 19, 2025 |
In the summer of 1972, Alain Colmerauer and his team in Marseille developed and implemented the first version of the logic programming language Prolog. Together with both earlier and later collaborations with Robert Kowalski and his colleagues in Edinburgh, this work laid the practical and theoretical foundations for the Prolog and logic programming of today. Prolog and its related technologies soon became key tools of symbolic programming and Artificial Intelligence.
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 inaugurated the ALP Alain Colmerauer Prolog Heritage Prize (in short: the Alain Colmerauer Prize). 2025 marks the fourth awarding of the Alain Colmerauer Prize.
The Prize is given for recent accomplishments and practical advances in Prolog-inspired computing, understood in a broad sense, where foundational, technological and practical contributions are eligible with proven evidence or potential for the future development of Logic Programming.
The 2025 Award
Nominations are sought for the 2025 edition of the Alain Colmerauer Prize.
Eligibility
Any individual or group of individuals can nominate themselves or their institution(s)/organization(s) for the Prize. Nominations should describe work that meets the purpose of the Prize. Submissions that address the well-being of society or of the planet are especially welcome.
Selection and award
The Prize is given for depth, novelty, and proven or potential impact. The winner is selected by the Jury from the submitted nominations in consultation with the Executive Committee of the Association for Logic Programming. Furthermore, a shortlist of up to five finalists may also be selected in the process. The Jury will provide a detailed citation that explains the basis of the awarding of the Prize.
The winner receives a certificate and cash support of up to 2,000 Euros for attending the conference and award ceremony. If there are multiple winners, this amount is shared. Finalists also receive certificates.
Timeline for the 2025 award
Deadline for submissions
August 19, 2025.
Notification of the shortlisted candidates
Submission Guidelines
Nominations should explain the contribution and argue for its present and future significance. The submissions must not exceed three pages plus references and may optionally be accompanied by up to two letters of support no longer than 500 words each. Submissions should be made by the candidates themselves, in pdf, through EasyChair:
https://easychair.org/conferences?conf=acprize2025
Committees
Jury
- David S. Warren
- Miguel Calejo
- Stefania Costantini
- Agostino Dovier
- Maria Garcia de la Banda
- Michael Leuschel
Venue
The winner of the 2025 Prize will be announced at the 41st International Conference on Logic Programming (ICLP 2025, Rende, Italy 9-19 September 2025).