Skip to Content.
Sympa Menu

coq-club - [Coq-Club] POPL 2024 Student Research Competition - deadline Friday 10 November

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] POPL 2024 Student Research Competition - deadline Friday 10 November


Chronological Thread 
  • From: "Donaldson, Alastair F" <alastair.donaldson AT imperial.ac.uk>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] POPL 2024 Student Research Competition - deadline Friday 10 November
  • Date: Thu, 26 Oct 2023 14:37:12 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=imperial.ac.uk; dmarc=pass action=none header.from=imperial.ac.uk; dkim=pass header.d=imperial.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=WsXFay76NsVbh1XvT8x66tigDDmM1hVVEW67zb2uJGA=; b=cYO4NjX+I9RUoPRW+BeUvTCpfgEL0qolhUMRQ4CyEeLEngjfZ2zdsvFW1dpmv0Qx3jlJqi2nP12sWnJg98tkPCKdPQSafSRdRy7mxnKE/3JpjbLTT0SB3piKaJF0xiUkeS2mnfRKzE9UoGXkmfYK1o4pOQU8HR7TSg6bN8jG5WCdmOPXPoDOPC4RI5fyqlqGtb15dixfW1PJQPLmrIkFRd0OEEnzxlbwFA/wcX2y/0D4mWX8tVxD9pJ6tEfBGPQBj/AqaORO3+Bnu0MHY0k8P1EzTjOGyzwb78voGhfo1MvWT6F0jo4shJekTjv23rZK1TIQtLae2WFxXeFy3ZkFFA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=aXT+JR91ST/6z07Er9X2//d8tBAG/E7Dwi5TPZj6NW5YgHprP+v86y5GFGycEdPHRhlx8muLfaFPkJlqDUbdzAp7vhQGoMOxpwxPga/3sYXaYTYiGAsSafGPNuJSzK3Nn6M/KzbtY0WVoHHT3r5O0VeynGhxld6syibUgtjsCLttHeB/gfboGIkpvaux65qVUKIQK1SO1d6s1gsG6SdsD8QtZGSLjR5oiVtB2II4c1FDPx5S/BQYXNoKb57ULfX8kML3I0F6/+VhzytZL3NBUA8ikYWo/GYguCurHysv7w/2XpwNzjEzmQHmQBLLG/01r0+oFyX3+Dnv2YxXeImEMw==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alastair.donaldson AT imperial.ac.uk; spf=Pass smtp.mailfrom=alastair.donaldson AT imperial.ac.uk; spf=None smtp.helo=postmaster AT smtphub2.cc.ic.ac.uk
  • Ironport-data: A9a23:J7c1Ma1tPTbYnbmgc/bD5Ut1kn2cJEfYwER7XKvMYLTBsI5bp2FSn zFMXW7UOqyIazD9eNx3aI6wpkwAvJDcx9FkQFZv3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9gFaYDkpOs/jY8Us14qyr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0DCw/ZxAEUYAYc7wtl9CD4Q0 O0xdhlYO3hvh8ruqF66YvJpmtwjMcOxeogU/HBrizjSS+slKXzBa/yWu5kBg2Z23ZoIQam2i 8kxMVKDaDzJZxRUJl4WEtQym+GhgnXkdDtwqVeNqLA26myVxQc3zbuF3N/9JI3aGJUFzhvwS mTu0Sf5AkkHBtakyCuBqlmemcnxpwWmYddHfFG/3qU23gHKnzZ75ActfVC8uLyyjlO0c8lOL lQdvCsot6k7skKxJuQRRDWjpWKcvgMWAZxbGKs740eEwezJ4G51G1ToUBZ6Rtwlq8MyawAg9 We2ldq2Wxl+meO8HCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3Vpk6TJjqEOPLk5uAZCQ0c0 BjX9XRv2e57YdojkvzhpwyvbyeE/MCRJjPZ8Dk7SUqKxGtEiGONfIm08VjG56wGJ43fT1LHt XNChsv2AAEy4XOly3XlrAYlRe/BCxO53Nv03QQH834Jq2rFxpJbVdoMiAyS3W8wWir+RRfnY VXIpSRa74JJMX2hYMdfOtzgW553nfa8Tom8Dpg4i+aihLAvLGdrGwkwPiatM5zFyhd3+U3CE cjBK5z9Uihy5VpPlWHuGbl1PUAXKtAWnj+NGcmilXxLIJKcbXiYVf8YNlqQY/oi7b+V6APY7 8lYLcji9vmseLOWX8UjyqZKdQpiBSFiXfje8pUHHsbdeVAOMD96VJfsLUYJJtYNc1J9zLmYp xlQmyZwlTLCuJEwAV/bOi8+Ne2wDc0XQLBSFXVEAGtEEkMLOe6HhJrzvbNuFVX+3L0zl6xHX LMedt+eA/9CbD3C9n5PJdP+tYFuPlDjzw6HIyPvMnB1co9CVj753IbuXjLu0y0SUQuxl881+ IO72i3hHJEsegVFDeTtUsyJ8W+fh3Ynpb9NbxP6GeULIETI26p2GhP1lc4ycp0tKw2c5z601 DS2IBY/pMvVqb8f9NLMgaCOhNqpIvojR0NLPnL66IyuPnLw5VuTwo5nUceJcwvCVWjyxr6QW OVNw9z4M9wFhFxvsbcgI410zKk72cTjl4VawitgAn/PSVahUZFkHVWrwuhNsfdr6oJCmA7rR H+KxMZWCY+JNOzhDlQVAggvNcaH9PMMnwjt/eYHG1r76AB37Yi4fx1rZTfUsxNkLZxxLI8B6 sUispRP6wWA1zwbAuzfhSVQr2mxPngMVps8ja4jAajptxEKz29TapmNGw7055CyM+93CHcIG QPNpqT+hOV7/HHgIl4TDnnG2NRPiase4C5qyEAwHHXXu97nqMJu4jhv32UWdDlF9jRGzON5B UZzPWJXO6il3mlllepDbU+WCiBDAxySoBWpwHQJzVzbblSZDEnQJVIYJNey2V0VzHldWhN5/ 7io7nnvfhi3XcP23wo0AVVErd66R/NP1wTyouKVNOXbIIsffhzknb6IWWoEjzDFEPEBrhTLi scy9dkhdJChEzAbppMKLrWz1JMSeUiiH3NDS/Qwx5E5NzjQVx/q0AffNn3rXN1GIsHL1kqKC 8ZOAMZrfDbm3QasqgErP4I9E4VWrtUIuuVbIqjKIFQYuYSxtjBq6ZLc1hbvjV8RHulBr5wPF ZPzRRmjTEqrmnpmq03cppJlO025Q+U+Si/S4eSXyNgNRrU/6LxCUEdqybalnWSnAC0+9TKug Q7zTav3zetj9IdSo7XRAphzXwWZFNeie9mLoSaSsstPZ+zhKc3hlR0YgXi5MhV0PYk+YcVWl 7OMueGuw3H1nq4HbH/EqqakCqV2/sSWd8hUO/LRM3N1s3ajWsjtwh1b4EG+C8VDv+187/mdZ TmTSZWPZ/9MfPkF31xTSSxVMyhFOpTNdq26+B+M9aWdOCYSwSnsDY2B90awSUp5ayVRGZn1K jGsisaU/toC8bh9Xk4VNcpHXa19DkToA5Y9VtvLsjKdMGmkr3WCtpbmljsi8Tv7MWaFIumr/ aP6QgXCSzrqtJHq1N15t6lAji8TBlt5gsgyeRs50PxygDaYEmUHDLo8NbMrN5JqqRHxharIP Gz1UGgfCCvDBGUONV225dn4RQ6QC9AfItqzdHRj40qQbDzwH4+aRqdo8iB7+XptZz//16edJ MoD/mHrdA2Eqn2zqT3/OtTg6Qum+h/b+p7M0Vv4j9TyHhxER74Bkn1qWgNGEzHEey0IeIMnO kBtLV2ogmniIaIyLSqkU39QABwDvTrriTwjKzqMqDoak5vO1/VOkZUTJMmquoDur602yHomR HbvSnGM6mTQ03dVpKhBVxfFR0NrIarjI/VW55MPieHfc29cJ4jn0w4/cfIzcfwf
  • Ironport-hdrordr: A9a23:vkoUUK7AbZA8EBmUmQPXwUqBI+orL9Y04lQ7vn2ZFiY7TiXIra yTdaoguCMc0AxhIE3I6urwQ5VoIEmsvaKdhLN7U4tKMzOW3ldAQLsSjrcKoAeQUBEWlNQtrJ uIGpIWYLeQbWSS5vyKhTVQZuxQp+Vvh5rY4ds2oU0dLz1CWuVBxUNcEAi6PyRNNU17LKt8MK DZyttMpjKmd3hSRN+8HGM5U+/KoMCOvI76YDYdbiRXpTWmvHeN0vrXAhKY1hARX3dk2rE561 XIlAT/++GKr+y78BnBzGXehq4m1OcJi+EzS/BkuPJlawkEuTzYJLiJnIfy/wzdldvfpmrCVu O84SvIcf4Drk85NVvF2ycFkzOQrQrGrUWSg2NwyEGT3vAQSF8BerZ8rJMcfR3D50U6utZglK pNwmKCrpJSSQjNhSLn+rHzJmZXf2eP0A8feNQo/ghieJpbbKUUoZ0U/UtTHptFFCXm6Jo/GO 0rCM3H/v5ZfV6Tcnic5wBUsZWRd2V2Gg3DTlkJu8ST3TQTlHdlz1EAzMhamnsb7poyR5RN+u yBOKV1k7NFSNMQcMtGdZE8aNryDnaITQPHMWqUL1iiHKYbO2jVo5qy+7kx7PHCQu178HLzou WzbLp1jx9DR6u1M7zx4HRiyGG9fFmA
  • Ironport-phdr: A9a23:NsUUZB0pQjHzoaIksmDOvg0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaPo6Q3xwCXFcWDsrQY0bSQ6/ihEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS+bL9oK Bi6swrdu8sXjIB/Lqo91gbFrmFHduhIxG5kP06fkwr56syt4JNt7iNctu47+cVdS6v6ZaM4T bJZDDQiLW844dDguAfAQwWS+HYSS30anRVUDQfL6hH6RYrxvTDhtuVhwimaPNb5Qq4yVD+/8 qpkUh7oiCMANz4k7GHaj9F7gaxHrB69oRF03ojZa5yXOvVjZKPQZdMUS3RcUMZNWSJPAZ+zY IQUAuUbIepUs5Pwq0cSoRejAwSnGePhyiVPhn/zxaA23eovEQbA3AM6G9IBrW/UrNLzNKsKT Ou40K3Iwi/Yb/NKwzj96ZLIeQ0hr/2CQLl9dtDeyU01GAPeklWfs43lPymP2usQtGib6fBvV eayhG48rAFxpCOixsYpionRmI0V0FHE+j99wIovP9K3VFR3YcOnEJZJsSyRKoR5TN84TW5yp CY61qMJuYS9fCUS1Jkq2hHSZvObfoaG4h/vSfudLDR7iX55eL+yiRa8/VWvxODzVse60FdHo zRZntTPtn0D1x/e58ubR/Z+/Uqv1jCC3B3d5OFDJEA7j6vbK5g5z74rl5oTvlzDHivsl0Xwl qOWcV8k+ueu5u/6YbvmvoeRO5J7hwz/KKgih86yDOAiPgUAQWSX4+ux2b/78UHnQbhGkvM7n 6zEvJzGP8sWp6u0DgBJ3oo/7huzEimq3dAdkHQCLF9Ifg+MgZLzNFHUOv/4CO+yg1Synzdvw PDLJqbhApDRLnjbkLfhYK1y51BGxAUv0d9T/ZNUBa0bLP3pRkD9rsHYDhwhPwy1xeboFsl92 5sDVW+AA6KVKr7evF2M6+41LeSAepUZtTn/JvQ94v7hl345mVsTfamz2psXbWi1Ee5iI0qDe nrsns0OEWYQvgYkUePqj1uCXiRXZ3mvRKI84Tc7BZmnDYfGXoCinqaB3CahEZ1SfGxJEEyDH W31d4WHQ/sMbjmdLdd7kjMYTbihV5Mh1Ra2uQPn07ZnNPbb+jUEtZL/09h4//HclRYr9TBtE 8ud13yNQHpvk2MTRz422bh/rlZnxleC16h4mf1YGsZJ6/NHSAdpfaLbmqZxDMm3UQbcdP+IT kynS5OoG3t5Gtk22poFZ1t3M9SklBHKmSSwVew7jbuOUdYY9aTV23TqIMA5g1/C3bI9hlg8C uUFfTmvgqdk6wHSHcjFlEOQk6qxcqI03SvV+X2CxG7ItUoeTQ0mAvaNZmwWekaD9Yex3UjFV bL7UdzPUyNEwM+Gce5Rb8HxyE5BXLHlMcjfZGS4nyGxAwyJz/WCdtmiYH0TiQPaDkVMiAUP5 TCeLwFrDyOouH7XDSYoGVXpakfg6u54gHK+VkIuzgiOKURqkae2qVYOnfLJc/oIxfofvTs57 TB9HVKzxdXTXtOErhF9daRGJ9865l5D2XnesSR8O4StNaFrghgXeEJqvBCmzA15X6NHl8Vit 3Y21ExyJKafhUtGbC+d1IvsN6f/MWzu5BCyYfSQ0VqY0d3Q86xJ9fdQR0zLmgavGwJi9nxm1 4IQyH6A/tDRCxJUV5vtU0Ex/hw8prfAYyB76ZmGnXtrebK5tDPPwbdLTKMs1wqgctFDMaiFC B66EssUANKrIfArnF7hZwwNPeRb/qo5d828cP7O1KmuNedm1DWo6AYPqIl521mQ/itmDOLP2 Z8Bz+qf2COGUi/xllaotob+ksZZZnBaH2ayzzTlGJ8Efrd7LuNpQS+lJ8y6wMk7hoa4AiIGs gf8VhVdgon1Jkn3DRS1xwBb2EUJrGbynCK5y2cxiDQ1tu+E2zSIxe3+dR0BM2oNRW94jF6qL 5Ln6rJSFEWucQUtkwOooEjgwK0O7q17JnLPSEZSOSTxKWhmXrC3sJKDZtZC8pIhtWNeW6KhY hrJL9y16wtfyC7lE2ZEkXoyczixppz4hVp2j2SUKHpoq3zxeMRoyA3e7diaTPUXwzlMF0waw XHHQ1O7Odeu59CdkZzO5/u/W2yWXZpWaSD3zImEuUNX/EVSCAak17C2k9zjSk0h1DPjksJtT WPOpQr9ZY/i0+K7N/hmdw9mHg20581/E4B42ow+4fNYkXEej46J9Hsd12v0N9xf1bn5alIMQ CYG2d/c5E7s0wt+LTqFypn4WXOU3sZ6L4DmPCVPhXN7tJoMVPjc5ach/2M9uleiqAPNffVx1 iwQz/cj8j9Sgu0EvhYs0jTIB7kTGUdCOim/3x+M7t24sOBWfDP2Leb2jRUv24v7Su3d8WQ+E D7jd5wvHDF99JB6OVPIizjo7538PcLXdZQVvwGVlBHJi65ULogwn7wEn3kCWyq1sHs7xuo8l REr04u9ud3NImFk576wAwQeOjrzbscf4TbrpadbhsuM3omrWJxqXCgIFsiNL7rgAHcJuPLrO hzbWjQ4o2yHELvFWwOY7k5io2nIFbiqMmmaPngQyZNrT1+AJwYM5WJcFCV/lZk/GAewwcXne 0os/TEd6GnzrR5Uw/5pPR3yAS/P4R2lYTAuRN2DPQJbu0tcslzNP5XUvYcRV2lIu4espwuXJ imHahRUWCsXD1ecCQmrP6Hyt4Ccra7BWbv4f72SOfLU+Ik8H7+J3c79i9o8uW/RaIPWYCMkV 7phigJCRSwrQpiH3WxQGmpMzWSRN4nB9XLesmV2tpztqaWxHluyu83WVeEUaIsooUD+gL/dZ bSZ3C0rdDxTjsFcnS2RkOhNjgJKzHg0KlzPWfwBrXCfFquIkf0KBRVDOXMrZpJFt/BumVcRc c/D1IGv3+Zz3KM/AA8XBQyzw5nwN55Weybkbg6iZg7DNazYd2fCm8qlPKm3Ee8A3LcNukXi6 3HFTwe0NzCH3VEFTjiJNudBxGGeNR1a48Smdwp1THPkVJTgYwG6N9l+iXs3x6c1jzXELzxUN z80aE5LorCKiEEQyvxiB2xM6GZkJuiYim6Y6effMJMfrfpsBGx9ietb5H0wz7Yd4jtDQbR5n y7br9gmpF/D8KHH0j18TB9HsSpGnqqQuFl6ObjTrN9LUjDF91QE5iONCFVCptdoDMHup7EFy tXLk/GWSn8K+NbV8M0AQsnMfZvbbjx4bkuvQ2SSUFRWKFzjfXvSjEFcjvyIo3icr5xh74Pph IJLUbhDElo8CvIdDE1hWt0EOpZ+GD0+wtv5xIYF42SzqB7JSYBUpJfCA7ibBfz0ND+Yl/9IY B0Bxb/jKoI7N4jj1lZjY108lY+MBkmaDrUv6mVxKxQ5pklA6i00Vmoox0fscR+g+lcIEOKsn gM80E11aqIs/3Hl6BEqJRCZwUl42Fl0ktLjjzeLdTf3J6rlRoBaBR3/sE0pO4/6SQJ4BeVdt U1hLDreRrtVybJrM31o2la0UXpnAvtAVa1ZakVWzvrRZv5u2F8atyb1nSevAMPEDINvjgojd dilpDRd2FA7BOM=
  • Ironport-sdr: 653a799b_fvzKpasWGTGA7WggSaQS33RzXdBJ1La1KBStWOK5udxaVDm b0hJE5qns2pc+lcTkVEsOZWPdc+JUsriv6cJhhg==
  • Msip_labels:

Dear all

Please encourage both undergraduate and graduate students working in Programming Languages to submit their work to the POPL 2024 Student Research Competition!

Deadline: Friday 10 November

See here for full details

Best wishes

Ally Donaldson and John Wickerson
POPL 2024 Publicity Chairs



  • [Coq-Club] POPL 2024 Student Research Competition - deadline Friday 10 November, Donaldson, Alastair F, 10/26/2023

Archive powered by MHonArc 2.6.19+.

Top of Page