coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Daggitt, Matthew" <M.Daggitt AT hw.ac.uk>
- To: "Komendantskaya, Ekaterina" <E.Komendantskaya AT hw.ac.uk>
- Subject: [Coq-Club] MPC 2022 - Deadline extension
- Date: Mon, 11 Apr 2022 10:34:52 +0000
- Accept-language: en-GB, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=hw.ac.uk; dmarc=pass action=none header.from=hw.ac.uk; dkim=pass header.d=hw.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=z/j21y6pO7Rejt5KhYyd5QMJdcw+yFXhu7HRc0EK2hc=; b=IIBKayvfkfqc1UOVnrUCc0S+T2X0dzhhKv8gLH5naynkLLFugkxz6Rb6CjZSwF0iS/UAbvBkgQhxaQSgrITf80XUWN8KN97fRyE1qvpQBFjbwLC1apbrLJBh/0UcVEjLLt5SxU5RXuJNruW8hzyvUHJwfmsiPQRsM+CDS6JOshiAvSh5C4BjZCY71rfYrDrCLzTJnUtm00qUp8AbKeIH0PBIePOHkf+cjNGRcpYutls2223Qbj9qqqGct3Rp+NHYqa663ExEKkD1UMzsr5Gr19sbYp7IudemIUM76HKdycxx1K+bsFk6MH5QgYrfN6CYKZpqSOwR8V/kdhmnnOsupg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=c2DZu8VIPdZldgY858tMPFZTSoTsB1sq4Lme4ipuIkNTAu4IkZbykxd+U4Ez61F/43rl+vO8zI/iHtdcJVjxooVdKzXyz5HEg2uk/Zpxtny+5WXJFdxa9jQSwdisJF4L3QYmB0birYdbf0vh68TJv9SV6NCuAEMT5sfYx0JSZcumkWNTg4AKT9Q9XICl2GF4l7Ed9ws6PhLHQ86Hcth3J97hiY1/aH78daW31CJCzNDci3jX4jRIX4+AbzYItReUGFQrSH/jOIBNO8vxCu4lHZFro/+Tbkofqhr20xDE+4KxuPmccxSZADQ1xKlk0TfzuQtvfAcj9AUCN8Z2q0iEHA==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=M.Daggitt AT hw.ac.uk; spf=Pass smtp.mailfrom=M.Daggitt AT hw.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-CWL-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:w+6rbKOGI8Wn17zvrR2jksFynXyQoLVcMsEvi/4bfWQNrUorhjJTn WpOXDuAa/7YZWP0fo8nbtmw9UwFu8OGzdJmT3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/jgqoPUUIYoAAgoLeNfYHpn2EoLd9IR2NYy24DlWlrV4 LsenuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB2Sr9JXw 45PraWBRAsOH/3iivYfAz1hRnQW0a1uoNcrIFCQm/bLlgjtTF+pxP9jSkYrIYcf5+B7R3lU8 uAVIywMaRbFgP+qxLW8Sa9ngcFLwMvDYNtZ4yk/i2iAS6d7KXzAa/2iCdtw+XEcj89BHOrCT 8oGLzNkKgnDC/FKEg5OUc1mxLr17pX5WyFyo1ey+5sP33mJzTYo9qqxCf/ZU9PfEK25mW7D/ zmdoAwVGCoyP9WazX+B82mwrvTemDvyHoMUDryxsPBw6HWYwXVWAxkLX3OgsPyhgwi/XcheI goa4EITQbMa8UWqSpz2QBm3qmTc5xkaAYIBTqs99R2HzbfS70CBHG8YQzVdadsg8sgrWTgt0 VzPlNTsbdByjFGLYWmt9JGf9jGqABkYIUgjNQEWXwlVx+C29enfkSnzZtpkFae0iPj8Fjfx3 y2GoUACa1M73ZJjO0KTrQ+vvt68mnTaZlNsu1+PDwpJ+is8P9T9PNPABU3ztK4YdO6kok+9U G8stOL2AAomJpiXmC2DTo3h95mCya/ZWNEwqWFmG5Q6nwlBFlamdIFUpTphIEhjKJ5dfjmzO B6O/wRM+JVUIX2mK7dtZJ68ANgryq6mEsn5UvfTbZxFZZ0ZmO67EMNGOhL4M4PFyRREfUQD1 XGzKpfE4ZEyVfUP8dZOb71BuYLHPwhnrY8pebj1zg68zZ2Vb2OPRLEOPTOmN75lvf3d/VmNq 40FaaNmLimztsWuPEE7FqZDfTg3wYQTXsCeRzF/KrPfeFo6SDlJ5wH5mOx7INA490iqqgs41 irkARQHoLYOrXjGIh+NcXdtdPvkWoxnqmgyIS0rOz6VN4sLMO6SAFMkX8JvJ9EPrbU7pdYtF qVtU5jeXpxnF2qWkxxAPciVhNEzL3yD2FPeVwL7OmRXV8A7HWThpIS7FjYDAQFVU0JbQ+Nl/ +b/vu4aKLJfLzlf4DH+NKr0nwzs5yBE8A+wNmORSuRulIzX2NACA0TMYjUfeang8D3PmWmX0 Ri4GxAdqbWfqoM56ombhb/CpozvDugnRhhWGGzS7LCXMyjG/zP7n98ZDr3SJWjQBDHu5aGvR eRJ1PWgYvcJq1BH7thnGLFxwKNiutbi/ucIzgltEHjRQU6sD7dsfiuP0cVV5v9N2flQsk2rW RvXqNVdPLyIPuLjEUIQfVJ7Pr3djqtMwjSLtKY7OkT34iNz7YGra0QKMknekjFZIZt0LJghn bUrtvkQ5lHtkREtKNuH0n1Z+mnQfHwNV6Ir6sMTDIPx1ld55Xt4OcWZIRDSpZaFZpNLL1UgJ SKSiOzanbNAy0Hecn01U3/Qwe5agpdIsxdPlQdQK1OMk9vDp/k2wBwOrmtuHl4Jlk1Kg7BpJ 2xmF0xpPqHRrTplgc50WWrzSQxMARuu/FP8lgkSn2rDQkj0DWHAcD8nNeCW8BxL+m5QZGUCr rSRyWKgWinuc8vrhnI1XxQ9+qGlSsFt/ArfnszhB96CA5QxfTvihOmpeHYMrBzkR8g2gRSf9 +Vt+e9xb4z9NDIR/PJkUtnAiexIRUDWPnFGTNFg4LgNQjPRdTS07j6EdBK8d8ZLEPrV/BLqE MdpPM9OC0+z2SvmQur33kLQz2KYXcLF5ebuvpvED1Re6v60kR4st5jdsC/jmGUsXtNi194nL Z/cfC6DFWrWgmZIn2jKr49PPW/QjRwseljnxO7smAkWP8trjQ2uWRhaPniIU7G9MBQh9hnSo QCri2r+0bl50Yo192fzOvwrOuh3QO8fkMyI70a6uJJTbrsj9CsIWxw98jHaAuidAVfdtxmbW 1hAXB4bEX4pZIoLbl0=
- Ironport-hdrordr: A9a23:Lf41Xag4F+1y0y8yHiz6YSC0mXBQX2h13DAbv31ZSRFFG/FwyP rCoB1L73XJYWgqM03IwerwXpVoMkmsjKKdgLNhdItKOTOLhILGFvAH0WKP+Vzd8k7Fh6ZgPM VbAs9D4bTLZDAU4/oSizPIcOrIteP3lZxA8t2urUuFIzsLV4hQqyNCTiqLGEx/QwdLQbAjEo CH28ZBrz28PVwKc8WSHBA+LqL+juyOsKijTQ8NBhYh5gXLpyiv8qTGHx+R2Qpbey9TwI0l7X POn2XCl+ieWrCAu1PhPl3ontprcejau5p+7Qu3+4gowwDX+0mVjUJaKv6/VX4O0aOSAR0R4a HxSl8bTr9OAjXqDyqISFLWqnTd+Swz5XHv00KVjE3qvNHwTjM/B81ds5hUaAHY7U0XvNwU6t Mw40uJ85VQFh/OhyL7+pzBUAxrjFO9pT44nfcUlGE3a/prVFZ9l/1swKpuKuZ0IMs60vFXLM B+SMXHoPpGe1KTaH7U+mFp3dy3R3w2WhOLWFILtMCZ2yVf2CkR9Tpv+OUP2nMbsJ4tQZhN4O rJdqxuibFVV8cTKaZwHv0IT8e7AnHEBRjMLGWRK1L6E7xvAQO7l7fnpLEuoO26cp0By5U/3J zHTVNDrGY3P1njDMWftac7gSwlgF/NLQgF5vsumKSR4IeMOIYDGRfzNmwTrw==
- Ironport-phdr: A9a23:fRtTyh2icle4/jZksmDOxQwyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaFo6w90hSTAs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsipyey+4YDfbgZJiTayf79/L gi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s8 7lkRwPpiCcfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZXshfSTFPAp+yY YUME+UOMv1VoJPhq1cStxayGRWgCP7pxzRVhnH2x6o60+E5HA3I0gIvBd0OsHvVrNXpKKceS f2+wq7SwjXfc/NW2Sny6YbGfhs8pvyCWqh8f8TLxkkgGAPFj0mQqZD+MjOV2OUBqXKU4PZ6W eKyiG4qsgd8qSWgyckwkIfGnJ4Vykza+iVjxoY4PdO1RFBmbdOgFJZdqSGUOpZrT84iTGxlu jo2x6MatZO7ciUEyJcqywLcZvGGb4WF/g7uWPiTLDp8mn5oerCyihe0/EO9xOP8Ucy030xLr ipDitTMtn4M2wbJ5cebUPd940Sh1DCS3A7Q8uFJOU85mbbBJ5I83rI9lIAfvVneEiPsnEj7j Leaelsl9+S05enqZ6jqqoOGOIJ1jwzzPbgiltG6DOglMwUDWm2W9fqy2bDl4Eb3Wq9Fjucsn ancqJ3aJdoUpqq+AwJN04gu9gqxAyu73NgBg3QILFRLdAuAj4fyJV7COvf4Deqjg1u3lzdr2 vbGMaD7DpXVNHjDl6vhcqhh5E5AyQozytZf64hTCrEcPPLzXkjxtNvbDhMjLwO0xOPnBM181 oMYR22PHreUPazOvVOS++4jP+uBaJUItDrgMfQo4/7jgWc8mVAHfKmp2ZUXaGq/HvRjO0iXZ mDgjNkbHmcFsQo+TfDqiEGZXD5TaXe+Rbgz6S0hBIK7DofPXoatj6eZ0yehApJWfnxGCkyLE XrwaYmIQ+0MZz6KIs99jjwEUqCsRJM72hGrsA/20r5nLuvP+i0Erp/jz9h05+jLlR4o7zB0D sKd03uMT25uhG8ISSU20LhloUNh0leDzbR4g/tAGNNP4PNJSx42OoLYz+xnEN//QRnBf9eMS Fa+WNqqGzAxTtQrw98PeUlxAduijgqQlxatVvU2kLmGApA99L7H3HHgLoI15nXPyKQ7jl8vC IMbGCuFgaty8QTaAZLSkEyIno6qauIV12jQ9zHQ43CJuRQSfAd/XqTZQTRXQ0LKsdT0+QmKG 5roJb0oPQpd1eaCNe1DYZv0jgMVF7/YJN3CbjfpyC+LDhGSy+bJNdKyE4189CDUCUxf1hsW4 W7DLg8mQCGov2PZCjVqU1PpeULlt+dk+zugVkFh6QaMYgV60qatvAYPjKm5Dd8a0b0FpDsJq yoyFV37wtGFQ8GYqV9Zdb5HKcg4/E8B0GvYswJnOZn1CuZOj1ERchhrl0PxkRx8TJhDwoAxt H1/9ANpMuqD1U9ZMTOV2ZelIrrMNmz75wyicYb58GuGiZO9xYNK7/417VL+oAuuC0wutW191 MVY2Ged4ZOMCxcOVZX2UQA88B0SS6jyRC476suU0HRtNfLxqTrew5cyA/NjzB+8ftBZOafCF QnoEsRcCdL8YOot00OkaB4JJoUwvOY9It+mev2a2aWqIPconTSoin5C6Zx81UTE/jR1S+rB1 ZIIi/+C2Q7PWzD5hVan+sf5/OIMLRRUMmOwxin4GKZReet7dsAWCibmIsG6wMl/m4+4Q2RRp xaoA1IL3tPseALHMwS7hFUPkx1O5y36yk7ah3Runjokr7SSxnnLyuXmL18cP3JTAXJllRHqK JS1iNYTWA6paRIonV2r/xWfpeATqaJhIm3UWUoNcTLxKjQod+2cv7WNYtJTwJM39yxcFvm/K wP/KPa1s14B3iXvEnELjhV9WziltZTlgzR6lySUJzBurzCKMdE1zhDZ6tvGQPdX1TdTXyh0h w7cAV2kNsWo99GZ/3vamti3THnpFphacC2wiJiFqDP+/mpyRxu2g/G0nNTjVwk8yy7ykddwB 23EqxP1Y4+j0KrfU6ovWw9EDVDz6tZmMoFh1II7wowTkXQXnZSa+3MbnHy7bY0dgPqhKiNUA 29Wi9fOqBDowkhiMm6Ey+ebHj2Gz81tasP7KmIa1yQh7txbXaKd7bhKhyxw8RKzqQPcZ+Q4n y9IlaNosSZFxbhQ/ltwnUD/SvgIEEJVPDLhjUGN5tG69+BMYXq3NKO3zAx4lMygC7eLpkddX mz4c9EsB3wVjI03PVTS3Xn08oyhdsPXaIdZk1u4mhjPjvRJAJIu0PMBwzdkczGY3zVt26sgg Bpi0Ivv9q3BB2xi86OlHjZYKXv8bIUO+Xu+xbYblcGQ0Ye1G5xnETheR5rkQ8WjFzcKvOjmP QKDQ1he4j+LXKDSFgiF5AJ6vmrCRtq1YmqPKiBTnp1yAQOQL0tFjEUIUSUmy9QnQxuyypWEE g8x5yhNtAKg7EoWjLoub16mDy/evFv6Nm9yEcDAakIQtkYbuQ/UKZDMs7g1RnkAuMXn9EvUd gn5L0xJFT1bAxTYQQy8eOHovZ6ZrKCZHrTsdfKWOOfX8LUMWavQncD9ldc2mlTEfsSXYCs4B qViiBMaBCJ3R5yCyWdIF3xfliTGa9OXqUWn4iN76Nil9+jmUx7u4o3JDKZONdJo+Fa9hqLmV abYwS99LXwwOook/XbT0/Bf2VcTj3orbDyxCfEbsjaLSqvMm6hRBhpdaiVpNcIO4bhulgVKP MfajJvy2NsaxrYtDExZUFX6hsyzTeMgGTnkcXj4IAOMPrnAIiDXycbqZ6/6UadXkOhfqxy3v 3CcDlPnOTOA0TLuUnXNealAgTqaMxpXpIymOko1TzG7E5S/M1vqbZd+lnUuzKcxh2/WOGJUK jV6f05X7/WR4S5envRjCjlB435ifozm026S6+jVLIpTsOM+XnwyzroFpi1jjeoIv0QmDLRvl SDfr8BjuQSjm+iLkX98VQZW7y1MnMSNtFljPqPQ8t9BX2zF9VQD9zb1aVxCqt17B9noo60Vx MLIkfe5DXFu+t3b/NcAL8jLbsuMdmcie0mMenacHE4eQDinOHuKzVRai+2X/2aJo4IShbLWw MNLYYB/EVs/G7UdF1hvG8EELNFvRDQ4nLWHjckOo32jsB3WQ8YctZfCHKH3Y72nOHOSir9KY AENyLXzINEIN4H17Edlb0FzgIXAH0eDFcAIuCBqaRU45Vlc6HUrBHNmwFrrM0n+hR1bXe7xh BM9jRFyJPgg5Cu5qUliPULE/WMxiBVjxY2j0GrXKHipa/7tFYBOV3io7w5oasy9G0AtKlTs+ C4sfDbcG+AM1f05LTgt0EmE/sITUf9EEf8dOENWma7RP7Nwlg0D4iS/mx0d7LOcW8I7zVkkL cb0/SAHh1IGDpZ9JLSOdvBAlgEC3/vX7CH0jrtjkkhCdw4M9miWZSIF6lcQOLVgPzCv4uFn9 Q2FnX1EZXQIUP0p5Plt8yZfc6zFxibkmdary2ieHdbHduayhEyFksSFBFQtykkPik9Ju6Bs1 tsueFaVUEZpy6aNExMONozJLgQHNqK6G1DTYmCHuqPQwsAsV21YPuD3C+aF8rsX0BrMIQ==
- Ironport-sdr: L8Lmd126fBqTzvjMscWDIbEOtif4HE2Zk7K61VXPN1qYWAfEmX5BlkCSvbkq0K2b6csBUWeGiC pAoMIuel8eNJUGgdANIe7HDHXDjGKCoSl59j/JuokrXoOA9q9jy3riK/ilDtu65/+EL30nP71U Kx8ASgUGcEGMKohrOdLxmKCPnQiWcuMhxzVcC1pnWVRck1u2AiVx1TCMiL/yK6/UDfXRWxa1Df LIT2KaQr6lFRwvCWJDWl9XDM46LTyAHiUS2WBCx1nb9RLNJU/8/Vb6RIRUGNe7zKP3UHtBGfXS AmRE5dkvaTllwXHSb6CmU5Xk
- Suggested_attachment_session_id: 4771605b-64ff-5787-f137-f3acefc22151
Dear all,
Untitled Document
It has been drawn to the organisers' attention that the paper submission deadline for MPC 2022 lies
over the Easter weekend which is a public holiday in some parts of the world. To avoid disrupting people's well-earned holidays and to increase the number of submissions, we are extending the deadlines for both abstract and paper submission by 12 days. The
new dates are therefore:
- Abstract submission - 22nd of April (anywhere on Earth)
- Paper submission - 29th of April (anywhere on Earth)
Many thanks,
Katya and MatthewFounded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes:
- Heriot-Watt University, a Scottish charity registered under number SC000278
- Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.
The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system.
- [Coq-Club] MPC 2022 - Deadline extension, Daggitt, Matthew, 04/11/2022
Archive powered by MHonArc 2.6.19+.