coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023

From: "Donaldson, Alastair F" <alastair.donaldson AT imperial.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023
Date: Thu, 27 Jul 2023 15:23:12 +0000
Accept-language: en-GB, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=imperial.ac.uk; dmarc=pass action=none header.from=imperial.ac.uk; dkim=pass header.d=imperial.ac.uk; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=JBa9ONi/jafKsHoAxPwnH8/C57X8hoC0e0vWdIWhI+k=; b=Kcxk2lveo/YapWI/r34Jr5zRWV5rLwQbH99VUdDicFmTo4v/3kXX/xXR/zhEtEtDOq4qdilRd4usLm/It9ZFFgU9aCuA+O3HgzzeA8gRXDm8kMmdMOPzAeLoUzHmyq7Z6tjQVncDMPtdxgSC+Z/sQwLbxBi0Ez5DnjWQuGhdA24tZiK2K4IfUED+4/tKk96ERGafyfg37eZ+8ombzaE0Ax0v+804/4O6XgKv4cXqborSg14dp8APlaM/q1Xlz3EkLjxwYSb2lkGe+U1RV5rFm+LvUkmKTTXaX5ilF9DCT2UyEJSsoMONgQIJBzjXRkFmshTwTF8RiZ+kanRGg/sHqA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=L+B84XoAqabQ+j7y3xbj+8qasTuor1D7zp2zzHNUk+jSfSelbcNJeqU+H6lTPEps/TvgKJzi2sYEPFifWpeV3W+dEWD7vXDyUS5f24SMsEyCWDXp9RgjBzbpGefQPNbbd49KDuSJxy1EoMOY6Q6+sq+zDShkYvME6VW3QskIf3AUDHVYSFioNFu6GZAThDOznQA6A6r792Q2U4+neYuljoH6w4pnJ0oFbFVCbg8CG+4Fs0666lvue+HZZDHcsfLZZz5QmOnxMIJARRHvrWHQTEF7S717/0bDe7qh6Vr/NDx2LTg5GUkcIIIKWYe5Q0uA1ZiwEwuTAPYGK2zVtv4a1Q==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alastair.donaldson AT imperial.ac.uk; spf=Pass smtp.mailfrom=alastair.donaldson AT imperial.ac.uk; spf=None smtp.helo=postmaster AT smtphub2.cc.ic.ac.uk
Ironport-data: A9a23:fOQ8z6g9YBnXGUManwRKjg48X161XhQKZh0ujC45NGQN5FlHY01je htvXzvTbKmNZWT1L48gbY+29xgHsZXWy9Q3GlZuqiBkRipjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDpNg06/gEk35q+q52lH5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGNEYULIczo/lMI3BW0 uwFEhNcMDeOrrfjqF67YrEEasULN8z3JIMCsCsmxjqfDP1gSJuFXqaiCd1whWtuwJkRTLCFP YxFNlKDbzyYC/FLEl4TAYkileaywHX4dTRcpEmSo4I25nDe1g141P7kO5zIebRmQO0MxxfD+ zifrziR7hcyPYWV1x+M136XoMSQsBP+Bd8YFLG536s/6LGU7jdPVkFPDAHTTeOCokW5QpdUL 1Ee0jE/qLA7sk2tVNj0GROiyENopTYHXsZIE/AwskeGwezV6ECQDS4ZTVatdeDKqucOQh473 HTQgOjLFCRIoKCvaiPD0bq9+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOPPt5jESMW2gq w1mvBTSlJ1O1JJaif7TEUTvxmv2/MShohsdvF2PNl9J+D+Vc6aKTeSVBbXz9vNcNIaERAPHt 3NCmsPY5etIEJLleM2xrAclQuDBCxWtaWO0bbtT838Jq2vFF5mLId043d2GDB01WvvogBewC KMphStf5YVIIFyhZrJtboS6BqwClPaxTY+0CKqPN4AfOPCdkTNrGgkwPiZ8OEizyiARfV0XY 8nFGSpRJSlAU/89l2Deqxk1jON1m0jSOl8/tbigk0r7iOPEDJJkYbUMNlaSJv0/7b2Juh7U7 8cXMcaW1BJFU4XDjtr/r+YuwaQxBSFjX/je8pUPHsbae1oOMD96UZf5n+h+E7GJaowIzI8kC FnnBB8BoLc+7FWaQTi3hodLNOK0Bckn8S1T0O5FFQ/A5kXPqL2HtM83H6bbt5F+nAC65a4kE as2aI+bD+5RSz/K3T0YYNOv5MZhbRmnz0bGdSasfDF1LdYqSh3r6+3UWFLl1BAPKS6r6uo4g bmrjT3ATbQ5Gg9NMcfxadCU9W2Xg0QzouxIYhb3EoFhQ3m0qIlOAA7tv8AzOPAJeEnixCPF9 gO4AiU4hOjqoq0t+unjgauBq4ejOLZ+L1sHRmDKzK2XMBPC9TGJ2r5wU+evfBHcWljr+a6kW /5n8vHkPNADn3dIq4BZEYs3/Zkh5tDqmaBW/j5kEFrPcV6vLLFqeVuC4uViqYxPweV/lTate 0fS5ORfB6qFCPnlHHEVOgAhSOaJjtMQuzvK6MUKMFfI3zB28JWHQHdtEUG10gIFF4RMMaQh3 esFk+wV4VbmihMVb/C3vhoN/GGIdnE9Q6Ers68BO7DSiy0p9ABmQYfdASrI8p2we41yEk01E AS12ovGpZphn3TnTVRiNELj/+RngbY2hCtr134HflSApcrEjKQ43TpX6jUGcT5WxRRmjcN2P nRgGHNkLJqg5BNtqspnWV62OgBeBS+2/l765EsJmVb4EWipdD3pB08sNdmd+Hs29zpnQQFa2 7WD2UDZUTrOV+Pg7BsYAEJKhaTqco1sy1fkhsuiIfWgI7A7RjjU2omVemsCrkrcM/Mb3UHoi 7Fjw7dtVPfdKyUVnqwcDrua35Q2TDSvBjRLYdNlzZMzMVDsQhOA8hnQFBnpYeJIHeLAzmGgA c83Js5vaQW35BzTkh8lX5wzM51Gt993wupaYb76B380g53GpBpTjZ/g3CzfhmgqftZQrfgAO r7hLzKsLkHAhF9/uXP8k81fC2/pPfgGfFLd2c62wsUoFrUCkvNmQXst25uKvlCUbQlW7k+Mj RKeZ57HkrVr2KV3vo7WCq4YLR6FGdDyc+Wp8Q6IrNVFa+3UA/rOrw84rlrGPRxcGKk4AfBbt O2qnobs/UXnuL0WbTjoq6OZHfMU2fToDftlDM3nCVJ7ww2AYZbIyDke8TmaLZdprots1vO/T VHlVPrqJM8nYPYD9nh7cCMELg08DZ7wZaLepS+QifSAJxwe8A7fJuOc6n7bQjBHRxAMJqHBJ Ff4i9S26vBcibZ8NhsOKvVlIp1/eVHdAPpsM5W7sDSDFWCnj2+Toraox1Jq9TjPDWLCC8rgp 47MQh/lbhmppaXU15djvpdvugEMRmNI6QXqkpnxJ/Yt49x7MIIHEQjZGY4DFolUjyaokprzI jDGKmIpTzj+NdiBndMQ//y7NjpzxMRXUjs6GtDt10KRcyqsBYqERrJqsDpji5uzUiW21/mpc Lny5VWpViVcAfhVqSI75/mjjP1mz/ecz3lO5EOVfwkexfoBKe1i6UGN1zahmcAK/w8hWakLy aUIqbh4fXyG
Ironport-hdrordr: A9a23:r15OG6i9hB/4F+PzKzPoCSlDgnBQX1h13DAbv31ZSRFFG/FwyP rAoB1L73PJYWgqNU3IwerwQJVoMkmsjqKdgLNhdYtKOTOM1ldAQ7sSi7cKrweQeBEWldQtnp uIEZIOceEYZGIS5ayagDVQeOxQpeVvhZrY4ts2uE0dKT2CBZsQjTtRO0K6OAlTXgdnKPMCZd 6hz/sCgwDlVWUcb8y9CHVAdfPEvcf3mJXvZgNDLwI76SGV5AnYpYLSIly95FMzQjlPybAt/S zuiAri/JiutPm911v1y3LT1ZJLg9Hso+EzSPBky/JlZQkEuDzYJbiJaIfy/AzdZ9vfq2rCpe O87SvI+f4DqU85MFvF5CcFkDOQqgrGo0WStGNwx0GT6/ARDQhKdPaoie9iA2fkwltls9dm3K 1R2WWF85JREBPbhSz4o8PFThdwiyOP0A0feMMo/gliuLElGctshJ1a+FkQHIYLHSr85oxiGO 5yDNvE7PITdV+BdXjWsmRm3dTpBx0Ib167a1lHvtbQ3yldnXh/wUddzMsDnm0Y/JZ4T5Vf/e zLPqlhibkLRM4LaqB2AvsHXKKMexrwaAOJNHjXLUXsFakBNX6Io5nr4K8t7OXvY5AMxItaou WybLqZjx9AR6vDM7z/4HQQyGGyfIyUZ0Wd9v1j
Ironport-phdr: A9a23:ax/1VReQGXhH4xdCmOz5CXVplGM+q9fLVj580XLHo4xHfqnrxZn+J kuXvawr0AWXG9uHoKwcw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PSbglShTewbrx+I RSqoQ7MqsQYnIxuJ7orxBDUuHVIYeNWxW1pJVKXgRnx49q78YBg/SpNpf8v7tZMXqrmcas2S 7xYFykmPHsu5ML3rxnDTBCA6WUaX24LjxdHGQnF7BX9Xpfsriv3s/d21SeGMcHqS70/RDOt4 bp2SB/zkCcIKSI28H3ZhMx3iaJUuhOhpxpiyILQb4yYMP9yc6XAdt0YWGVBRN5cWSxfDI2hc 4sBAekPMvpXoITmvVQCsQeyCBOwCO/z1zNFgGL9060g0+QmFAHLxAIsEdwJsHTSttr1MLodU fuyzKnO1TnIcu9b2TPn54jTbhAuu/CMXahtesTRx0UkCgTIgU+UqYP/JDOVyv4Cs2mB7+Z6S O2vjGgnpBt1ojey3ccsjY/Ji5kUylDB7SV23pw1JdyiR05/e9KrCodfuzuHN4t1W84vRXxjt ykmxLMco5G7YDQKx4o9xx7Zc/GLbZaF7BL9WeuTIjp1hmxoda6wihuv8UatxPPwW9Wp3VhFo SRJjtfBu3EO2hHR9MSKVOZw8Emg1DuR2A3d6uNJLEYpnqTVLJ4hx6Q/lpsVsUnbES/2n0L2j KCSdko64OSn9+PnYrDgq5SBNIF0khnzPrkhl8G+G+g0LwoDUmyB9emyyrHv50L0TbdSgvEok 6TVrJ7XKMEGqqKlGQBY04Mu5hmjAzu61dkUgGcLIVZAdR+Cj4XkPUzFLuriAvelmVuslS9mx /DYMb3lBZXANmPDkLL9fbZl605c1RE8wc5F651IFr4NOvPzVVPruNPCEhA1KRG0w+X/BNV80 IMRR36PD7eEPK7dsFKE/P8jLuuIaYMPtjvxNeIp6vHsgHMhnF8SZ6ip3Z8ZaHCiGfRmJl2Ub mDogtgbCmcKohAxTO3wiFGYTDFTYHCyULg45j4mE4KmCoHDS5usgLyExCe0AIdWZmFcBVCIC 3vnbZmLV+0RaCKROsNhlCcLWqC7S4A9zRGuqBP6y71/I+bJ4iEYr47s1MBp5+3PkhE/7SB7D 8OE022UU250mn4ISCQt0aBkoU19z0+D3rJij/xZE9xT/fJJXR0gOZ7S1ewpQ+z1D0jKec7MQ 1K7SP2nByswR5Q/2ZVGN016ApCpig3J9yusGb4c0bKRUs8a6KXZijLdIMB0z3rd069lx3AiS 9BTPGy8zoA1v1zaA4fSj0yYjeCmcqIV2CLW82GrzG+WsVtZWQo2WK6DQHNJNRielsjw+k6XF +zmMr8gKAYUlZ/qwspib9ToiQ8DX/L/IJHEZGn3nW6sBBGOz7fKbYzwemxb0j+OQFMcnVU1+ nCLfRM7Gj/nu3jXWTVqHEnzakL2t+V5rnq/QlQzySmLalVszbu8/lgcjrqBSKBbxaoK7R8os C48B1Ohx5TTAtuEqRBmefBVZdom/F5GzyTVsAp0OpC7KKZKh1sGfh52tkeo3h4xF4YT2dMyo iYMywx/YbmdzEsHdz6c2sXoPabLL2Dp4B21Q7XTxknezdzMvKwErvUz7Vzo+hyqfqY721Ng1 dQdk36V55GQSREXTYq0SEE8sR5zu7DdZCA5oYLSz3xld6eu4HfE3JoyCe0pxwzFHZ8XOb6YF AL0D8wRBtS/YO0slV+zaxsYPedUvKcqNsKifvGC1ealJuFl1D6hiG1G5sh63Cfuv2J1TufTw 58E2beU2Q2OUzvni1GJs8XvlJpFbDVUF2H51CulTI9da6tufJoaXH+0Kp7SpJ02jJrsVnhEs V+7UgpahonwJkvUNAa7gVIDsCZf6Waqkia50TFuxjQgr67FmTfL3/ynbh0MfGhCWGhli17oZ 4myldETGkayPG1L3FOo41j3w69DqeFxNW7WFA1BeyHtM2hjSO28sbyLZ8JU75UAsCBPXf69a FTcQ7W7vhhQgEaBVyNOgSs2cT2noMCzlhhzk36ULWw1oH3fcMV83hDZzN3ZXfNL3zMCAiBzz yTUTAvZXZHh7ZCfkJHNtfq7XmSqW8hIcCXl+oiHsTOy+WxgBRDXc+mbotT8CkB61Cb604MvT iDUtFPmZYKt0a2mMOVhd00uBVnm6sM8FJss2oc3gZgR3zAdiPD3tTIOlW7oLdxaw+Tya3wEQ TIQxNj94Q391VdiJ3bPzom/S3bVzsZ6Zta8a38bwWpks54MUfjFquce23cq6lOjyGCZKeBwh DIc1ecj5DYBjucFtRBshiSRD7YOHFVJaCnllhCG9de7/+1cYGeid6T11VIrxIz/Sujd80cHA jClJcRHf2c49Mh0PVPS3Wem74jlfIOVdtcPrliOlByGieFJKZU3n/5MhCx9OGu7s2d2roxzx RFow5y+u5CKbmt3+6fsSBdcPybpbsIJvD3qi69akt2R2aiuG41sADQCWN3hRrS1E3hB0Javf xbLCzA6pnqBTPDWGQaE9E5ntTTDFJaiM32MI38xzNB6SQOcLUgZiQtSQTZwzftbXki6gcfmd kl+/DUY4FX1/wBNxuxfPB76Sm7DpQ2sZ2R8WN2FIRFR9A0H+1bNPJnU8LdoBy8BtM7EzkTFO imBag9PF21MRkGUGwWpIOy1/deZu+mAWrjnc6WIOOrf77wYC6/Pn8PKsMMu/i7QZJzeZD87U qN9gxQZGyg+QZSRmi1TGXVLyWSUMJ/d/036pnUw9JHakryjWRqzt9LeUf0LbIspok7sx/7dc LTAzCdhd2QC38sHlyLCw+BNjAZA0nk+JWvxSfNZ73OoLuqYm7cJXUQSMyghacFDt/BshlsUN JaJ2JSrivZ5lqBnUV4dXg68kMrxN5xacTjlbQGVWB7Mbe7bQF+Di8DvP/HmQOVb3rhevEXi6 WbJSkK7bGbEyWWhABmrNaskYDizGhtYtcn9dx9sDTKmV9f6clihN9QxizQqwLoyj3eMNGgGM DE6fVkf5ruXpThVhPlyAQkjpjJsMPWEliCF7uLZNodesP1lBT5xnv5b53JywqVc7SVNTvh40 CXIqdsmr1ajm+iJgj1pNXgG4i5Mn56OtF5+NL/x7ZxcQXbZ9khL5m7WCh9MrtAjF96u86Fcx 97Tlb7ifTdP99WHmKlUT8PQKc+BLD8gKU+wRGCSVVRUC2Xxcz2A1Ck/2LmI+3aYr4Y3sM3pk ZsKEPpAUUAtU+kdAQJjFcADJ5F+WnUll6SahYgG/ynbzlGZScNEs5TATv/XD+/oLWPThL1Nf AcBwKm+IYMVP4n3wEtkQlh/hInQGkPUG9lG5DBiJFxRwg0F4D1lQ2s/1liwIBuq+2MWHOWok wQekQ5ieeQw/m2q6FxxJ1GMrSB2jUp7yrCHyXiBNTX2Kqm3R4RfDSH54lMwPp3MSAFwdQSun EZgOV8soppQiqNtb2FijEnVst1SGqwEJUWlSAQV2emXev9yl19X7CSsg0ZMo/bGW8MKfOQCc Ju0omhB0gYlZdVzOK+CfcJ0
Ironport-sdr: 64c28be4_Q13rCFA46qt+b8liQ0Qujk4kWYol0aIQMMxfsOY5HfWN0gf yV4r8TJl1AS1l6OXiWiz59w7iQn2jwjeG5qPAFQ==
Msip_labels:

Dear all

We are seeking nominations for the 2024 Dahl-Nygaard junior and senior prizes!

** Deadline: 30 September 2023 **

Established by AITO in 2004, these annual prizes are named after Ole-Johan Dahl and Kristen Nygaard, whose pioneering conceptual and technical work in the sixties shaped that view of programming and modeling which is now known as object-orientation.

The junior prize is awarded to a researcher who obtained the PhD degree at most 7 years before the award year, excluding any parental leave. The prize recognises a promising contribution to the field through a paper, a thesis, or a prototype implementation.

The senior prize is awarded to a researcher who has made a significant long-term contribution to the field in research or engineering.

The winners of both prizes will be given the opportunity of giving an invited talk at ECOOP 2024 in Vienna.

Lists of previous winners of the prizes are given below.

Nominations are due by September 30 and should be made using this form: https://docs.google.com/forms/d/e/1FAIpQLSd9qQb8MmtkWM01vLhIpqPTIlmgciNwDiiLtSxot05x6k6c4w/viewform

Please help me by circulating this call for nominations as widely as possible, and I very much look forward to receiving your nominations!

Thanks

Alastair Donaldson

Dahl-Nygaard prize committee chair, 2024

2023, Seattle

Sophia Drosspoulou (senior prize), and Heather Miller (junior prize

2022, Berlin

Dan Ingalls(senior prize), and Magnus Madsen (junior prize)

2021, Aarhus

Kim Bruce (senior prize), and Karim Ali (junior prize)

2020, Berlin

Jan Vitek (senior prize), and Jonathan Bell (junior prize)

2019, London

Laurie Hendren (senior prize), and Ilya Sergey (junior prize)

2018, Amsterdam

Lars Bak (senior prize), and Guoqing Harry Xu (junior prize)

2017, Barcelona

Gilad Bracha (senior prize), and Ross Tate (junior prize)

2016, Rome

James Noble (senior prize), and Emina Torlak (junior prize)

2015, Prague

Bjarne Stroustrup (senior prize), and Alexander J. Summers (junior prize)

2014, Uppsala

William Cook (senior prize), Robert France (senior prize), and Tudor Gîrba (junior prize)

2013, Montpellier

Oscar Nierstrasz (senior prize) and Matthew Parkinson (junior prize)

2012, Beijing

Gregor Kiczales (senior prize) and Tobias Wrigstad (junior prize)

2011, Lancaster

Craig Chambers (senior prize) and Atsushi Igarashi (junior prize)

2010, Maribor

Doug Lea (senior prize) and Erik Ernst (junior prize)

2009, Genoa

David Ungar (senior prize)

2008, Paphos

Akinori Yonezawa (senior prize) and Wolfgang De Meuter (junior prize)

2007, Berlin

Luca Cardelli (senior prize) and Jonathan Aldrich (junior prize)

2006, Nantes

Erich Gamma, Richard Helm, Ralph Johnson, and (posthumously) John Vlissides

2005, Glasgow

Bertrand Meyer (senior prize) and Gail Murphy (junior prize)

[Coq-Club] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023, Donaldson, Alastair F, 07/27/2023