coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Maribel Fernandez <maribel.fernandez AT kcl.ac.uk>
- To: Maribel Fernandez <maribel.fernandez AT kcl.ac.uk>
- Subject: [Coq-Club] Ackermann Award: Second call for nominations - Deadline 1st July
- Date: Sun, 14 May 2023 19:29:24 +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=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=9CaUHv7oIaDIU3M0UIigZGvs87DDMdN1qZJXJT5iQQo=; b=ivT3HtLiMVol6PifqtB9MOzg+487FFroQ0S/Skdv6jCZDx61Has5BcgmeiMZNovA1X+QdhXtnKwktios1thQFmmAq5lSzHlg9A/OTu6hQMDnUVBuTMqvOsBG/7dbZpmEPSs/0GYA34ZRqqmhwWsR1fNwskhkxjtTP2onlQ9h5ytgt0wOZPNBc77vGZqoYLxvsTxwKqIQiUXlbgxdesjSzmshXBrTwzndJ2UdjV5NTmheM752QslOrLIFkyYb70AMu5SJNkXmIz9NT5PvZy7dlNWd5b6cYBhu8UclwdXFVB3BUVftt63TcQbCkmCobiS+k7dJycbk+QVHCV5lmH88MQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=LEgEib+UQI4ZXtikWSe0X+w5Rrt/TCPGVS7p9s6kMZTM045GVKo63rLf0Kn5f3vg0RuVdiivh6eR5PcyccPyZIS7ge0xUWV2aHHMn2aJI2pO/tQi+L8E8yptzUTMc2Lf7XJ8l+ee16Lu4s4ucrQhOFGioqUc+AZkMmmIgAc2UA1rQeW8QHwOvnGcaWrZabR6AEQ4FLFIH9Ty2TQRQufoLyruc2MrMUscstrLLA1mq0Yf+mYQdh2Dv5K8W7h9/pIn/fdVwEkuk+I8f/w5p7gInBXqafxjZpcnKUPNCbkSDLWWUhk/gHItttIj3DQaloN+9g1Ksas7P9bvsltTxO04uA==
- 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=Pass smtp.helo=postmaster AT EUR03-AM7-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:nN/cxqwkkABRSfw9gu16t+dNzSrEfRIJ4+MujC+fZmUNrF6WrkVRn 2YfDWmEPK7eMzage94nbd7jphsCupPWztFkSgBlr1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEALjim8c3l48sfrZ80sy5aiq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPTm+lsEXEXF7Eb2clNMXFi5 KUeCBsCO0Xra+KemNpXS8FBu/57d4zCGdxavXttizbEEfwhXJbPBb3Q4sNV1ysxgcYIGuvCY 80eanxkaxGojx9nZg9RUcph2r7w2z+mKGQwRFG9/cLb50DWxRZw2rXpdtTYYNqDQ8lYjG6br WaA9m+/HxJy2Nm3lGTdqC7w3L6ncSXTc78uCrOzysNTnQeShVEiECI6f3u4mKzs4qK5c4kGc BdMo3BGQbIJ3EeiS924WxyjvFafrxsEUpxRFfc74UeD0ML86AGAQ2MAUzRpc80jrMZwRDow1 1bPkcmBONB0mLicSHbY/7LLoC6oYXMSKzVbPnZCShYZ6d7+po11lgjIUttoDK+yiJvyBC30x DeJ6iM5gt3/kPLnyY2EpUzFngKNjKTKbSEP1hX7Tzujzih2MdvNi5OT1XDX6vNJLYC8R1aHv WQZl8X20AzoJcHT/MBqaLVddIxF98ppIxWB2wUwQshJGyCFpy7yIt04DCRWfh8BDyoSRdP+S Gn30e+7zLZWJ2end6N+Zupd4OxzlfG6fTgJftbTdMZOKrh2cAuO+i0GWKJ992XkkUxpmKRgN IqBKZ2rCyxDUv0hyyeqTeAA17Nt3jo52W7YWZH8yVKgzKaaY3mWD7wCNTNij9zVDovb/m05E P4GZqNmLimztsWiMkE7FqZOdzg3wYATX8yeliCuXrfrzvBaMG8gEeTN5rgqZpZoma9Y/s+Ro CHhAh8JkACu3S2cQelvVpyFQOOwNXqYhSJqVRHAwX7ygRDPnK7zs/9CK8NrItHLCsQ6l6YpF 6ltlzq87gRnEW2coGxEN/ERXaRndR+xghmJMTbtaSoiZZMIeuA60o6MQ+cbzwFXVnDfnZJm/ dWIj1qHKbJdHVgKJJiNMpqHkQju1UXxbcopAiMk1PEIJB6zmGWrQgSt5sIKzzYkdU6amGvBi FbGafrazMGUy7IIHBDyrfjsh++U/yFWRCK2xkGKtObkBjqQ5We5345LXcCBeD2XBiu++7yva a8Rh7vwOeEO1gQC+YdtMadZ/YRn7fvWpphe0ltFGlfPZA+VEb9OGCSN8vROkaxv/YVnnzWKd HiBwOQHBoXRCvjZSAYQACEHctW80eoln2iOzPYtf2T/yixF3JuGdkRwJSjWlzFsE55oPLw+w MMKms0f2yqggDUEb/eEiSF18TyXD3oiCq8IiLATMLXJuCEKlG5QQMX7JHftwZetb95sDBEbE gWMjvCfu4UGl1vwTXUjMFPsg8xfvM0qkzJXxgYgI1+ppIL0tsUv1kcMzQVtHxVn9TQZ4eddI WMxClZUI5+J9DJWhMRueWCgNgVCJR+B8HzK1Fo7uzzFfnasS1DyAjUxCcSV8GAd1lBsTDxR0 bWb6WTiCDjRbJ7Q2Ak2UhVbsPDNd4F62TDDv8GFJP67OacGTwDruYKQQFYZigDGBJoxjXLXp OMx8+dXb7b6BBEqoKY6Kte71ooudRKtNkh/b9dH7foXLGThZTvp52C/LhHocMZ0Ovfq01G0J PJsKu1LSR6/iTiCngoAD/RdOZtxuuAj3/sZW7bRPWVdmaCunjlol5Px9ybFm24gRet1o/s9M o/8czGjEHSaoGl9wkvhjZBjEXWpR8sHfyj+0/KFy/oIHJc9r+1cS0E+/b+qtXGzMgE83Rark C7cRq3R3cpw4J9NmtbyL6B9GAmEE9P/e+CW+gSVsd4VT9fuM9/LhjwFuGvcIAVaErsAaetZz Y3XnobM43rEm7IqX0TyuZqLTfBJ7PrvettnCJv8KX0CkBaSXMPp3QA4xFm5Dp53wfd9/cisQ jWqZPSgLeA1X8hv/1wLSix8PStENYHJQPbBnw2foc6IKCAh6i3cDdb+9XbWfWBRLSAJHJvlC z7LgfWl5/EGjYFQBhUvWvFXEsIhKU7CQoojTcX67hODP1mrg3SDm7rsrgUh4jf1EUu5EN72z JbGZxrmfjGwhf34985YuIlMoREnNnZxru0udEY7+dQtqTSFIEMZDOYaa7MqN4p1l3Hs6ZTGe z39VmsuJiHjVzBicx+nwtDCXB+aN9MeKOXCOT0l0EOFWRiYXLraLuNayR5hxHNqdh/I7uKtc 4ge80KtGCmB+MhiQOJL68Grheti+Ojh+UsJ3kLDwvzCW0NURf1A0XF6BwNCWBDWC8yHxg2BO WExQnsCW02hD1L4FcF7YXNOBRUFp3XVwi41aTuUisPq02lBIDasFNWkUw0y7lECUCjODJMzf yusAkKovCWR0HFVvrY1sdU0h6MyEeiMAsWxMK7kQ0sVgr207WMkecgFmELjiek8rRVHHQq1e iaEuhAD6IatcSi9G4F6DS0K8JY3W3lKEjKhYMvXu2rdiRJgpzTGU0HC8e84QK0cb4DgtEEeS TxUcUX5T5h6ctf7jWEWi8n3bWBrzS3c+bcon8zool7Pfs+QdVJg
- Ironport-hdrordr: A9a23:AxQOAKM0W97G0MBcT1/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:prGp6xL7fcKy9L03LNmcuAFpWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFuLM20QKCBN6Fo9t/yMPo8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PTbglSijewYbN/I BqroQjft8QdnJdvJLs2xhbVrXREfPhby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmV LJUFDspPXw7683trhnDUBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv4 7t3RBLulSwIMCI0/W/LhsBtla5XvA+trAF7z4LJYIyZMfxzdb7fc9wHX2pMRsZfWTJcDIOgY YUBDOQOMvpXoITmvVQCsR6+CBOwCO71yDJFgGL9060g0+QmFAHLxAsuEMgUsHTVt9r6KqMSW v21wqbW1zXDaelZ2THg54fWcxEqvPaBXbdqfsrLyEkgDB3KjlGKpYzrITyVzOINvHKd7+V9S +2uinUqqwJtrTir3MsjkJXGipgIylDH7Ch0xps+KtKkRkBhe9GkDIdQuD+AN4twWs4vX2Fmt Ts6x7EbuZC2YjYGxpokyhLCdfCKb4eG7xziWeueIzp1mm9oda6+ihux70WuxOPxW82o3FtLo SRIncXBu3YQ3BLd7ciHT+Fy/kan2TuXyQ/c8PpEIEAomqrbMZEhw6QwmoAUsUTZES/7nlj9g qyOdkg89eWk9/7rbqj6qpKeLYN4lx3yP6Q0lsCiD+k0LxACU3aa9Oig2rDu+FD1TKlQgfA3l 6TVrZDXKdgeq6O4DQ9Y14Mu5wu7Ajqgzd8Wh2MILEhfdxKCl4XpO0/BIPT/DfqnjFqjnitly +zIM7H4HpjDKXrOnK7mfblm9UFQ0g0zzc1D551PDbEBPfTzVVLruNzAFB85NBC0zPj7B9Vh1 4MeXmSPDrWeMKPPrV+I4uUvI+6PZIMPpDn9LP0l6+bvjX8/h1AdYbGk0JQLZHyiA/hqP0eUb WDxjtsdEWoGpBcyQeL3hFGaVD5cfXeyX6Yy5jEhD4KmCJ/ORoW3j7yb3Se0BYNZZmRcBlCCD 3jobYOEVO0KaC2PPMBgkycJVbu9RI8lzx2hrhP1x6B6LurX4iEYs4ns28Bv5+LPjREy6SB0D 8OF3m2TV210hH8HRycq3KBjpkxw0kuM3rJ9g/xcDNBT4/JJUhwmNZPH1Ox7C9XyWhrbcduTS VamRM+mATArQd4rzd8OeV5xG8++gRDbwyqqH7gVmqSXC5wz66LQxmT+J8Jgy3ndz6QhlFknQ s5XNWK8nKJ/9g7TB5TIk0qDjaqqe74cj2bx8zKmxHCPtkxcGCB9S6PMW3wSdAOCqN3j50nPS /mgBK4hOw1NxNyqKaBOLNTiy0hFEqTNItPbNke4gWa6CBLA6L6WaoPsd2gPlHHYAVIFmQ0Xu 3iLLw43ACussUrdBzgoHFmpfkC6oro2k2+yUkJhl1LCVEZmzbfgo0N9bZ20TvoS2ulBoyI9s 3BvG0772dvKCt2Grg4nfaNGYNp77k0UnXnBuVlbOZqtZ7tnmkZYax5+6kbnzRR9B4EGn8Uwq noswAdgAaGT1BVIfHWF3sO4IaXZf1H75wvncKvKwhfb2deS9L0I7aE9ok/itgytUEQv6XNu1 dVYwVOf7ZGMBQFUTJGiGl0v+U1CrqrBKjI4+5uS1XBoNvystSTe3tsyGOY/4judRY8EdYqhS 0r1GcBcANWyIus3nVTvdggDIO1Z6K8zOYWhaueC36moeu1nmVpKlExh54ZwmgKJ/it4EavT2 oodhuqfxk2BXiv9i1Gotob2n5pFbHccBDj3zy+sH4NXaqBoGORDQW6zP826wMl/jJ/xSjZZ8 lCkHVYPxM6uf1KbcVX82QRa0Ulfr2agnGO0yDl9kjdhqaT6vmSGxu34dRAKPihFSXNkhFHgL JqcjNseGkGjKRUq1VOk6Uv826lHtfFnNWCAJCUANyPyLmxkTu6xru/eO4gWsMxu6H0KFr3nO AP/KPa1uRYR3iL9EnELwTk6c2rvoZDlh1lhj3rbKn9vrX3fcMU2xBHF5dWaS+QCu1hODCR+l zTTAUCxetez+tDB3ZLKqOG0WmbnWJBJdyDtwY6SnCiw4StjCluinLrg/7+vWRh/yiL929RwA G/NpQz9aITvkaq3K+RueEVlFnf/4M48E4o4j4h61/RykTAKw56S+3QAi2L6N95WjLn/YHQ6T jkO29fJ4QLh1SWPN1qxzpniHjWYy8plPJyhZ38Onzk694ZMAbuV67pNmW10pEC5pETfe6o1k jAYwPoooHkU5oNB8A8k1CSXD7RUE0RCOyXqmxmax9O1qONebyCycvC82VF/ktaoELyZ6l0EH i+hJdF7RXI2t54meFvXtR+7opnpYtzRcc4eulWPnhHMgvIUYJM9m/wWhDZ2bGf0vHkr0ek+3 nkMldmxuImKLXko/brsXkYeb2WqIZpLp3e01v8N+6Tel5qiFZhgBDgRCZ7hTPbzVSkXqeyiL AGWVjs1tnacH7PbWw6Z8kZv6XzVQPXJfzmaImcUydJ6SVyTPkta1UoRVS87lJM9UA6n3srod kt09BgS7Vq+oxAK1+EiZHydGi/P4RylbDs5Us3VKRNM7wtP4wHbPNaY5+R/EjNw/Zal6gWGb HGYLVctbylBSgmPAFbtOaOr7N/L/r2DB+awGPDJZK2Hte1UU/rbjYLqyIZt+CyAc9meJnQ3R eNuwVJNBDoqfqaR0yVKUSEckDjBKtKWtAvpsDMitdixqbzqQF69udPJWuEUaZM3vEnryaaba 7zM3GAgcWkejtVUgiaWrdpXlF8K13MzLX/0SexG7WiVC/uM0q5PU0xCM381aJQOt+RkmVASc c/D1IGv3+Yh3KdsUgVLCQS5yJPuOZxvQSn1NUuZVhyCbO3UfGSSkc+rOfjuG/oM3a1Vr0Pi4 z/DSh26Z23RmWWxDEL/abkU3nPcYUQ72sn1cw4zWzLqFIu0M0TiYtEr1WZkyuVs3iGYcjNFe TlkLREXp+XJv3oB26dxRzQavHQ9dbHWyWHEtaGdI5IS+5OHGwxMnvlBqDQ/wrpRt2RfQeBt3 TDVtphoqk2nle+GznxmVgBPo3BFntDDsUJnMKTfvp5OPBSMtAoK9nmVAg8WqsFNJ+DV4/sV4 /2Q0aX5JXFF7s7e+tYaC47MMsWbPXE9MB3vXjnJEA8CSj3tPmba4i4V2P2f7XyaqJEmp4Okx MJIE+cEEgVtS7VDUR0tFcdKOJptWzI4jbOXxNUF43aztliZRclXuIzGSuPHAfjrL2X87/EMb B8JzLXkaIULY9GjnRU6NR8jxNmMQhGJDrUv6mV7YwQ5oVtA6i17R2w3gAf+bx+1pWQUDbiyl wI3jQ13ZaIs8i3t6hE5PAmvxmN4nU8vlNHimT3UfiT2KfL6WIhMCiD5sw4/P4n9SgB5YB+an kdgcj7PAa9SxegFFygjmErHtJ1DFOQJB7VDewMVzOqLau8A/Glm8n7i7GoYoOzPBN1liRcgd oOqozRYwQV/YdUpJKvWYq1U0lxXgaHItSitnLNUokdWNwMG92WcfzQNsUoDO+w9Jiamyedr7 BSLhzpJfGVfH+pvuP9h8VkxfviR1y+1maAWMVi/bqbMSsHR83iFj8ODRUk8k18Fh1UQt6Yjy t8tKgKVTxx9kOPXRk5PbYyablgIJ8tKqCqPJWDX6bqLmdQteNzjc4KgBe6W6PRJ2AT9RF5vR 8JUqZ1dVpi0jBOBdZuhcOFDkVN1o120bFSdUqYTcUrSwm5e+pOxkMcvj9saemF4Yy01MD3pt Oze/lZ42aPaDtlqOixIDMxYZzo3QJPowScB5iYZVWDl3L5Bk1rSt2ek9HaXUWGZDZIrZe/KN 0llUIjkoGxmoabq0QWF+c2GfzOocok78t7Xt7FArs7eWaoNFOtz7x+HyYcAHyT4ASmSS5bwL pz0IeHEgvT3AXL8W1f5ljFnFq8Z2f6uJazOiAquWIUG6OFzPRgOCPXlTXQ3Pkg1oOsOoqVhe QcEfpw3JwbysBgzPLC+JwHe1ciyR2GqKn1dSPwNlI2H
- Ironport-sdr: 6461369b_ccx4NquRDrZWMj32vprgCOnEkve4kcE08Ep+Yen6BpJfBvI cqOJaAW0i0vohWBaf6A2UOeBfCauYUCXYsyKW+Q==
ACKERMANN AWARD 2023 EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE 2ND CALL FOR NOMINATIONS
Nominations are invited for the 2023 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 2022 and 31 December 2022 are eligible for nomination for the award.
The deadline for submission is 1 July 2023.
Nominations should be submitted by the candidate or the supervisor via Easychair: https://easychair.org/my/conference?conf=ackermann23
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 (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 2023 Ackermann award will be presented to the recipient(s) at CSL 2024, the annual conference of the EACSL.
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, an invitation to publish the thesis in the FoLLI subseries of Springer LNCS, and financial support to attend the conference.
*** Ackermann Jury The jury consists of: * Christel Baier (TU Dresden) * Maribel Fernandez (King’s College London), president of EACSL * Jean Goubault-Larrecq (ENS Paris-Saclay) * Joost-Pieter Katoen (RWTH Aachen University), ACM SigLog rep. * Delia Kesner (IRIF, U Paris Cite) * Slawomir Lasota (U Warsaw) * Florin Manea (U Goettingen), vice-president of EACSL * Prakash Panangaden (McGill University) * James Worrell (U Oxford)
For more information please contact Maribel Fernandez: |
- [Coq-Club] Ackermann Award: Second call for nominations - Deadline 1st July, Maribel Fernandez, 05/14/2023
Archive powered by MHonArc 2.6.19+.