coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025

From: Giorgio Audrito <giorgio.audrito AT unito.it>
To: coq-club AT inria.fr
Subject: [Coq-Club] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025
Date: Tue, 7 Jan 2025 17:53:36 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=giorgio.audrito AT unito.it; spf=Pass smtp.mailfrom=harniver AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f182.google.com
Ironport-data: A9a23:nQByua3n1ievK3LBefbD5UN1kn2cJEfYwER7XKvMYLTBsI5bpzIPy 2pMX26GafaDamXzf4pzOdi/8kxQ7ZXSyNNkTgRs3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8gVaYDkpOs/je8Eo346yo0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3vUk/VWARE0AadGw74vHHtD8 +MpAT9YO3hvh8ruqF66Yuxlh8BmNcqyeY1G6ismwjbeAvIrB5vERs0m5/cChGZ21p0IR6yEI ZNJM1KDbzyYC/FLElceEpQ/guqyrnb6ejxc7lmSoMLb5kCKlFEuieS1boG9ltqiecpNn0PCm T7/0WGkBC0UL4ylkyiP/Sf57gPItXimAdpNRePQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoA3/U2vC8D+Bli2+S7e+BEbXNVUHqsx7wTlJrfoDxixBlBUTgZMON4anpEPHWQ3z FKPgOLACmk62FGKck61+rCRpDK0HCEaK24eeCMJJTfpBfGz8OnfaTqfHr5e/L6JszHjJd3nL 9m3QMUWgrwSiYsS1Pz+8wmX2XSjoZ/GSgNz7QLSNo5E0u+bTN/8D2BLwQGEhRqlEGp/ZgfZ1 JTjs5bGhN3i9bnXyESwrB8xNL+o/e2ZFzbXnERiGZIsnxz0pCX9JNAAu2kmeR8wWirhRdMPS B+D0e+2zM8DVEZGkYctO+pd9uxzkviwS4u/Dpg4kPISOsUvL1HvEN5Sib64hD20yBd9z8nTy L+UdsGjCXtSCKJsilKLqxQ1gNcWKtQF7TqLH/jTlkz5uZLHPSL9YelfbDOmMLtjhIva+1q9z jqqH5Hboz1FTvbEazXamaZLawFXRZTNLcuu85QPHgNCSyI6cFwc5wj5nO1wItY7xfQO/goKl 1nkMnJlJJPErSWvAW23hrpLMdsDhL4m9Splbx8/d02lwWYiaouJ5aISPcl/N7o++eApibY+Q /AZco/SSr5CWxbWyQQ7NJPdlY1FcAj0pASsOyH+XiMzUaQ9TCP0+/jlXDDVyg8wMgSNu/ATm YaQjjHgfcJbRiBJLtrnV/a0/lbg4VkfgL1TWmXLEPlyeWLt0tFgLiiphO5qO80nCA7iwwGC3 F28GiYopujqoq40/uLWhKuCkZybLutmEmdeHEjZ9byTNxSGzlG8wIRFbvmETQrdWEzw5q+mQ +dflNP4D9Eqg3dItNBaP4tw7Kdj+ebqmaBW/j5kEFrPcV6vLLFqeVuC/MtXs5xy1q1rghS3V m2P6+tlF+2wYu29K2EoJS0hcuin/tMXkGOL7f0KfWPL1BUu97+DCUhvLx2AjRJGF4RMMaQn/ PwAvfAH4AnumzsoNde71hpvzVquFUBZcasbtcA9OrTJ2y4L0VBJZKLOBhDmuK+vb8p+CWh0A zu2qpebuZFi6BvjSUcjLVnMwutXuroWsj9o0lIpBgqEi/jFtNANzTxT9jU9cSpNxD4ew+thF 3RZNWApAKTT+T0y1c5JcF2xKlsQGDyY5U3D5F8bn0LJT0STdzLsLU9sHc2v7Uwm42ZnUTwDx 46hyUHhSiTPUPDq+Ck5SWpJiqXEY4Rq1wvgnMuHIZy0L6Mia2C4vp70NHs6lRT3JOgQ2mvFn LBO18RtY/TZMSUwnfUKO7OC3+5NdCHedX1wetA/zqYnBmqGRSqT3wKJIEWPes9gAfzG3Eu7K s52LPJ0SBWM+3eSnw8fGJIzDed4rNwx6PoGX4HbF2oMnr+cjzhu6bb71Cz1gk01SNRPz+c5D K7sdAy5L2/BvksMxlfxr/RFNFGoPvgCRgn3h96u/MszSpksjeBLcGMJ6IWSgUm7CgVdwk+rj FvxXJOOl+1G4qZwrrToCZRGVlmVK8usdeGm8zKTktVpbPHJO/jgrwk+91vtZVxXGZAzWN1Hs 6uHn/Cq/UHCvZcwC3v4nbvYHYZ3xMyCZshlGeOpE2t7xAypR93JzyYY3VyBObhlsY9499a2Y QmVc+6yfoMlYMhcz3hrdCRuKRYRJKDpZKPGpynmjfCzJjUC8A7APvW13GTIaDxFSyo2JJHOM A/4lPKw7NR+ro4XJhslBeljMqBoMm3YRqoqWN3ghwa2VlDyrAu5hYLjsh485RXgKHqOSp/66 K2YYCnOTk25vaWQwexJt4B3gAYsM098pusNZWMYxc99jmGrLWwBLNlFC648NLNvrnXQ2q37N Rb3V0lzORWlCH4AOV/57c/4VwiSOv0WN52rbnY19keTcGGtCJnGHLJl8Tx67mxrfif4ituqM swa5ma6Ky3ZLkuFngrPzqfTbSZbKvLmKrYg/En8l4nrAE9bD+xajjpuGw1CUSGBGMbI/KkOy a7ZWkgcKHxXi2aoeSqjR5KRMB4ctTLriT4vaE9jBf7B7p6DwrQoJOLXYonOP35qUCjODKMIR G/wAWqRi4xTNrr/poNx0+8UbWRI5T5n0yR0wGIPheHfok1o1lkaAg==
Ironport-hdrordr: A9a23:tDDg0q+XwItQeBEBArZuk+D1I+orL9Y04lQ7vn2ZKCYlC/Bw8v rFoB11726XtN98YgBCpTniAsm9qBHnhPpICOAqVN/IYOCMghrOEGgN1/qF/xTQXwP7ssFQ3b p9aKRlYeeAaGRSvILV5E2XHb8br+VvM5rFuQ4d9RpQpM1RBZ2IJj0ZNjqm
Ironport-phdr: A9a23:Jg7KIBSIqR9B/FEYymESLU+jptpsohqVAWYlg6HPa5pwe6iut67vI FbYra00ygOSBMOCt6gP27uempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb65+I A+roQjeqMUajohvJ6IswRbVv3VEfPhbymxvKV+PhRjw4du+8oB++CpKofIh8MBAUaT+f6smS LFTESorPWMo6sD1rBfPVQSA6GcSXWUQiRpIHhPK7ArmUZfrsyv1rfRy1S+HNsDrV780WDCi7 6B2SB/0jSoMKjA0/H3LhsF2kalUpw+vpwFkw47Mfo6aKOZ+cK3afdMfX2VBX8BRXDFFDo6za 4YDCuwMNvtaoYbgvVsDtRSxCwmiCu3s1zFGmGP50LYg3Og9CwzLxhAsE84MvXnSsd77NL0SU eewzKTQzDvDbvRW2S3y6IjJdRAqvO2BXa9tfsrLyEkvCwTFhUiXpIzqPjOV0f4Ns2ea7+pnT +6gkXMnpBxrojiu2scsjZLEhp8TylDF6SV5x5w5JdykSENiZ9OvDZRfuT2AOYRsXsMiX39nu Dw8yrAeuZC3YicExZs5yxPbdfGKbZSE7xzhWeqPLzl2inBodbOxiRuz/katxePyW9Wo3FtEr iRLncXBu3AN2hHO5cWKRP1w9Vqv1zaI0gDc8OBEIUYsmKrULJ4hxbEwlp4NvkjZAiD2n0D2g amLfUsn4uil8/rrbqniq5OGNIJ5ihvyProwlsChG+g0LwsDU3ad9O+hyrDj+VD5QK5WjvIoi KnXrZHaJMUFqaOhHwNY1Jso5QylADe8ytsYmGEKLFJbdxKDiIjkI1TOL+r5Dfe7mlisiTRry +3fMr3vH5nALWbPnK3ufbZ67E5cxw4zws5F651IDbEBJer/Wk73tNPGEh80KxK4z/rjBdln1 Y4TWXiDDrGHPK/Mq1OE++EiL/eUaI8Qojn9Kvwl5/D0jX8+nF8QZamp0oENaHC+H/RmPVuWY WD3j9cOFGcFpAs+TOjwhFKeVj5TYm6+X6Qn6T4jEoKpEZ/DRpyxgLyGxCq3A4VaZnpaBVCUD Xfoa4KEVu8QZyKVO89tiyALVby8S4A6zhyurw/7y79/LuXO4CEYtJTj1MJ05+LJjx0y+yZ0X Iyh1DSGSHgxlWcVTRc32rp+qApz0ASty6991tNZEsZc5vQBexo2L5/AyKQuBNH1QA3AeZGAV Vq8Q8mhKSw3T842hd4SNRUuU+6+hwzOinL5S4QekKaGUcBlmkq99334JsImjm3DyLFklF4+B M1GKWyhgKd7sQnVHY/A1UuDxO6xbapJ+inL+S+YyHaW+llCWVt/UKLfUnEYIELLoc74+kTqU rmvFbNhMxcSgdWaJP5yY8byxU5DWO+lPd3fZ2yrnGLlBR+SwLKSYZDCdGAU3SGbA08BwEgI5 XjTEw84C2+6pn7GSjxjEVW6e0T37ex3s2+2VGcxxgCOKlRijv+7o05Pw/ObTPwX0/QPvyJJR yxcOlG70pqWDtOBo1EkZ6BAeZYm508B02vFtgt7N5jmLqZ4h1dYfR4l90Xpnw56DIlNi61I5 Dsj0RZyJKSE0VhAayLQ3Jb+PafSI3Xz+xbnYrDf21XX2tKbsqkV7/Fwp1LmtQCvXk0slhcvm 9ZU1GGT55KMBRceS5PtVW4q8RlmoPfbfmh15o/Z02FtLbjhqiXLiLdLTKMuzhetecsaMbvRT lejVZ1HQZL0cqpzywL6C3BMdPpf/6M1Ic68Iv6P2arwef1lgCrjlmNfpoZ0zkOL8SN4DO/Ox ZcMhf+CjW7lH3/xikmstsfvlMVKfzYXSyC/wDLiBZBcfIV9eI8KDSGlJMj9lbAcz9b9HmVV8 lKuHQZM186uYxWTaBr0wAFK1FgQiWGhmDe/iT1o2WJMzOLXzGnFxOLscwACM2hASTx5jFviF oOzisgTQEmiawVBeAKN3U/h3OAboa1+KzKWWkJUZ23tKHkkVKKst72EasoJ6ZUysCwRXv7uK VydT7f8pVMd3UaBVyNezSo9di+noL32mhV7jCSWK3M7oHfCeM52zAvS/5SGHa8XjmdAHnMiz 2CHXBC1JJGx8M+Rlovfv+zbNSrpTZBVfSTxjMuBuCa9+Wx2EEi6lvG3lMfgFFty2iv62t92E CTQ+UykM8+7iuLga7ghJxkyVzqeo4JgF4pzk5U9nsQV0Hke3dCO+GYf1Hz0KZNd0L7/a3wEQ XgKxcTU6U7rwh4GTDrByoTnW3Ga2sYkacO9ZzZc2isn6cFUBb2847lNnC8zqV2951G0A7A1j nIGxP0i5WRPyeEAogws0CiHKr8XFEhceyfrkl7bp8D7p6JRamG1dLG230crhtGtAoaJpQREU Wr4cJMvTkoSpo1vdUjB23rp5sT4acHdOJgN4waMnU6K3KBFbYg8nf0QiW97NHLh6Dc7nvUjg 0ULv9nyvZDbeT4wuvvoWlgCamKzP4RJpnnslfoMwJrQhdv0WMw/QnNTG8K5BfOwTGBM67K+b 1zISHtk7S3DfNiXVQ6HtBU48TSVT8HtZynRfD5DlZ1jXEXPexYZ2VxSBWRg2MZ+T1DixdS9I hgloGlLuxig7EMLk7wNVVG3U3+D9l7wOnFtF8fZfFwOqVsbr0bNbZ7Hsbk1RnAEuMXn9EvUd CSaf1gaVzlYHBzZQQm5bv/2ooCflorQTuumc6mUOOvI9LwYDqbSg8roi9ou/i7QZJ/WYD84V Kx9gRAFBTcgSozPkjELAUT7jgrraMiW7Fe58yxz9YWk9ejzHRno/c2JAqdTNtNm/1a3h72CP qiennQxLzEQzZ4KyXLSrdpXlFcPlyFjcSWsGrUcpGbMSqzXgKpeEx8cbWt6KsJJ66s22gQFN 9Tcj5v50btxj/h9DFkgNxSpgsayeckDOH2wLnvCDUePca2FfHjFmpGtJ6y7TrJUgaNfsBjx8 TeXHkn/PyiSwjnkUxf8VIMExCqfPRFYpMS8akM3UTmlHI+gMEfhdoYn125To/V8nH7BOG8CP CIpdkpMqubV9iZEmrBkHHQH6HN5LO6CkiLf7u/CK59Qv+E4Z0Y83+9c/nk+zKNYqS9eQ/kg0 ivbtNhvvVy8uuaKwztjFhFJr3wY4eDD9VUnIqjf+pRaDDzc+wkR6GyLFxkQj95sC9mqoqMJj 9aWxPi1JzBF/NbZu8AbAoKHTaDPeGpkOh3vFjnOCQIDRjP+LmDTiXtWl/SK/2GUpJw3wnADs JULQ75fElcyE6FDYqyANMEEIYtwGDI4w+bzZC8g4HO/qFzIR5wfsMmXDLSdBvLgLDvfhr5BN UNg/A==
Ironport-sdr: 677d5c1e_00O/yD4CLkr+nRc+FebF25LJvYXQVvyFdIbFM0DyYD0AuCh gDjIkhQQq88PVV/g6BwSwR999IqhLA4SKHx/dBg==

Dear all,

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

** Deadline: 31 January 2025 **

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 2025 in Bergen, Norway.

Lists of previous winners of the prizes are given below.

Nominations are due by January 31 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

Klaus Ostermann

Dahl-Nygaard prize committee chair, 2025

Previous winners:

2024, Vienna

Rachid Guerraoui (senior prize), and Alvin Cheung (junior prize)

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 2025 - deadline for nominations: 31 January 2025, Giorgio Audrito, 01/07/2025