Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Ackermann Award: First call for nominations - Deadline 1st July

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Ackermann Award: First call for nominations - Deadline 1st July


Chronological Thread 
  • From: Maribel Fernandez <maribel.fernandez AT kcl.ac.uk>
  • To: Maribel Fernandez <maribel.fernandez AT kcl.ac.uk>
  • Subject: [Coq-Club] Ackermann Award: First call for nominations - Deadline 1st July
  • Date: Mon, 14 Apr 2025 18:02:59 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=kcl.ac.uk; dmarc=pass action=none header.from=kcl.ac.uk; dkim=pass header.d=kcl.ac.uk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=gFRsnykAY69A4bjMkaguL0ltUzNTAubEcNBpndLqQi4=; b=Kbsf39VqFRPtrW+AqZWftVF2rRG/VZUIPY9naBSztFFisWN6atxhzjwNZ1luJlGPMT6I0TOvohnRyydJlcRgmCVkX992HHM+inHzpI20VZTcud6ZvATDO78+UCQPS1IsOw165DrVD8CS9WtEGoG1KOJolobySSqWa8//xacbp56wD9qfZUrJ/9mEmTyNZph7j15GUERewxA6hZNuoD475LiQGa6/QGyE3hEdnRonk41RO5mK38WJidGqnLrBC/N2rc1rQOkbBeiPNYsJZ+u73LHtf9vGSR52lm/DzgUf2uMznD4o7NFTllwILT55zdP12gs3ZtQ5hcFQhfPOiQaZyQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=vzDW5pGydG6j5C4rHdMiqaGymIywojQd2iGc4yaU+vCWFIz0FjDWNTX++llnsuBMjVlMBqBoJSkRXRSOcQ/5XZPwKn5Bvq1NxRoGt+jEuGs8yfW5pFNMhBSmoADkQ6RnvaSXJ+KguiZuK62rXENbLSp4NH0DuL1fo/6sOH9CZVBEjKtowrx83abmQqCl1nnULkdEdCXNT7vlJS4rx8CTlvcOInIxLK1rlaJr+HjZoP6XPs5DrVzTxkJvgOpak24SiNIcf3V8or4tUPmmXpUcSYAKjArxb0I+dp4rxiVePcogazLRYedxz/fAXplN05NgQQU5t53N+tBE5ANg7pbzsg==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=maribel.fernandez AT kcl.ac.uk; spf=Pass smtp.mailfrom=maribel.fernandez AT kcl.ac.uk; spf=None smtp.helo=postmaster AT PA4PR04CU001.outbound.protection.outlook.com
  • Ironport-data: A9a23:QdEN3aNqAk+OCj3vrR20nMFynXyQoLVcMsEvi/4bfWQNrUp20TUAz DYbDz2CO6rZajPwfNgla4nipxlTvJ7QmNM3TXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQLNNwJcaDpOtvrf8U835ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXmdmrAmLZHAngrAq0789xdHH5I0 s0hfWVlghCr34pawZqDY7VUvJx/B/SzZNpZvWx8xzbEC/pgWYrEX6jB+d5f2nE3m9xKGvHdI cEebFKDbjycO1sWYghRUcxk2r703xETcBUAwL6Rja8++WnZwQg33rX3NtPTdtGYbcZemgCRr STb/AwVBzlDbYDFlGDVqC/Eaunnhnmiab4CGraBzN1hgnKO70sOBTwGWg7uyRW+ohXlAY4AQ 6AOwQIlqrF3/0i2RPHmThigqTiFuAQdUpxeCYUHBBqlz6PV50OXHGECRTNKZdo6rsYyTC4t0 AbQx4myXGA29rqIVXia67GY6yuoPjQYJnMDYilCShYZ597ko8c4iRenostf/LCdrtjkNWqz6 j6zsRcepLwpp9MU0YKKxAWS696znaThQgkw7wTRe2uq6AJleYKoD7BED3CLvZ6sy67JHzG8U Gg4piSI0AwZJb+3/BFhrc0IFbCtovifOTvXjFViGYU7/jCk6XmlJNkIumoneB4vNdsYczj0Z kOVoRlW+JJYIHqta+lwfp61DMMpi6PnELwJt8w4jPIQPfCdlyfepkmCgHJ8OUixyyDAdolja f+mnT6EVypyNEie5GPeqx0h+bEq3Dsi4mjYWIr2yR+quZLHOyLJFOlUaQPWMr1khE9hnOkz2 4YPXydt40UOONASngGKr9RKRbz3BSRlWs2u95ILHgJ9ClA6SD16Vpc9Po/Ni6Q+xP4JyY8kD 1m4W0RCz0H4i2GPIgKQchhehEDHDP5CQYYAFXV0Zz6AgiBzCa72tft3X8VsJ9EPqrc8pcOYu tFfIK1s9NwVEWyfo1zwrPDV8ORfSfhcrVnWYXf0P2BuLsQIqs6g0oaMQzYDPRImVkKf3fbSa ZX5vu8CacNbHlQwP9Wcc/+10VK6sF4Une84DQOCIcBedA+ouMJmIjD4xK1/acwdCwTx9h3D3 SavADAcubbspa0x+4L3nqyqldqiPNZ/OUt4JFPly4iKGxPUxUed5LNRcf2peGndXVzk+a/5a uRyyer9AcI9n11LktRdF5xB64wU3P7DnZNk8i17OU6WcVibMLJqeUeb7+ISqaZIl+drhi3uU 33e5/1faOyFF9P7GgQKOTt/P/ii1O4VqBbW//8aMEX33w4p3bulAGF5HQiAtzxZF5RxaLga+ OYGvNUHzTCwkT84G4+iogEI0nWTdFoSfr4CtJpHMLT0iwEu9E5OUabcBgDy/puLTddGaWsuH RO5m4vAgKZ61GPZUn9uC0XI4/VRta4OtD9O0lUGAVaDwfjBp/0v2Sxu4SYFdRtUwjpHwtBMF DBSbWMtHpq3/hBsmMRndEKvEVsYBBSmp2rA+2FQn2jdF0SVRmjBKVMmAtm0/Wcbznl9ewZK9 7TJ2UfnVjfXJPvK5BUQYnI8ifLfTo1WzDbgyeSHBMWOGqcobQX12pGOYXU6kDq5IMcTqnCem 8xU0rdeVanJOxQUgZUHMKiB9LFJSBm7NG1IGv5g26USHFDjQjK52BnQCkWteMlmevz74BLhA t1PPeNKbQy1jwyVnwAYBIkNAr56p+Eo79w8YYHWJXYKnr+cjzhxurfSy3TOv3AqSNBQjsoNE IPdWDacGGi2h3EPuWvygORbG2i/O/8oWRbd2b2rzeA3CJ4ziuFgXkUs2L+SvX/OEg9G/QqRj TzTdZ3t0O1u5oR9rbTCSpwZKV2PFuryc+CU/CSYkddEN4rPOPiTkTIlkADsOgAOMIYBX9hyq 6+2j+f2+0H4p5czbXHSnsiQNqtO5PjqZtFtDODMECB4kxeBCejW2DlS30CjKJdMrsFR2dn/e Su8d/mLVIA0X/Vz+SRrThZwQjcnJYb5VKPCnR+Gju+tD0Ed2DPXLdn8+n7Oa3paRxAyOJb/K 1HVvuqs7PsFrLVdWUYNFtB9IppCOFS4c7AXR97wkji5D2eTnVKJvIX5pycg8T3mDnqlEt7wx JD4GijFaxW5vZ/XwOFjs4BdugMdCFB/i7ISen0x1sFXiTfgKkI7NsUYbIs7D69LnhzI1J3XY C/HaE0gA37fWRVGaRDN38TxbDyAB+AhOsbLGRJxxhm6MxyJPYKnBKdt0gxC4H0sIzvq87yBG OEko3b1OkC8/4FtSeMt/ceEuOZAxM7B53c26Ev4wt3TAREfPO0w70ZfPjFxDA7JL8Kcs3/wB zkFdTgRCgXzA0v8Ct1pdHNpCQkU9mGnhSkhaSCUhs3TocOHxelH0+fyIPz3zqZFVskROboSX jnicgNhOYxNNqA74sPFeu7FgJOYzdqzN5SCFve/bjBKx/j27Xk7NcQfmyZJVNsl5ANUD1Lak H+r/mQ6A0OGbktW3dV6DOnPF41ZChox4/Ph1WYTZgMqVTQ6xNyfchPs0QGTxVTYtf34p0sBK NsNRB/5nrBV3QcIYRF9vfBdr1fBHMJ5+bwolMw3ZsuarypAg1Ox2FysP4/WGj6RHLB5Kl1oS Zus
  • Ironport-hdrordr: A9a23:XRiWcaO+AWp+ycBcT1/155DYdb4zR+YMi2TDiHoddfUFSKalfp 6V98jzjSWE7gr5K0tQ4OxoWZPwN080kKQY3WB/B8bHYOCLggqVxeJZnMLfKl/bakrDH4dmvM 8OHZSWY+eAbmSS+PyKhTVQZOxQouVvnprJuc7ui1NWCS16YaBp6Al0TiyBFFdteQVADZ0lUL KB+8tuvVObCD8qR/X+IkNAc/nIptXNmp6jSwUBHQQb5A6Hii7twKLmEiKfwgwVX1p0sP0fGC n+4kHED5eYwr6GIyznpiHuBlNt6ZrcI+54dYCxYw4uW3XRY0iTFcdcsva5zUgISamUmS0XeZ /30l8d1o1Img7slivem2qW5yDwlDkp8HPs0lmenD/qptH4XiszD45biZteaQax0TtUgDhQ6t M544uijeskMTrQ2CDmo9TYXRBjkUS55XIkjO4IlnRaFY8TcqVYo4AT9F5cVM5oJlOM1Kk3VO 11SM3M7vdfdl2XK3jfo2l02dSpGnA+BA2PTEQOstGclzJWgHd6xU0Fw9F3pAZ1yLstD51fo+ jUOKVhk79DCscQcKJmHe8EBdC6D2TcKCi8QF564W6XZZ3vF0i91aIfuo9FmN1CUKZ4s6cPpA ==
  • Ironport-phdr: A9a23:ZIQTEhZMR9JodfX2CXm3Ain/LTFQ2IqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wWPBd2Qsagd0bKempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb61+I A+qoQnNucUan5VuJrsvxhfVv3BFZ/lYyWR0KF2cmBrx+t2+8Jl//SpOpvkv7dRAUaL0f6Q5S bxXEjErOH0r6cPoqBfOUxKB6mMTXWsKnBVIBRPF7AzhUZfqriT6rOt91zKEMsDwULs5RC6t7 6ZvSB/vlScHKzs0+3zZh8BskK5Wpg+qqBtjzoPafI2ZKeNycr/AcdgHQWZNQ8ZcWylHD4ihb YUAEvABMP5YoYfjulUOsRWwCwqiC+zzxTBFnWX50bE/0+k7DQ3Lxg4tEtQTu3rUttX1M6ISX PiywqbS1zXDbuhZ1in56IPVch4uv+uMXbRqfsrX1EYgCQLEhUiXpIzgJTyVzOUNvHOF4OpkT +6vhXAoqxt3oje1wMcjl5fGh4MOx1DH6Sp5xJw5KsekR0JhfN6kE4JduieHPIR5Xs0sWXtnu DomyrIYo567ejAHxZAmyhPbdvGJc5aF7xbjWeqPPTt1mXxrda+wiRuw7UStye/xW8203VtKr SdLnMXBum0R2xHd9MSKVuVx81qi1DuJygvd5OZEIUUumqraLZ4s2qA/mYAIsUXDAiD2mF/5j K6Mdkk+/eio8evnbq3lppCAM494kBvxPbg0lsyiAuQ1NBUFUWuD+emk27Dv4Vf1TKhWgvA0i KXVrZHXKdoBqqKkDAJZz54v5wi+Aju63tkVmGQLIE5fdx+GioXlJlHDLOz9APq+jVShlTJmy +3CM7DnH57AMHzDkKr6fbZh9UFc0hc9zdFe5p1KErwNPPT+UVLrutPCFB82KQm0zv7nCNpj0 oMeXnqCDLWFPa7dq1GG+v4jLuaSaYAbpDrxN+Up6+TpjX8khV8SZq6p3YYRaH+lBPhmO1+ZY X3wgtgfDWgKogs+TOvsiFGYVj5TemqyX6Y75jE8C4KqF5vMRoeogLCZ3Se7GINZZnxeB12DD XvkbZiIV+sOZS6IP8NskyIIWaK8R4IuyB2irAr6xKBmLurQ9C0Yr5Xj1N1t6u3Wjx4y7z10A N+D3GGJVW10kH0HRyUw3K9lp0xy10mM0KljjvxbCdNT4+lFXR0mOpLG0ux6CMj+WgTacdiRU lapXs2mAS0tTtI229ICfl5xG8++gRDbwyqqH7gVmqSXC5wz66LQxmT+J8Jgy3ndz6QhlFknQ s5XNWK8nKJ/9g7TB5TIk0qDjaqqe74cj2bx8zKmxHCPtkxcGCB9S6PMW3wSdAOCqN3j50nPS /mgBK4hOw1NxNyqKaBOLNTiy0hFEqTNItPbNke4gWa6CBLA6L6WaoPsd2gPlHHYAVIFmQ0Xu 3iLLw43ACussUrdBzgoHFmpfkC6oro2k2+yUkJhl1LCVEZmzbfgo0N9bZ20TvoS2ulBoyI9s 3BvG0772dvKCt2Grg4nfaNGYNp77k0UnXnBuVlbOZqtZ7tnmkZYax5+6kbnzRR9B4EGn8Uwq noswAdgAaGT1BVIfHWF3sO4IaXZf1H75wvncKvKwhfb2deS9L0I7aE9ok/itgytUEQv6XNu1 dVYwVOf7ZGMBQFUTJGiGl0v+U1coLfXKjI4+5uS1XBoNvystSTe3tsyGOY/4i6JI+9laP+vK VeqSosdGtSkL/Eslx6xdBUYMetO9akyecS7a/+B363tN+Fl9N6/pUJA5o01kkeF9i4nD/XNw 45A2PaAmA2OSzb7il6l9MHxg4FNIz8ITCK5zmD/CYhda7cXH85DAHqyI8Cx2tR1hoL8E39e+ lm5Aloa2civMROMZl351AdU2AwZu3ui0Se/yjV1lXkuoM/9lGTLyv7jfhcDfGBGXm9ri1vhM 6C3hNRcVUPucgto3Bqp6EDmxrRK8bxlJjq2Iw8AdCz3Imd+F6qo4+baJZcXt9Vx738RCbjlM jX4AvbnrhAX0j3uBT5bzTE/LHSxv4nh2gd9kCSbJWpyq3zQfYdxww3e7ZrSX600vHJOSS9mh D3QHlX5McOu+IDekp7Zs+qzUySvW4dVeC/nwJGotyC/o2RhRwC81aPW+JWvAU0h3Cn32sM/H yDBthf2b42t2amgN+thckR6LFz374xzEcdjkcFj4fNYkWhfjZKT830dlG71OtgOwqPyYk0GQ jsTysLU6gzosKF6BkqA3JmxFnCUw886IsK/fntTwSUlqcZDFKaT6rVA2ypzuFux6wzLM7Bxm TIUyP1m73B/4alBvQM3zy+QBvYcEFNeNCrgmgag7Nu66qxcInusObS9z0txm9m9AarK/lkaA S6mPM58R2kpspw3OUmpsjW78oz+fdjMcd8f/gaZlRvNlakdKZ48kOYLmTsyPGv8uXM/zOto6 H4mlZq+vYWBNyBs5PflWlgBbmKzPp1JvGix1PU7/I7exY2kE5R/Fy9eWZLpSantCzcOrbH8M B7IFjQgq3CdEL6ZHAmF6U4goWicdvLjf3yROnQdys1vAReHI0kKygUdRjQwk5p/GA2wwsXnf EprzjMa4hjxoV1Ryag7Unu3GneavwquZjouHdKaJQBX5AxGoUnYK8qX6O5+DQlb9ZnnpQfLN 2/RNGEqRSkZH0eDAV7kJLyn49LNpvOZCuSJJPzLebySqOZaWqTA1de134Bh5TrJKtSXMywoE aggwkQaFyMceYyRi3AVRicQjS6Ic8OLuEL25Hhsts7muPXzBFCzvc3eUf0Kd40ook3+gL/fZ bLIwn8hdnAAkMtLnCGtqvBX3UZO2Xw0MWD1SfJY83aKFf+Ym7cLXUNBLXorbo0Qqfp7h1cFO NaH2I6vkOcg1bhtTQ8CDAOE+InhZNRWcTjlaBWbWwDTcuzBfGKDwtmpM/m1EeQC1bwN5RPs4 W7JQQi/blHh33HoT079a+gU1XPCZUUMtt3lKUQ/TjSyBNP+NE/hOYcu32RvmO862iuRZz5Ea WAuIQQQ99jypWtZmqstQWUZtyg8dLDWlXrBtLvTcs5O46ksX308lvoEsi4zk+IHtXgdFvIpw HCAoIY2+wP01bTVgn9uVB4EwtpSrKSMu0gqeaDQ950bHG3B4ApI9mKITRIDu9piDNTr/aFW0 NnG0qzpen9E9JrP8M0QCtKxSorPOWc9MRfvBD/fDRcUBT+tO2bFgkVBkfaUvnSLp5k+o5Lol dIAULheHFAyE/obDAxiErlgaN9vWSg4lLeAkMMSzUKX8CHrHJlxg8ifD7SVHOnlLyufgf9cf RwUzLjkLIMVcIrmx0hlbVo8l4PPWi+yFZhMriBncg4osRBN/Xx5HSU430PobB/o4WdGSabyx 0ZpzFIgO6J0qG6/hjV/bkDHryYxjkQrzNDsgDTKNSX0ML/1RoZOTSz9q0k2NJr/BQdzdwy72 0J+Z1KmD/pciaVtcWdzhUrSo5xKTLRZRLdFahIUg/+affMh11hRuA2kzksB7OCDFJgox25IO da86mlN3Q5udot/PavLOK9A1URdnIq2l3OQ7Lht6zJGfx9L936OcikVvkBOLqMhOyej4u1r7 0qFhidHf28PEfEtp7g5kyF1c/TFxCXm3blZL0m3POHKNKKVtV/LksuQS08x3EcF/6Gk1YBfj f8ZKxa/ahh3lf2WCggDMtfEJUdNdc1O+XPPfCGI9+LQ3ZZyOIb7HeftH7fmXEk8gUmgWg8iW ZkPvJ1p9nyE00rca87saqMGm01F2Q==
  • Ironport-sdr: 67fd4dd6_IkIFW5LJaIR8QBjcK8WbOUmmG3xLQr+YdnkfiUm4VJDE3dU 2ySeQxv+qhxD9z6gmKl+/MmPw0b84uMud2b+ZFA==

                  ACKERMANN AWARD 2025 

EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE

                  CALL FOR NOMINATIONS

 

Nominations are now invited for the 2025 Ackermann Award.

PhD dissertations in topics specified by the CSL and LICS

conferences, which were formally accepted as PhD theses at a

university or equivalent institution between 1 January 2024 

and 31 December 2024 are eligible for nomination for the award.

 

The deadline for submission is 1 July 2025. 

 

Nominations should be submitted by the candidate or the 

supervisor via Easychair:

   https://easychair.org/conferences?conf=ackermann2025

 

Please submit a pdf file containing:

1. a summary in English of the thesis (maximum 10 pages), 

providing a gentle introduction and overview of the thesis, 

highlighting the novel results and their impact and 

including a link to the thesis in the first page 

(please do not include the thesis itself);

2. a supporting letter by the PhD advisor and two supporting 

letters by other senior researchers (in English);

3. a copy of a document stating that the thesis was accepted 

as a PhD thesis at a recognised University (or equivalent 

institution) and that the candidate was awarded the PhD 

degree within the specified period;

4. a short CV of the candidate.

 

*** The Award

The 2025 Ackermann award will be presented to the recipient(s) 

at CSL 2026. 

 

The award consists of a certificate, an invitation to present 

the thesis at the CSL conference, the publication of the 

laudatio in the CSL proceedings and financial support to 

attend the conference.

We are grateful to Amazon for sponsoring this award.

 

*** Ackermann Jury

The jury consists of:

  * Albert Atserias (UPC Barcelona)

  * Christel Baier (TU Dresden)

  * Andrej Bauer (U Ljubljana)

  * Javier Esparza (TU Munich)

  * Maribel Fernandez (King’s College London), EACSL president 

  * Jean Goubault-Larrecq (ENS Paris-Saclay)

  * Joost-Pieter Katoen (RWTH Aachen U), ACM SigLog rep.

  * Delia Kesner (IRIF, U Paris Cite)

  * Slawomir Lasota (U Warsaw)

  * Florin Manea (U Goettingen), EACSL vice-president 

  * Prakash Panangaden (McGill U)

  * James Worrell (U Oxford) 

 

For more information please contact Maribel Fernandez: 

Maribel.Fernandez AT kcl.ac.uk

 

 

--

Professor Maribel Fernandez

Vice Dean  (People and Planning)

Faculty of Natural, Mathematical & Engineering Sciences

Department of Informatics

King’s College London

https://nms.kcl.ac.uk/maribel.fernandez

 



  • [Coq-Club] Ackermann Award: First call for nominations - Deadline 1st July, Maribel Fernandez, 04/14/2025

Archive powered by MHonArc 2.6.19+.

Top of Page