Logic List Mailing Archive

CfNominations/Application: The 2024 Alain Colmerauer Prize, deadline: July 26, 2024.

*** Call for Nominations ***

The 2024 Alain Colmerauer Prize
-------------------------------

Organized by the Association for Logic Programming

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 theoretic
al foundations for the Prolog and logic programming of today. Prolog and it
s related technologies soon became key tools of symbolic programming and Ar
tificial 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 Lo
gic Programming both for symbolic, explainable AI, and for computing more g
enerally. The celebration inaugurated the ALP Alain Colmerauer Prolog Herit
age Prize (in short: the Alain Colmerauer Prize).  2024 marks the third awa
rding of the Alain Colmerauer Prize.

The Prize is given for recent accomplishments and practical advances in Pro
log-inspired computing, understood in a broad sense, where foundational, te
chnological and practical contributions are eligible with proven evidence o
r potential for the future development of Logic Programming.

The 2024 Award
--------------

Nominations are sought for the 2024 edition of the Alain Colmerauer Prize.

Eligibility
-----------

Any individual or group of individuals can nominate themselves or their ins
titution(s)/organization(s) for the Prize. Nominations should describe work
 that meets the purpose of the Prize. Submissions that address the well-bei
ng of society or of the planet are especially welcome.

Submissions
-----------

Nominations should explain the contribution and argue for its present and f
uture significance. The submissions must not exceed three pages plus refere
nces and may optionally be accompanied by up to two letters of support no l
onger than 500 words each. Submissions should be made by the candidates the
mselves, in pdf, through EasyChair at https://easychair.org/conferences/?co
nf=acprize2024.

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 consultati
on with the Executive Committee of the Association for Logic Programming. F
urthermore, 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 2024 award
---------------------------

*******Deadline for submissions*******

       July 26, 2024.

*******Notification of the shortlisted candidates*******

       Aug 16, 2024.

Award and presentation of the 2024 Prize
-----------------------------------------

The winner of the 2024 Prize will be announced at the 40th International Co
nference on Logic Programming (ICLP 2024, Dallas, Texas, 14-17 October 2024
).

The 2024 AC Prize Jury (Partial)

-------------
David S. Warren (chair), Miguel Calejo, Stefania Costantini, Gopal Gupta, J
an Wielemaker, ...


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php