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: Klaus Ostermann <klaus.ostermann AT uni-tuebingen.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] Dahl-Nygaard junior and senior prizes 2025 - deadline for nominations: 31 January 2025
Date: Sun, 29 Dec 2024 13:31:43 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=klaus.ostermann AT uni-tuebingen.de; spf=Pass smtp.mailfrom=klaus.ostermann AT uni-tuebingen.de; spf=None smtp.helo=postmaster AT mx04.uni-tuebingen.de
Dkim-filter: OpenDKIM Filter v2.11.0 mx04.uni-tuebingen.de 34FD12064096
Ironport-data: A9a23:Jf70rKicWqF1kmf+NttKEw0pX161zhQKZh0ujC45NGQN5FlHY01je htvDDrVbquNamD9ctF/aduy8UkF6sOHyNAxQAI6/Cw3EStjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtOg06/gEk35qir4mlJ5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGIEwZHJ83xtROJ3x0+ dwId3dcVACNiLfjqF67YrEEasULKdmzYMUCvHAl0SzUB/cgTp3FBanHjTNa9G5r2oYUW6uYP ZNFAdZsREyojxlnOVMeFYl4m/y0i2P6ejtegE+TpO8r/mXZzQp+3b6rPNe9ltmiH50NzxvE+ jual4j/KhEHF4a4wBS8yCyP3N33pCjmaKUjCaLto5aGh3XInDVPVERJPbehmtGyjVf7UNZCI WQP6y82pO4z8laqR5/zRXWFTGWsuw5EB5xNFex/9ByAwKvS7AufQGQJJtJcVDA4nOM7ah04+ WO7pvX0PzBPoOLSGEiN+LjB+FteJhMpBWMFYCYFSy4M7N/ivJw/g3rzojBLTPXdYjrdRWGY/ tyakBXSkYn/muYn+s2GEb3vhiL0+t7USA9w+hjaVGOj4Q5/IoKoD2BJ1bQ5xagRRGp6ZgDR1 JThpyR4xLtUZX1qvHfcKNjh5Jnzu5643MT02DaD5aUJ+TW34GKEdotN+jx4L0oBGp9bImK1O ReM5VgMtMM70J6WgUlfP9rZ5yMCkfeIKDgZfqm8gidmPMUuJVXvEN9GOR7LgwgBb3TAYYlkY 87HLZ/zZZrrIaltwSC2Tv0RlLwi3CQlgH7VRI721Q+mzbOTeDaJVLoPMV2BY+ZR0U93iFi9z jqrDOPTk083eLSnOkH/qNdPRXhUdiJTLc6t9KRqmhurflEO9JcJV6SJmetJlk0Mt/g9q9okC VnnBxMJmQSl2CCaQehIA1g6AI7SsV9EhSpTFUQR0ZyAghDPuK72tP9BJagkN6Iq7vJixvNSR vwIMZfISPdWRziNv3xXYZDhpcYwPF6mlCCfDRqDOTIfRp9HQxCW29nGegC0yjICIBDqvuQDo pqh9Djhf7w9eypYAvzrNc2fl2GKgSBFmcZZfVf5Hd1ISUC9rKloM3PQi9E0EeEtKDLC5GKQ0 gWKDTcmodjIp5IHqufUoaW+q6aoDOpMMU5IFEbL7buNFHf7/0jy5aRiQeq3bTTme2esw5qbZ MJR1KvaItAcuVR377pHDLdgyJwh6+vVp7N1yhpuGFPJZQ+JDoxMD2an384VkIFw3Z5c5BWLX 3yQ9ulgObmmPN3vFHgTLlEHasWBzfQlpSnA388qIUnV5D5Fw5TfaB98ZyKzsS16KKd5FKgHw u174c4f1FGZuyoQa92DinhZynSIInk+SJ4Yj5A9ArLwqw8V21pHMI39CCj33cm1UO9yEHIWe x2auKmToI5n5BvmU2EyHn3zz+ZilcwwmBRV/mQjeXWNuPT438ES4jMA0A4KXjx0zwpG2d1dI mJEFVN4DoTQ8iZKhPpsZXGNGQZADi2W5WralgIDkW7FQ2mWUl3IKHAPY9iQ2EUj90NdYTlp0 7WKw0n1UTvRXZ/Q3wljfWVHuvDcXdhK2Qmao/+eHuOBBIsfTQP+pK2ldU4kikLAL5sqpUvlo eJKwr5BWZfjP3RNn5xhWpio67sAbTulekpAeKhF14EUFzj+fDqS52C/G3qpcJkQG82QoF6KM O0wFMdhTB/k6T2vqAocDqsyI7NZuv4lyd4BW7HzL149rLqtgWt1ga3U6xTBqjcnc/d2neY5D 7HhRTaIP2iTpHlTwkvmjs1PPEimatglOiz4+s2I89syKpFSi9E0LHkO0Ya1sU6Fbyph3Raf5 z3Ya4HskudN9IVLnqnXKJtlOTmaE93Ied6zwFiBiOgWNdLrGuXShjwRsWjiblh3P6NOetFZl oatkd/Q3WGctrM1T2z5pZ2wEq1U15+MQc5SCMbWLWZbrwSGSsTD8xsOwEHmCJ1rwfd2xNire Bu8U+S0LeUqYtZ6wGYPTTpzCDMfNvjHVbjhriaDsPi8MBgR/gjZJteB93WyT2VkWgIXGp/5U CnYhu2P441GkYFyGxM0PfFqLJtmKlvFW6F9VdnQtyGdP1a4kGG5pbruuhox2w7lUkDePp7B3 qvEYRzieDCZmqLClohZurMvmCwnNi92hO1oc38N/9JztSuBM1cHCuYgKrQDNIBfl33j9ZP/Z QyVVlAYNwfGYW1mfyn/sfPZZSXONtxWb529bnYs8liPYii7OJKYDfEzvm186nNxYX34wPvhN dga/WbqMwOsxo1yA9we/eG/nfwt08ayKqjkIqwhu5ea79ci7bQ2OLhJGRoVCWraFcCIiFjGL 2kzSm1CBk22IaI0/QCMZFYNcCz1fhu2p9nrUctL6MvZusCH0eBKyfvwNue13rBrgAEiOusVX X2uL4eSyzn+55HQ0JfFf/o0h64xFe+GFMm8I6LlAwEf9011BqLLIOta9RcyoAoeFMKz3r8Te vRAI5TzOahdFH1s5Q==
Ironport-hdrordr: A9a23:i/H2+KkWZNDTBaMANVMnGpU+FevpDfIr3DAbv31ZSRFFG/Gwv9 yymv4BxQbo4QxhPE3I6urwW5VoIEmxyXYWibN6AV7GZmTbUQSTQr2KgbGSoQEIeBeeygc+78 hdmsFFYbWaMbEQt7ee3ODXKadG/DDKysCVuds=
Ironport-phdr: A9a23:1Y19MxVB63UPpD5KTNCmDfZo2lPV8KzAXDF92vMcY1JmTK2v8tzYM VDF4r011RmVBtydsqgYwLaP+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1vI BmssAndqMYbjYRtJ6os1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrxW8qRxi2I7UeJ+aO+Zifq3TetMaQHBOXsdXVydcBo+xY I8CA+8HMO1FrYfyukEOoAOiCgevCu3gxTFHiH/r06MkyOkuCx3K0RY6Et4SrnjZrtP4P7oSX +Cvy6nIyC3OYfZS2Tjn9YjIaQ0qr+iXXbJsb8XR00wvGBnDjlWWtIfoODCV1uAXvGiG9OpsT +Wvi3U7qw5vuDivw90jio/Pho8O11DE8yR5zJ8pJd2lVkF0et+kEJ1fty6EMYt6WN4tTH9xt Ss817YJtoK1cjIQx5Q72x7QdeaHc46Q7x7/SeucICp1iXB7db+/hhu/80itxO3hWsWozVtHo ClIn9jIu3wQ2RHe6MeJR/hz80qhxTuC1wLe5+VaLE02lafWLYMqzLA3lpoWq0vDHyn2lV35j K+RcUUk9eyo5Pr9brr6oZ+cMol5gRz9PKQ2gsGzHOo1PwcUU2SF4+ix1Kfv8VPkTLhFlvE6j LPWvIzGKckeu6K2HQpY3Zon5hqjEjur1cgXkWUbIF5YfR+Kj5XmNlLLLf/mA/qznUignTJwy P3FP7DuHJDALnbAnbrjfbtw7VNXxRQ3zdBC/JJUFq8OIOjuVE/wtd3XEAc0PxCyzu36Ettyz JkeVniKAqKBMKPdr1uI5uU3LumJa44ZpDnwJ+I45/7ojH81gEMdfbS30pQMaXC4GPtmLFufY Xb2n9gOD38Gvgs4TOP0lF2PSSNfani9Uq4m+D03EoKrAZ3dSoywj7GNxCK7EYdXZmBCBFCMC 3Dod4CcVvcPbCKdONJhkiceWbimUI8hyQ+htBX/y7V9KOrU/DYVtY/l1Nh0/uHTiQwy+iJvA MSc1WGNQH97nmUSSzArwq9zuUp9xUyb3qhin/NYDcBT5+9OUgoiKJLQ1/Z6BMzqWgLdYteJT 06rTcmhATEoV94+39sOY1tmFNi5lRDC3y+qA6cPmLCRBZw09Ljc33nrKMpnxXbGzvpps15zS cxWcGaim6RX9g7JBoePnV/KubytcPE/2CfQ7y+k1naDpkRRVgg4BabBVG0EIEzNsdnj40rES ZezD7ViLhZMw8+EJaZMLNHk2wYVDMz/McjTNjri01y7AgyFk+/dBGKLU2AU3SGHTVMBjxhW5 3GNcw43GiampWvaSj1oD1PmJU32oqFlsH3uaEgywkmRalF5kaKv80sWgfWBULUUxa4JoiIor TNcAVC8ms7LBtCBoQVseuNQbIB1+09JgFrQrBc1JZm8N+Znj18afR5wuhbt0xxqEcNHitQnt nYjygxaNKSZlU9cejmZ25/9PPvbJzq65wihPojR3FyWy9OK4uEP5fA//k3kpx2sH1E+/m9P1 skNjz2B4JSPEBcfW5P3XUsxsRR3z13DSg864Y6clXhlMK3u9yTHx8psHuwujBCpY9ZYNqqAU g70CcwTQca0eqQsnBCyYxQIMfo3luZ8Nt66d/aAxK+gPfpx1DOgg2Nd5Ylh00WKvyNiQ+/M1 pwBzrmWxAyCHzv7iV6gtIjwl+UmLXkRGmOi0m7jH5JcfKh7e4AjFGGvZtGqy99/gZHgXThU+ R/rBl8L3tOoZQvHd0b0jmgynQwcpX2qnzf9ziQhymp16PDZgWqUmrixEXhPcnRGT2Rjk1r2d I29jtRAGVOtcxBsjhyuo0Dz26lcoq17aWjVW0ZBOSbsfAQAGuO9sKSPZ8lX5dYmqyJSBa6/Z VmHUfj6uAcXySbqGW122TY6Mi23t5/4mRN3jiSRITwgyRiRMdE13hrZ6NHGELRS2jMbX29/k iXaHF21Od+B4NOV0ovev+q/UW2sUNtffGO4qOHI/Dv+7mpsDxqlmvm1kdCyCgk23xjw0NxyX DnJphLxCmXy/5yzKvkvPkxhBVumrtF/Bpk7iIw7wpcZxXkdgJyRu3sBi2b6d9tBi+rya38ER DhDxNCwgkCt20lqM2nPwJnlW2+Yy81nT8S8YyYKxy837sZFBaHS4LEMkSZuo1W+pB7cerAkx Wtbk71zriRD36kAo29Phm2FD6oXHFVEMCCkjBmO492k7e1WaGupbbmsxR97lNGlAquFp1IUU 3L4d5E+WC5ou5wkbBSWliC1sNi4K7yyJZoJuxaZkgnNlb1QIZM1zL8RgDZ/fHj6tjsjwvI6i hpn2de7upKGIiNj5vHcYFYQOzvrascU4jyog7xZm5Pc3ISmA44nHS4XUYHtRPSuOC8UtLH7K guEETszp3HdFbeVTmr9oA926mnCFZymLSTdJ30Q0M4kQwKBKVZaiQYSdCg8n9slCw2gxcruf UE/6j1btTua4lNcj+lvMRf4SGLWogylPyw1RJaoJx1T9ghe5k3RPJ/W/qdpEipf5JHksB2VJ znReVFTFW9QEB/hZRirLvy06NLH6eTdGueuM66Ef+CVseIHH7SJ3c79i9A6uWzKa4PWbyMlV aJzjUtbASIgQJifwXNXDXRQznyoDYbT5xakpH8t9pjmoqvgAFC0vdOEWeALaYg9qVfo3e/UN vbO1nwhcW8KiZhUlySQkOBNjhlO00QMP3GsF78EqCLAHqvfl6lLEgQAZjltOdEO4690lghLM srGht6nzaZ2yOYvDEtIXkDgncfvYtEWJ2a6NxXMA0PuVvzOMzTPx4ufjbqUb7pWga0UshSxv WzeCEr/JnGZkDKvURmzMOZKhSXdPRpEuYj7fAw/QW7kBMnrbBG2KroVxXU/3KE0i3XWNGUdL Sk0ckVDqaeV5D9ZhfM3EnJI735sJ+2J0yiD6OyQJpETuPptSiN68oASqGw90KdQ5TpYSeZdn TuK8phzpVDjjvSCwDthXxdI7DpGxcqKsUhkJaTF58xAVHLDr3dvpS2bDxUHoccgC8W64vsMj IKJyeSpcWsRlrCctdERDMXVNs+dZX8oMB6zXSXREBNAVzmgc2fWm01alviWsHyTtJkz7Jb2y /9sAvdWUkI4EvQCBwFrBtsHdd10Wjo5ivicl9IF/3+3qh/5WcNb+4zaW/iTB/riLnCVgPMXA nlAiaO9NokVOoDhjgZ6bUJmmY3RB0fKddVd+nEncwk15VlQ/XJ/SGI+3QTpZ0n+hR1bXe7xl RkwhAxkZO0r/zq5+FY7KG3Boy4omVUwk9Ho6dh0WCP3LeKsQIxcCiz7uk53Pp6pG26dgiWvm 00hKCrJTbNXgLZmM2xm2la0UXpnHO4EEetZZh5V2eyabfQu3lla7Cmqlxcv2A==
Ironport-sdr: 67714130_6GInrSGHI7xMkQjo6cx1Fx+hBPPE1eJ6KeXBGtpIvRKiyq2 UZtOnGQvKQJiAoylt7QGbrHEKqPJENNaW1HL11Q==

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

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, Klaus Ostermann, 12/29/2024