Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Ackermann Award: Call for nominations - Deadline approaching - 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: Call for nominations - Deadline approaching - 1st July
  • Date: Wed, 29 May 2024 15:54:07 +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=uOJk2BKSmHNITkqvA/vnvI5JNfik5MSPBs3yLK13o+0=; b=CB/69NWBzGePoihkKO6iJ2Q3xfbxHnaMkqt6gGXNgB3/uIFeeLVxx+fAXAbGQ5yinOD/jc1xVD3+IwbJrxZsUHNGi3hqqBSaNeZabjn+KACaOUWghFWnPOovPSDZ0mre3QbMQzTl96a0ozdEapKG4NQCHnLr6/GlMtDVxId2AdamlmVb79Ns+wZbiaVQIcdN89Z227Edwj9+OAcmkbCAiWxGDOOLf1thdLAPcipEdiKHYI0z6yLnsVh56vovqPh45ljc/zzjvbEsnP7gxv7D3JcYtNE45XknBZKZrT7UzAUSo4vpvwQdHfUcy9v0QRTlbvCWqFgIiihnDVpyiixTmQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=LrtBadCoPDe86SHUrtMGQky1mrV+VJ5QNam1wd/HH9ZQ/f4k4X2A95PJggebKWhaMAykcuz9t46MXcr6K6KPvkYtNDjooNFp6r45PhedOLLiABzJdsCd5KUhN3btwzOhp9RhOwJwK4aaGcdpP7712d84IurxJlFs0bjsySi9ibb4Pjdd/KTv/+JPBmrIR8+ZpYnSYC5frZGqjx92rLdSWA4hMAvZNYt1QGLyXiS13/nylz7xEu+H+FixqehzxO8L69DMYtA/6WnMgeVCxQJFOPdH9Ms6lG4ngrwVjFPdamI0lCFEpOn+SolPNj30Eu5pgyVigru9vhhvdbtxDxQKJA==
  • 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 EUR04-DB3-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:qIU2VaOEHJNcoLHvrR29nMFynXyQoLVcMsEvi/4bfWQNrUpz1jVSm 2VOCDiFOqzbZ2f0Koxxa9yz8ExTuZ/WzdRkG3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYA/NNwJcaDpOt/re8kI35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXiTnng/vRiBXhsNL9A3rd5WjFl+ eIxfWVlghCr34pawZqWd9M02oEPBpKuO4kS/HZ90TveEPAqB4jZRLnH7sNZ2zF2gd1SGfHZZ IwSbj8HgBboP0UJYw9ITsx4xb/17pX8W2UwRFa9oKMt4mLeyEp/3aLrOdzZd86iRs5R2E+T4 H/Fl4j8KkFKbo3Ok2bemp6qrsHroQriA7wQLo+xzOxapUa0mUwWDCRDADNXptHi0RTiBLqzM Xc88SMrqe029Ve3ZsLsWgWx5n+CpB8VHdRKe8Ux7xjIwa7J6S6CF20cR3hAbsYnvYk4X1QXO kShmtroAXljuuaYVGjFqrCS92rqZG4SMHMIYjICQU0d+d7/rYovjxXJCNF+DKqyid6zEjb1q 9yXkMQgr5Euj8I21qmyxArOsWqI95aSHiU5+CyCCwpJ8ThFTIKiYoWp733S4vBBMJuVQzG9U J4sy5n2AAcmXcDlqcCdfNjhCo1F8N6kHVXhbbNHGpAg83Gh8SWuYJoIvDZ4fh4xb4ADZCPjZ 1LVtUVJ/phPMXC2bKhxJYWsF8AtyqumHtPgPhw1UjasSsgrHONk1Hg1DaJ144wLuBVx+U3YE crGGftA9V5AVcxaIMOeHo/xK4MDyCEk3n/0Tpvm1Rmh2rf2TCfKEOlUbwXQNbpivf/sTODpH zB3ZpPiJ/J3ALyWX8Ur2dJNcQBiwYUTWc6p95cHLr7rzvROQT5+UqSOqV/eR2CVt/8OzLuXl p1MckpZw0D4nnrJNU2BbWp7AI4Drr4uxU/XyRcEZA7ys1B6OdjHxP5GK/MfI+N7nMQ9lqUcZ 6deJK297gFnEWivF8I1NsSl8OSPtX2D2WqzAsZSSGRnLsM7GVOSqoOMk8mG3HBmMxdbfPAW+ 9WIvj43i7JZL+i7JJ+OMa79/ED7pnUHhuN5Um3BJ9QZKg2m85FnJ2a1xrU7Kt0FY0eLjDaL9 RekMTFBr8n0oqgx7Ibog4KApNyXCOdQJBdRMFTayreUDhPk2FSf77VOa8u2WAzMdXjV/fyib NpFzvunP/wgmk1LgrVGEL1q7Pwf5OXRmr1zliBZJl7ufg21O7ZdP3Pd45F+s/wUzLpgpACWe FyD1edYNZqNJsnkTUAdFDA+ZL7Sz9URvCfY1tUuAUDA/CQs1qG2YUZTGBitiSJmM7p+Nr0+8 9ohoMI77w+eiAIgF8Sv1wR41j2rBWMRdbckrbQYD53bsRUqwVR8fpDsMC/6z5WRYdFqMENxA DurqIfdprZb1GzQWmESECXT4O9jmpg+ghBG41scLVCvmNCepPsW3gVUwAsnXDZu0RRL/OJiC FdFb3QvC/21wA5po8xfU0SHOQJLXkSZ83Os7Wo5rjTSSk3wW1HdKGE4B/22w3kY1GBhZRlew qCTzTf0cDTtffyp5BAIZ2xel6XBQ+Bypyr4o+L2O+SeHpI/Xyjpvb/2W0oMtCncIJ0QgG/pm LBU2dheOIPHMRwemakZM7Wh9K8xTUmELVNSQPs686IuG3rdSQ6I2jOPCh6Qf99PLdeX8X6pV pVnN+NUdhGEzC3VhCsqNa0NBL5VnfAS+9sJfI3wF1MGq7eyqjlIsora0yrD2F8QXNRllPgiJ rPrdz6tFnKagV1WkTTvqPZoF3WZY95eQiHBx8Gwrfs0EqwcvNFWcU0d1qW+u1OXOlBF+zOWp AbyWL/E/dd9yIhDn5reLYsbPl+acejMbeWv9By/l/9sbtmVaMfHiF4zm2ndZg9TOeMcZsRzm bGzq+XI5ULivostcmXnipKERrho58KzYbJtCfjJDkJmxAmMZMy9xCE42TGcCYdIm9Zj9MWYV 1OGSM+vR+U0BfZZ5lNoMhZ7LThMKp7ZTKnaoQGFk8+tETkYiAzOE8Om/yTmbEZdbS45BKf9A Q7V5der+tJSh9lMNQ5ZXvh3IoRZJWX7UvAMbOzBtji/D0ipjGidu7DkqwES1DHTBlSAE+f4+ ZjgRCWiRC+tuarN8s5Vg7ZysjITEnx5p+s6JWAZxPJblBG4CzQgAdkGEJBbFKxRrDP+5Kv4a B7JcmEmLyf3BhZAUBfk5eXcThWtPfMPNvj5Nw4W0RutMQnuP7y5AZxl6itEyFV1cGG6zOiYd PcvykepNR21mpxUVeIf48Kguthex9TY+2kp/H7smMmjEjccBrQ3jEZaJjRvbhCeMc/xlxTsH 1MXFFB0GBTxDQa7FMt7YHdaFS0IpD6lnX1icS6Lx82ZoImBivFJzPrkIezoz7kfd4IwKaUTQ W/sDX64i4xMNqf/ZYNy0z7ovUN1NR5PNuWHFve/ACE4xOS34GlhON4ely0SSs1k4BRYD17Wi jir5T45GViBL0dSnraRzG3lPrpvB2kUAWihYBHX/Ff7fd4RlrA1uCRGCCr4IpW2oqOlokYwr PI6chOKu1PP3Nf7jWAWixnYz2BrxekSHn2CWytuU5CaftJAjoNCPOgJ7nzWHO69PJGJKku4u UpRPxgAFFqbYx6y
  • Ironport-hdrordr: A9a23:tSKG0KrAalKIXJhHhf8HhGkaV5oFeYIsimQD101hICG9Kvbo8P xHnJwguiMc+wxhPk3I+OrwQpVoLkmslqKdjbN9AV7mZniDhILKFvAe0WKB+UyDJ8SWzIc0vs 1dmupFebjN5DNB4/oSlTPZLz9W+ri6Gc6T6ds2hE0dND2CI5sQlzuRJDzraXFLeA==
  • Ironport-phdr: A9a23:TkV4Ah9U/9ljrP9uWVSzngc9DxPPW53KNwIYoqAql6hJOvz6uci4b QqFtawm3QeBdL6YwswHotKViZyoYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Znebx9WiDe+fL9+I xG7oRnMvcQKnIVuLbo8xRTOrnZUYepawn9mK0yOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ 7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8 qlmRAP0hCoBKjU2933ah8JsgK5GuR6tuwFzyJPQbI2INPdye6XQds4YS2VcRMZcTyxPDJ2hY YsTAeQPPuhYoY7hqFQBthaxHxWgBOb1xz9ImnP736s32PkhHwHc2wwgGsoDvnPOo9XvNacdS v66zK3VxjvDcfxWwzH955LOch88v/6NXK97fM3UyUY1DQPFj06fppLhPz+P2OQCrXKb7+x6W uKplmEotQBwryOsxsgwjonFnJgaxUze+SVkw4Y4PNu1Q1N0btC4CpVfrT2aN5doTcM4RWFlo Cg0xqMbtJOmYiQHxooryRDQZvGIb4WE/w/uWfqMLDp6hn9pZq+yiRmw/EWh1uHxV8a53VJXo iZYjNXBqn8A2gHV58OaRPV9+UKh1iyO1wDV8uxLP1o7lbHbKpE9wr4/jJsTsV7ZEi/xgkX2g 6mbfVgn9Oiw8+nqbanqqoWBO4NoiAzyKKUjltaiDegkMgUCR3aX9OWg2LDt+ED1XalGgec3n 6TcrZzXJdgXq6u4Dg9b14su7guzAjOg3d8Fg3QHKE9FeAmbj4f3IVHAPfH4DPahjFm0jDtmw e3NMKf7DZXXNHfDla/sfbZj5E5Yzwo+1d9R6JxIBL0dL///Q0H/ucHWAxMgNAy72PjoBM961 oMDRWKAGaiZML7UsVCV/O4vO/OMZIgJuDnjN/cl+//ujXg/mVMHeqmpwIcXaHS/HvRhIEWVe 2bjgtAEEWsSvwo+SvLliEGaXDNce3q+Rb8w6i05BY68DIrPXJ2hjKCB0SujG51ZfGFGClSCE XfycIWEXu8BaCeILc97kzwLTqauS4s72RGgqgD60bxnIfDS+iIFq53i1cN45+7PmhE27zB7F diS33uQT2F3hm8IQSQ507hloUNh0leDzbR4g/tAGNBN//9JSBs1NYbAz+xmDND/Qh7Occ2MS FaiW9mmBTAxTsktw9IVeEZ8G9CijgjZ0CawAr8VkaaLBJ0u/a7G0XjxPd5xy2za26k5k1kmX sxPOHW6ia547gjfHpLGk0GEl6mxbqkcxy7M9GKbzWWUpk1YUQhwUb/EXX8FfEfWo875tQv+S OqLAK4mOAZFgeCPMK1DbNHknx0SQf75Od7TZyS/ln22DBCEy6Gkb4HuPWwWmjjeXhsqiQcWq FOPLwk0CyPpjW/ECjVoGV/9Kxfp+PN/on6/CEE51QeDaUFsxZK28RpTjPfaVvBFjeFMgzsot zghRAX15NnREdfV/lcJlMR0ZNo85AwCzmfFr0lmOYTmKal+h1kYegAxvkX01hwxBJ8T2dMyo iYMywx/YbmdzEsHbymRiJX5ILzdJ2208h21bafQ1lzM+NWd/uEG47IlqAarpxmnQ3Ir6G4vy NxJyz2Z75TOAhAVVMf0W1w2/RV+4b/XeC804Y/Zx1VvOq3yuzSExtF6TPA9xEOYdsxEeLiBC Be0E8AeAJ22L/c2nlGych8eFM1vzvZoeu+MLL6B0qPtO/t8ljW7i2gB+Jp6zk+H6yt7TKjPw ooBxPabmACAUl8QlX+Htcb60cBBbDAWRS+kzDT8QZVWfut0dJoKDmGnJ4u2wM9/jtjjQSwQ8 lnrHF4A1MKzHHjaJ1XgwQ1d01gWqn27iGO5yTJziTQgsquY2mTH3e3jcBMNPmMDSnNliB/gJ o29jtZSW0bNDUBhkRK/5Ez3w+5Vqb55Jm/fTFVgfCPyaWhpFLaz9/KDb8NJ9JI0oHBPSu3vB DLSArX5ohYcz2biBz4CnHZiL27s5NOgx0Ep7QDVZGx+p3fYZ8xqkBLW5diHAOVUwiJDXy5gz z/eGlm7OdCtu9SSjZbK9O6kBAfDHtVedzfmyYSYuW61/2pvVFe6luqykNDjVwY3yyny0dVnR w3LpxK6a4KtyqfwYocFNgF4QUTx7cZ3ANQ0l4IqhZsd3T4Ui4+T9HwLnHXbMt5fn6v1KmcOD 21uoZad8E3u30ttKWiMzoTyWyCGw8dvUNK9Z3sfxiM3680i5L681LVfhmM1p1O5qVmUev1hh nIGzuNo7ncGguYPsQ5rzyOHA7lUE1MKdSDrkh2J6Zi5osA1LC6qeKKx3kd6296sFreLpA1RS l76cZNkFCQ288Y3PF/X0XL1453pY5GMNZRK7kLSzVGZ17UdIYlU9LJCnSd9PGPhoXApg/U2i xBjx9DyvYSKLXls4LPsBxdZMjPvYMZAsjrpjKtYgoOXx9XzRtM4QmpNAt2xFa/7dVBa/e7qP AuPDjAm/3KSGL6EWBSa9F8jtHXXVZaiK3CQInAdi9RkXhiUYkJF02V2FH03mIA0EgeyyYnva kB8s3oU70T5oBZIjOxlLR/2VGvSti+rYTNyQZPZMRkcvWQgrw/FdNeT6O5+BXQS+5S7rQaAL iqVah5OBGcFV16sBFvneLClo8TDubv9ZKL2P77FZrOArvZbXvGDyMe004doyD2LM92GInhoC /BokloGR31yHN7V3ikeUyFC3TyYdNaV/V3vn08/5tD66vngXxjjoJeCG6cHe8s64Ai42O+CL 7LC2H4/eGwejtVUgiaVgLkHgAxO02c3L2brSfJY8neTKcCY0q5PU0xGMWUqbJMOt+RkmVARc c/D1oGsjuI+0qFzUxEdEgW+0sCxO55QKjnkZgqeXRSFaOzed2+Mn5GSA+v0SKUO3r9d70Ti4 G/CQUG/Zm/RxX61BliuKb8e1ijDZU4H4djvfEo1UjqzFIq+OE/8bYYS73V+wKVq1CnDbTdOa GElIU0R9ubC5nsA2qctXDEYpnt9c7vekn7AvbCBc8QY7aMwUCosz7oIsjNnkfMQ5SVADpSZg QPqp8V16xGjm+iLkX98VQZW7y1MnMSNtFljPqPQ8t9BX2zF9VQD9zfYBxMPrtpjQtrh3sIYg sDIj772ISxe/sj80PYmX5SRBOjcdX0rPFzuBSLeCxYDQXizL2bDikdBkfaUsHqIspw9rZuqk 50LL90THFA4DfIVDE15EcdKfM8xB2t71+Dd1ZZVrXOl5AHcXsBboozKWrqJDPPjJSzYxbhIa h0UwK/peIQeMoqovi4qIlJ+nYnMBw/RRYUR+ms4NlBy/gMUqCUtKw97k1joYQ6s/nIJQPu9n xptzxB7ffxo7zD0pVE+OlvNoiI01kg3g9Tsxz6LI1uTZO+9W59bDy3sug0/KJT+FkxwZBezl 0FgcjnJXbRYibdtZ0hogwuasJAJBP0WHsgmKFcAgOqaYfklywEWsiK82UpO/vfIE7NPqTFyL duAhSkF3AhuKtkoOabXOaxFiEBKgb6DtTOp0eZ3xxICI0EK8yWZfytC6ylqfvE2YiGv+OJr8 wmLnTBOLXMNW/QdqfVv7kohOu6EwnGow/tZJ0u2LeDaM7KBtj2Ki5uTWl1pnBBt9QEN7f1s3 MwkaUbRS00/0O7bCUESLcSbYQBNM5gOrD6CJ2DW972KmM89Pp3hRLywC7bW6+BMxBrjRVhMf cxE79xdTMT2lhiAdYG/auZCkEll5Ry3dgzdULIVJ1TT1m9A+p73zYcpj9NUfmhPWDwkYyvrv u6F9Eh20J/hFJ83eilIBIJcbyBvAZTolXIB5CYSS2XmmuMBllrY5mel9H2JVWvyM4I4NqfMP Us+WpbroFBdu+C3kQCFqJyGfjOjbI0wtIOXsrER/87fWaETEOA1sl+CydNRHyX4CjeWQ9Dpf 8OiZdF0NY6mTSvgGhm2jzZ/Jy8QFPuQFPDUxC3CHsNTuoTd2y0/P8igED1YAw13u+wI+KN7Y 0sEfoY/Zhnr8Q85Mv7mSO93+talRyCkIn1LTKsGpQ1fT79cy2wlZamnyyl4Jqw=
  • Ironport-sdr: 66574fa1_rnZV77jTS8YqYG3/fs1IMCPHA7qy9WmczMROnvR0hamgpnW YnA2tQcitbwhiChKiByJJc3hABzlKjlW5cqxYbQ==



                  ACKERMANN AWARD 2024 
EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
                  CALL FOR NOMINATIONS
 
Nominations are invited for the 2024 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 2023 
and 31 December 2023 are eligible for nomination for the award.
 
The deadline for submission is 1 July 2024. 
 
Nominations should be submitted by the candidate or the 
supervisor via Easychair:
https://easychair.org/my/conference?conf=ackermann2024
 
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 2024 Ackermann award will be presented to the recipient(s) 
at CSL 2025. 
 
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 the winner 
to publish the thesis in the FoLLI subseries of Springer LNCS, 
and financial support to attend the conference.
 
*** 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 
  * 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)

For more information please contact Maribel Fernandez: 



  • [Coq-Club] Ackermann Award: Call for nominations - Deadline approaching - 1st July, Maribel Fernandez, 05/29/2024

Archive powered by MHonArc 2.6.19+.

Top of Page