coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations

From: geoff AT cs.miami.edu
To: <coq-club AT inria.fr>
Subject: [Coq-Club] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations
Date: Mon, 16 May 2022 09:19:52 -0400 (EDT)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=SoftFail smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT armistead.ccs.miami.edu
Ironport-data: A9a23:DEg6h6sSvDpqloZijEn/J9MN7efnVFdYMUV32f8akzHdYApBsoF/q tZmKWyGaK6LNjb8e9l/Ooji/RwGusSAytFnQQM+qixjRC5GgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52LBVPyvX4 Ymo+5CGZQf/s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCncLtYikMJrTpoeUmDil1QyB5BJB59qCSdBBTseTLp6HHW3L2xvR1EEw/McsT8f0xBGBH8 P1eJTwQBvyBr7vnmvTgE68814J9RCXoFNt3VnVIwjzeA/gOSouFRqTD4N4e0Tst7ixLNa2AO 5tGM2Y0BPjGSxMfZnIHDJZvp+OHqXbEdiQFt122r6VitgA/yyQtieKzbIS9lsaxbc5ShwOTo n/M13/oBwkTct2Z0zuMtHy27tIjhgvyQocTD6G1//Isi0bVw20aDRxQWFemyRWktqKgc4wCA GIx4jMLlKkJqXyGHtj6ZiCHrmHR63bwROFsO+E97QiMzI/d7ACYGnUIQ1Z9hDoO7pBeqdsCj AThoj/5OdB8mOfIFinBpt94uRv3aXBPdzVSDcMRZVJdi+QPtr3fmf4mojxLNa+8i9yd9drYm GvT93NWa1n+l6c2O0iT9ErCgimwq5HFCAUuoADWV2ekqA51eeZJhrBEC3CGtZ6sz67DEjFtW UTofeDEtYji6rnUxUSwrB0lRu3B2hp8GGS0bJ4GN8BJG86R03CiZ5tMxzp1OV1kNM0JERewP hKJ51gAuMIObSX3BUOSX25XI59xpUQHPY+7Ps04kvIXCnSMXFDapHk+DaJu9zm1zCDAbp3Ty b/HKJzyUShy5VVP0Ty3WeoHyr4312g5yyvWRJn+znyaPUm2OBaopHZsGAXmU93VG4ve+1WIr 4cGbpbVo/idOcWnChTqHUcoBQhiBRAG6Vre8qS7r8aPfVhrHn8PEfjUze9zcoBphf0PxOzTu HS8U0pZjlfzmCSfewmNb3libpLpXIp+8C9gbH1ybQ7w1ihxe5ur4Ycea4AzLOsu++FUxPJpS +UIJpebCfNVRzWbozkQNMGvrIFreBmxqxiJOi6pPGo2c5J6Hlab8cSiewrm8ShIAyaq7JNsr 7ql3wLdYJwCWwU/UZ2HOaz/lwu85CFPlvhzUk3EJshoVH/tqIU6eTbsivIXIt0XLUSRzzSX4 A+aHBMEqLSfuIQy6tTI2fiJoor1QetzGk1WQzvS4bqsb3KI93CmwJRcXe+EOzvWTyXx+aynZ KNYw+ylaK8Lm1NDsoxdFbd3zP9jvIq++e8Clgk0Tm/Wa1mLC697JijU1MZCgaRB27tFtFbkQ UmI4NRbZe2ENZ+3ClIXPwZ5PO2P2etOwGvb9/E0O1n37SMx96HBVERbOhjKhSBAdeMnPIQgy OYnmcgX9w3i10F7Y4jW1nhZpzaWM3gNc6Q7rZVLUobkhz0ixkxGfZGBWDT954uCaokUP0QnS tNOaHEuW1iBKov+n3sP+bzl1PBYhI8StRlGilQJPBKMm9PAh7k60AA5HfHbiOhK5k0v7g6xE jED245JyWGm9CwugclKWmHqFg1cbPFc0lKk0EMHzQU1UGHzPlEg7wQB1SKl91tf9mNVezkd8 b2FoIogvfAGY+mpthYPtYVZRzAPgDC/GsAuWCxqIihdI6QHXA==
Ironport-hdrordr: A9a23:2prxl6lb57ki6PclASJZjPs6fVLpDfJG3DAbv31ZSRFFG/Fw+P rBoB12737JYUgqN03I8OroUMK9qBjnn6Kdj7N9AV7bZmXbhFc=
Ironport-phdr: A9a23:NFcrghH+gEdkmF/3rsoWtZ1Gf8hHhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31xmUAM6Fs7ptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys9ZDfeQVFiTqybb5zM Bm9sBncuNQRjYZ+MKg61wHHomFPe+RYxGNoIUyckhPh7cqu/5Bt7jpdtes5+8FPTav1caI4T adFDDs9KGA6+NfrtRjYQgSR4HYXT3gbnQBJAwjB6xH6Q4vxvy7nvedzxCWWIcv7Rq0yVD+/7 alkVQXohT8aOTAn92/ZicJ+gqJArR69uxBz35LYbZuJOPZieK7WYNMURXBGXsZUTyFBDZ2zb 4wBD+oPJutXs5L9q0ELrRu/HwasAeLvxiVWiXDrwK031fkqHg7a0gI6Bd0OrGjUo8vvNKcUS e240afGwSnMYf1W1jnw9ofGfw0/rfyPUr99bNbdxVcgGg/ZjFiepoPrMjCI2+kRsGWW8vRsW OChhmI6tw18ojehy8ExgYfHgYIVz0rL9SR/wIstId24T0F7Yd+4H5tIrSGaMIR2Qtk4TGFtv SY6y7sGuZGhcCgN0pQnyBjSYOGEfYiQ+h/vSeKcLSliiH9rZb6znRW//Ey6xuD9UMS/zUxEo TBfktbWs3AAzxzT5daDSvt65kquwyyP1wXS6uFfPUA7i7DUJIM7zrEsipUTql7PHir3mErsi a+Wd18o9fa15OT6ernmp5mcOJFoigzmL6gjntKzDf42PwQTRWSW+uCx2Kfi8EHhRbVFlPw2k q3XsJDAIsQbo7a0AwBL3YYk5Ra/ASyr38gDnXUdKVJFeQiIj43oO13UPv/3EOq/j0yqkDhw3 //GJKHuAo3RLnjfl7fsZatx51ZGyAUv1dBf+45UCrYZLf3vXU/xrcXUAQM9Mwyp2OnqE8591 4MbWWKXGKCVKqLSsVmS5uIuOeaAfoEVuCyuY8QisqrlimZ8klsAd4Go24EWYTa2BKI1DV+eZ C/jj9APH08BpUw7TeXviRuPXSMAND6JQ6sg62RjW8qdBoDZS9X16FTg9CKyH5kMI3tDFkjJC 3DjMYONR/YLbiuWZM5niD0NE7a7GMc6zR/7kgj8xvJ8K/bMvDUCvMfs2d976cXYjlc39DVxD oKQ33zeB3pskDYzQDEq8ql+pQRmz0ubl61xgvhWD9tWsvxEVQk0HZXHiel7AtXzHA/NY4TBU 06oF/OhBzx5Vdct25kObkJ6Ts2llQzG1jG2DqU9nqaOBYco/6vQmXP6PIB4yn/D1e8sg0ROr tJnE2qgi+Y/8gHSA9SMiECFj+Owcq9a2ifR9WCFxG7IvUdCUQc2X7+XFXYYLlDbq9j0/CagB /enFKgnPw1dyMWDNroCa9vnik9DTeviP9KWany4mmO5DxKFjr2Wa4+id2IY1STbQE8K9mJbt XmLMgYwLiy65WffBTlvU1/jfgKk8OVzrm+6Ul5h1xuDPAVq07u4/AJQhOTJEqJJmOld/ndw7 WsneTT1l8jbANeBuQd7KaBVYNdnpUxCyXqcrQt2eJqpM6FlgFcaNQVxpULnkRttWeAi2YAnq m0nyA1qJOeWylREInmX0Jf+NJXcMS/3/Rmqaujb1kyUg7P0su8fre81rVnuplTjGUcl/XtP2 MIT1nqV45SMAQYPG8G5QgM88B50oKvfay826tbP1HFiBqKztyfLx9MjAOZNJg+IRNBRLI2NF Qu6U8gTBsz0bfcvh0DsdBUPeuZb6K8zOcqiMfqAwq+ieuh6znqqimFO4YYYsArE8CQ0RePP0 ZgtyOre2wqOUja6gVu8+sHs0YFCbjUTGGezgTTjTIhWeuV+cJ0KBmGnP8DSpJ023s+3HSUBs g7yQQ1O0dThYReIal3hwQBcnV8ap3Cqg2rwzjB5lS0osrvK2SXPx+r4cx9UXwwDDGJmjFrqP c21l4VDDRLuNFFvxErjuxWfpeATvql0ImjNTF0deiH3KzsnSa6srv+YZMUJ7po0sCJRWeD6Y FaAS7e7rQFJtkGrV2ZY2j0/cCmn/5vjmBkvwm2QK3h9hHHCP8RxzBLeotHQWLQCu1hODDk9k jTRClWmapOm8NKamb/Iqaa7VmukV9tefTShnsuQ8SC842NtGxi2mfu+z8bmHQYN2ij+z9B2V C/MoUWZAMGjx+GgPOlgZEUtGE7k5p8wBNRlioVpzsJYyT0Ai56S53ZCjWrjLYARx/fldHRUI FxDi9/NvFq8iRcldSvPl9O/Dy/Vw9M9NYDgMyVPhXt7tJwMUf7c7bpPmTZ5rwiPthrfJ/d6m TgZxL0l73t/4alBrgMpym/17qk6O05eMGSskh2J64r7t6BLfCO1drP20kNinNenBbXEowdGW X+/dI1wVSl3pt5yNl7ByhiRosntZcXQYNQPtxaVjwaIju5bL4g0n+YLgiwvMHz0vHksweo2x RJ02pTysI+CImRrtKW3Z3wQfiXyfN8W8yrxgLx2l9yT3puzE5xtXD4AR93tTPutEXQfuemmf weCHTsgq2uKTLrSGQjMjSUu53nLEp2tKzSWPCxAnI8kH0DbdB0Z3lNxPn1yhJMyGwG0yda0d U544mpU/Vvksl5WzekuMRDjU2DZrQPuazEuSZHZIgAFi2MKr0rTL8Ga6fp+Wi9C+Zj05gOAL WKVTw9TS2QIU0mFQV3vI/P9gLuIu/jdHee4I/bUNP+WrvdCUv6T2Z+1+oJ8+jeXKsiGMj9pB OZ930tKWHE/FsjE0WZqKWRfh2fGaMiVow258yt8o5Wk8fjlbwno4JOGF7pYNdgHE/+eirzFM u+ZgSc/JDpFhMhkLZrgw6NZ2V8bjiAoejWwQ+xoXc/lRbjVm7RLAhcXLSh4L41N7qs5309AN dOJ0rvI
Ironport-sdr: zFVT9FInlOgEa/K4g7nhRP/lemy5UsF4QCAv57gEIM+lPiUKGmsy8TvS7fogTH6/lTOASvsswT TjovOHDoJ7YcPizZTplU2JSBuULZq67i+D3GpxGF2TxR5YIMC3xYKXjMPdoJ88C7Z5f241lSzc dd6TrLfp9yKyGqwJj5K/VmXoAeZuXFMXoT6CHtBlRAMh9uSe0LeAL7Z3TIWKpRwOdvTxMxBv2r bO3NOA9ZuhRo4SAznD47syQEU7kCfwEfclp7zHuE38LoySwi3KV/3mWSrEOUTatW/nUYcwrkc8 Vfo9NmLOfCLXGHhdV0hm6R9z

*** Call for Nominations ***

The ALP Alain Colmerauer Prolog Heritage Prize

Organized by The Association for Logic Programming (ALP) and The Prolog
Heritage Association

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.

The Year of Prolog celebrates the 50th anniversary of these events and
highlights the continuing significance of Prolog and Logic Programming both
for symbolic, explainable AI, and for computing more generally.

This celebration will culminate with the award of the inaugural edition of the
ALP Alain Colmerauer Prolog Heritage Prize for recent practical
accomplishments that highlight the benefits of Prolog-inspired computing for
the future. The Prize will be presented at the Prolog Day Symposium on
November 10, 2022, in Paris, France.

Eligibility
-----------
Any individual or group of individuals can nominate themselves or their
institution(s)/organization(s) for the Prize.

Selection
---------
The Prize will be given for depth, novelty, and proven or potential impact. A
shortlist of up to five nominations will also be selected in the process.

Endowment
---------
The winner(s) will receive a certificate and a cash Prize of 2,000 Euros. The
expenses of the shortlisted nominees will be covered up to 1,000 Euros,
supported by the Artificial Intelligence Journal.

Timeline
--------
Deadline for nominations/submissions:
*** September 2, 2022 ***

Notification of the shortlisted candidates:
*** September 30, 2022 ***

For more information and details, see
https://prologyear.logicprogramming.org/ColmerauerPrize.html

--------
The Year of Prolog and its activities, including the Alain Colmerauer Prize,
are sponsored by the Association for Logic Programming, the Prolog Heritage
Association, the AI Journal, Institut Carnot Cognition, and Institut Fredrik
Bull, among others.

[Coq-Club] The ALP Alain Colmerauer Prolog Heritage Prize: Call for Nominations, geoff, 05/16/2022