coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] POPL 2024 - Call for Participation - Early registration: 14 December

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 - Call for Participation - Early registration: 14 December
Date: Mon, 13 Nov 2023 12:15:21 +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=N3BCNeBZBYGxGSzk6hZytemTirQTiI3tyvKkvGeOaNM=; b=GvOa7NGKk2LaRDMLwc9Q9smE5M/uyRGXztZiH95LS7e1bG2AVyZzb4qkyF4X1hFPutnpdcuwNkoCsqvEmOypRcujhQh+o7oYimq+buyjMO5hqu8GImsoYEdlh7PzcSkRDA8DPEM4edZ+REvetce/AOGAZTYCO8LNOq5tyQu2I5hJyAq00a2ffVTUQNnQvUXocv7FaC3/NzHSco1vEuS+0uagGLPaXKcSnKPwKB9vhACxtfxDveLlVfS3SW5euDxOQ+JPQJamgt6hLB5Zft6BlU9TPsXL4xRWBKlzaqespo7MM0+irXB5g8VeXUNAZ6YSR/cGL/3qYfyOtozmPxjIgA==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=R6Ea/LXNcNyREsKWp7SAxVdkXOUBe4KU/FKbJipsysdWllYrNSqxSQvyKsJ93ynUz7n8rjvKmPC3Lg47XCsFAL2V4ZOiWukuXbANAu6rFVflHx4vSa5KOwmC2XQCri39+hUj0ilv2LQOYA47NiyH79z6WIirgQbUVUbvoX6yEhrQrxp8F3RU0T2qYEjj7P4UaeOnWlYbT0YdrLHj7ApvrqtFi6BtBBx+oVq45B9G5od4Asc+j1SqUAuqwt4tYlQck22h5gVtlv0AgYi5TnnytNnNEoThqly1Nt2RlhzTu2i9TaxULYVicEY52AVBSjkup4U/JlL8MDemUVA2qcmtsQ==
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 smtphub1.cc.ic.ac.uk
Ironport-data: A9a23:DQmRrq0Rrmk96CJHT/bD5W91kn2cJEfYwER7XKvMYLTBsI5bpzMFz jRMWjzTbPbYYmTyetx+boi+pk4C7ZXXy99jHVY/3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9gFaYDkpOs/jY8Uo256yr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW1nqn8VoAV4nBIYZxfZRIFMX3 /ZCARlYO3hvh8ruqF66YvJpmtwjMcOyeogU/HBrizjSS+slKXzBa/yWu5kBg2Z21oYSQp4yZ OJBAdZrRB3EagZTM1YNTp45mu6simL4dRVZrUqYv6s+5y7ax0ps09ABNfKKI4fSGZQFxC50o EqB5EjXIzwTJuDH4iWr2COgpLLpvh7SDdd6+LqQraI03ATKnAT/EiY+Xlyi5PK9l0SWQMNaM 0VS+yw0rKF0+lbDczXmdwa9vGaEoxRFHdFbVewxrgiGjLfXi+qEOoQaZhxHNOwgudAnfDcr6 U+vvuGwLzY1mZTAHBpx6YyohT+1PCEUK0oLaikFURYJ7rHfTGcb0k2nojFLTP7dszHlJd3j6 23T8Hdn393/meZOjfvnrTgrlhr2/vD0ohgJChL/cUjNAulRXo+uZ4mv71SzAR1oF7nAEjFtU FApncea5eYCZaxheQSWRfkVHKyjvrCOO3vdihhmFN889FxBGkJPn6gPuVmSx28wbK7onAMFh meP5Wu9A7cPYROXgVdfOd7ZNijT5fGI+S7Zfv7VdMFSRZN6aRWK+ipjDWbJgTG8wBF3wfpjY s7DGSpJMZr8Ifo+pNZRb7lHuYLHOghlnTu7qW3TkEz2iOvGOBZ5t59cYQXWPojVE59oUC2Or 4gDbpLQo/mueO/3ZCTLuZMVLE4HN2M6GYG+rcFLaemZIWJb9JIJVZfsLUcaU9U9xcx9z76Ql lnkAx8w4ASk3xXvd17VAk2PnZuyB/6TW1phY3x1VbtpslB+CbuSAFA3LsVoIOF3rrU6pRO2J tFcE/i97j10Ymyv01wggVPV9eSOrTz61VjcDDnvezUlYZ9rSirA/9KuLEOl9zADAmDz/YEyq qGpnFGTC5cSZRVQPOCPYtKWznS1oSc8nsB2VBD2OdV9Qhjn37VrDC3TtcUJBf8wBy/N/AbH6 DbOMywk/bHMh6QX7Oj2gbu1qtb1MulmQWtfMWrpzZe3Eij45mCT64tLVeKIdxuAVFLlpfyrd MRO7vTGKPZctk17g4l9NLdKzKwF+NrkoYFB/DlkBHnma1eKCKtqB3u7gfl0qaxGw4FGtTuMW k6g/sdQPZOLMpjHFGE9CRUEbOPZ890pgRjXsOoIJXvl6B9N/LaoVVtYOz+Ognd/KJp3KIYU/ vczivUJ6gCQigsYDfjet3p6r1+zF30nV7krkro4A4Wx0woi9QxkUKzmUyTz5MmCVsVIPkwUO QSrvavlhYlH50/8YnE2RGns3+1cuMw0gyp07mQ+fnaHptmUocUM/kx10S82RQFr3Bl4w7pNG mx0BXZUe4SK3RlV3fZmYU79Ojt8FCW4+1PwwWQnjGf2bVelfU2TIXwfOdSixlE48WVddWICp Lq3yD/UUxv3TZvUwyINfFNUlNn+QeNq9ynpusOuL+KaFbYUPBvnha6PYzITih3FWMkeumzOl dNIzs1RN5LpEDE2orIqLbWa2ZA7agG2FEYbTd5PpKo2THzhIhes0j2wGmWNU8JqJc2S13SnC sZrd/l9Zz7n2Amg9jkkVLMxeZlql/sU5f0HSLPhBUgCl5C99jNJkpbhxhLStV8RYedFsJgCc 9vKVje4DGavq2NemDbNoOl6K2OIW4Q4SzOm7t+l0tciNswli/5tQ3EQw7HvnnSyMSlbxTy2k j7HRZfry71F9dwxsarqSr5OFielG+PVDe6oyj2+g/5KTNHIMPrNiT8rl0naD1xWEIYVCvtKl uWrkd/o3Un6kq48fELHlrKgSaRYx8WAc9BGE8DwLXBlxDSwaO300iQc5lGHDIFFr8hcwuKFR AKITtS6WvBIetVaxVxTMzN/FTREAYvJT67QnwGPhNXSNQo8iCvpdMiG813tZkFlLh44AYX0U FLIiqz/9+Jmo5RpLz5aIfNfWrtTAkLpAIkifP3P7QioNHGi2A6+i+GzhCgbyG/5D1efG5zH+ rPDfB/1cSqytIzuzN10t49TvAUdPE1igNsfL14sxNprtw+UVGI2D/wREZEjOKFmlibf0JLZZ jaUSEAADS77fypPcDSiwdDFczqcONczOYbCFmR0x3+XVia4OtrRSv8pvCJt+Gx/dTbf3fmqY 4NWsGH5Oh+qhIplX6AP7/i8mv1q3e7e2mlOw03mjsjuGFwLNN3mDpC68NZlDkQr0v0hlXkn4 UAuQHxcQFyxEAj6GoBhcDhcE1cEv1sDCtnugTinmL7iV0ezlYWsC8ET/8ny16UOdsUDIPgHT jXqRANhJkiIj2cLt/JBV80B2MdJ5DHiIiR+BK7mXQAInqi0rG0sed4B9cbKoAfO5yYHe27ge vKQD7TSyahLxI29GFFb9OnRx69Mbw==
Ironport-hdrordr: A9a23:NdFPAqn1juhVl6pEKvda5k5rr7npDfIr3DAbv31ZSRFFG/Fw5P re/sjzsiWE8Ar5OUtQ4OxoV5PvfZqxz+8R3WBVB8bFYOCEggqVxeNZgrcKqgeIc0aSmtK1l5 0QFJSWY+eAbmSS4/yKhDVQX+xB/DBZysqVuds=
Ironport-phdr: A9a23:QxHggxwlR6W5EZ3XCzLBw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hyZvK41xwSSFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PQbglSmTawb69+I Bq4oAjfq8IbnZZsJqEtxxTGpXdFZ/5YyWR0K1yNgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/WfKgcJyka1bugqsqRxhzYDJfIGbOvlwcb/Sct4BX2VNQtpdWjZdDo+gb 4YCCfcKM+ZCr4n6olsDtRWyCwerBOPp0DBIgmL53bY90+QnCQ3NwRAtH9YUv3TPsNX6LqYSU fqox6fIwznIcvRb1i356IfSaRAhveuDXbNqccbL1EYvEAXFgU+UqYP4JDOV0eINvnOa7+plT eKglXQnqwBrrTir3MsjkJXGipgIylDH7Ch0xps+KtKkRkBhe9GkDIdQuD+AN4twWs4vTH1lt SY7x7MIu5O1fCYExIg5yhDQZPKKcIyF7g/jWeueITl1i31odbO/ihuv70StyOzxW8u33VpWo CdIk9rBu3YQ3BLd7ciHT+Fy/kan2TuXzADT6+5EIVgwlaXBLZ4t2LkwloAcsUnFAyT4m132g beLekgr++Wk8fnrb7fiq5OGNIJ4kA7zP6Y2lsChAOk0LgYDUm2G9eigzrLu/Ej0TbpWgvEql 6TVrY7WKMAeq6O8AwJY1Jso5gi7Dze7y9QYgWcILEhYdhKGjonmJUnDLOz+APyimVqjii1ry OrDPrD5ApXCMHzDkLD5cLZm7k5c1BIzzdBC551PF70NOu78VVPruNzZEhA1KRa7zPr9BNVg1 YMSQWOPAqmHP6POqVKE++0iLuiWaIMIujvwL+Ip6v30gXI2m1IRZayp0oEWaHC8EPRmOUKZY X/0j9gbFWcFpBE+TPDwh12DSz5ffWu9X6U65j4hDIKpEJzDRoergLGa3Se7G4VWaX5cClCNC 3joc5+IVO0QZy6IP89hkSQIVb66RIA5zxGhqBf6y6Z7LurT4iAUqIrv1MJp6O3LiREy6Tt0A tyB3GGKVmF4h38HRzsr3K9kukF90VeC0a1gg/NCD9BT5vVJUh07NZHG1eB6BcryCUr9eYLDQ 1G/B96iHDsZT9QrwtZIbVw3U4GpiQmG1C63CZcUkaaKDdo66PSP8WL2IpM353HA3a0tlF4gB oNmMWS9mqd+7UD9TcadmkGQjLqjdL5a0CnL/WOP1m2IlEBdSANqUKzBG3kUIFbV+4eqrnjeR qOjXOx0ejBKztSPf/MigrzBiFxHQKymI9HCeyeqnH/2Ax+Ux7SKZY6semMH3SybBlJX2xsL8 yOgMg4zTjykv3qYFCZnQFvraljw+Ohk7n+8SEYwwxqNaWVg0qK44B8cgbqVQLUO3eFMoz8v/ g19B031xNfKE5yFrgtlcr9bZIY05F5cyWvYrUpxOZqpK6x5gVg2cgFvslnv3hExA44GjMt55 Ggywl9ULqSVmEhEayve3Z30PejPLXLu+Rm0d6PM8krbzM6W561Wrv8z7VTo+giiUFchm5l++ /9S1XbUppDDDQ5JFIn0Tl5y7B9i4bfTfig64YrQk3xqK6i99DHYiZovA6M+xxCscs06UuvMH RLuE8AcG8mlKfA701mvYBUeOelO9akyd8q4fvqC0aSvMa5uhjWjxWhA5Yl81AqL+U8eAqbB2 58e3/iZxE2LUDH1iFu6tcbfmIVcaCsTF275wCOiGY0QLqx+cIAXCHu/dtWtz4Yb5dalUHpZ+ Vi/QlIejZb1J1zLMA27jUsMihdywzTvgyazwj1qnit8q6Oe2HeL2OH+bF8cPXYNQmB+jFDqK IzyjtYAXUHuYRJ68XntrUv82aVfo7xyamfJRkIdNSHyJnp+W6qq8LaFZcdL5Igvtw1WVfyxe 1GTTvj0qF0H0GmwegkWjCB+bDystpjjylZzjGuGMH9ytjzVfsd5wRvE49r0RPtJ0yAHTS0+g DKRG1v2bLzLtZ2E0pzEtO65TWeoUJZeJDLqwY23vyy+/WR2ABe7kphfg/XfGBMhmW/+3thuD mDTqQrkJ5Lsz+K8OP5meU9hABn97dB7E8dwiNl4iJYV0HkczpKbmBhP2W73OM5H0KPkKnYKQ zcPz8XS5iDk3VVuNHOAw8TwXTOAwYNtasK7bWUfxi8mp5kWVuHNs+0CzW0p/RKxtmezKbBlk y0YyOcy5XJSmOwPtAc3j22cDr0UAUhELHnpnhWM4cq5qfYfb2KufL6skUtmyIn9Uvfb/VAaC DClJcRHf2c49Mh0PVPS3Wem74jlfIKVdtcPrliPlA+GieFJKZU3n/5MhCx9OGu7s2d2roxzx RFow5y+u5CKbmt3+6fsSBdcPybpbsIJvD3qi69akt2R2aiuG41sADQCWN3hRrS1E3hB0Javf xbLCzA6pnqBTPDWGQaE9E5ntTTDFJaiM32MI38xzNB6SQOcLUgZiQtSQTZwzftbXki6gcfmd kl+/DUY4FX1/wBNxuxfPB76Sm7DpQ2sZ2R8WN2FIRFR9A0H+1bNPJnU8LdoBy8BtM7EzkTFO imBag9PF21MRkGUGwWpIOy1/deZu+mAWrjnc6WIOOrf77wYC6/Pn8PKsMMu/i7QZJzeZD87U qN9gxQZGyg+QZSRmi1TGXVLyWSUMJ/d/036pnUw9JHakryjWRqzt9LeUf0LbIspok7sx/7dc LTAzCdhd2QC38sHlyLCw+BNjAZA0nk+JWvxSfNZ73OoLuqYm7cJXUQSMyghacFDt/BshlsUN JaJ2JSrivZ5lqBnUV4dXg68kMrxN5xacTjlbQGVWB7Mbe7bQF+Di8DvP/HmQOVb3rhevEXi6 WbJSkK7bGbEyWWhABmrNaskYDizGhtYtcn9dx9sDTOmV9f6cligN8cxizQqwLoyj3eMNGgGM DE6fVkf5ruXpThVhPlyAQkjpjJsMPWEliCF7uLZNodesP1lBT5xnv5b53JywqVc7SVNTvh40 CXIqdsmr1ajm+iJgj1pNXgG4i5Mn56OtF5+NL/x7ZxcQXbZ9ktL5m7WCh9MrtAjF96u86Fcx 97Tlb7ifTdP99WHmKlUT8PQKc+BLD8gKU+wRGCSVVRUC27taT6M4i4V2Ouf/XCUsJUg/53lm Z5VD6ReSERwDfQCTEJsAN0FJp5zGDIii7+SysASth/c5FHcQttXupffW7ecG/LqfXyQibBfe xIJ2/X0KoIaMoHg3EpKa1xikZ7LEk6WVNsLvy4rPWpW6A1dtWNzSGE+wRevcgS2/HoaDuK5h DYtjxdmYfknrXHn6BE2LRzDr20tkwNi/LetySDUezn3IqCqWIhQACehrEk9PKTwRANtZBGzl 0hpXN8rb7NUl7Z6dGlvzgbX/4ZMS6c0pUxsexoM3fGKbaxu2l8aqy7hzEQB+OiXUfOKcSMrd IahtXNJ30RqZ5goJv6ITJc=
Ironport-sdr: 6552135c_Tk5sI8rJDRYlLnkKax7Qyoj2T2saORkvoQFNtUekxv4EnmO hqvLjpEVNzUAv3QTqarMDIvczMH5hf6Yddh/ckw==
Msip_labels:

Dear all

Please help spread the word about POPL 2024, which is now open for registration! Details below.

Best wishes

Ally Donaldson and John Wickerson

POPL 2024 Publicity Chairs

POPL 2024 - Call for Participation

** Early registration deadline: 14 December 2023 **

Come and join us for POPL 2024, in January, in the heart of London!

Location: Institution of Engineering and Technology (IET), Savoy Place, London, WC2R 0BL

Dates:

- Main conference: Wed 17 - Fri 19 January

- Workshops, tutorials, co-located events: Sun 14, Mon 15, Tue 16 and Sat 20 January

Invited speakers

- Azadeh Farzan, University of Toronto

- Nate Foster, Cornell University

Accepted papers: https://popl24.sigplan.org/track/POPL-2024-popl-research-papers

Full details of the conference and co-located events: https://popl24.sigplan.org/

Sponsors: POPL is supported by generous sponsorship from:

- Jane Street

- Amazon

- ahrefs

- JetBrains

- Input

- Certora

- Google

- Epic

The 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024) will take place in January in the heart of London, at the Institution of Engineering and Technology (IET). As well as presentations of the highest quality research papers on Programming Languages, the POPL 2024 technical programme will feature keynote talks from Azadeh Farzan and Nate Foster, and will be complemented by more than 25 co-located workshops, tutorials and other events!

As well as the main POPL24 reception on Wed 17 January, the conference will feature a DEI4Everyone cocktail reception on Thu 18 January, which is free thanks to generous support from Jane Street. The reception will feature short talks from DEI representatives reflecting on their experiences around DEI issues. The event is open to everyone and our goal is to foster DEI discussions, all while drinking fabulous cocktails! This will also be an opportunity for people to form groups to go to dinner and get to know each other afterwards. Please sign up - see the registration link above for details.

The Strand Palace conference hotel has a close relationship with IET. It has e.g. cosy single rooms with single beds which provides a good cheap option right in the heart of central London. In addition, if you don’t get your towels cleaned, you get £7 to spend e.g. in the bar after dinner!

It's going to be an amazing conference - don't miss it - sign up now! https://popl24.sigplan.org/attending/registration

[Coq-Club] POPL 2024 - Call for Participation - Early registration: 14 December, Donaldson, Alastair F, 11/13/2023