The 2025 Alain Colmerauer Prize

Organized by the Association for Logic Programming

A portrait of Alain Colmerauer

2025 marks the fourth awarding of the Alain Colmerauer Prize for which nominations are sought.

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.

Submissions

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 at https://easychair.org/conferences?conf=acprize2025

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: August 23, 2025

Award and Presentation of the 2025 Prize

The winner of the 2025 Prize has been announced at the 41st International Conference on Logic Programming (ICLP 2025, Unical, Rende (CS), Italy, 15-19 September 2025):

  • Jan Wielemaker: For foundational and continuing contributions to Logic Programming through the creation, development, and long-term maintenance of the SWI-Prolog system”

The 2025 AC Prize Jury

  • David S. Warren
  • Miguel Calejo
  • Stefania Costantini
  • Agostino Dovier
  • Maria Garcia De La Banda
  • Michael Leuschel