coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation PLDI 2022

From: "William J. Bowman (PLDI Publicity Chair)" <wjb AT williamjbowman.com>
To: undisclosed-recipients: ;
Subject: [Coq-Club] Call for Participation PLDI 2022
Date: Mon, 21 Mar 2022 11:30:38 -0700
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=wjb AT williamjbowman.com; spf=Pass smtp.mailfrom=wjb AT williamjbowman.com; spf=Pass smtp.helo=postmaster AT williamjbowman.com
Ironport-data: A9a23:xOCFIaCeX9e2XhVW///lw5YqxClBgxIJ4kV8jS/XYbTApDwg0zEBn zAcWW6EMvuON2CnedFzPtzn90MB78eDxt5rOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFw0XqPp8Zj2tQy2YPjWlvX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYowmEwfxy7 vVqiZeLFhp4EY/plfsgaTANRkmSPYUekFPGCWe+tciSxkjEeXzzxvxoSkoxOOX0+M4uUDsIr KFFbmBdKEna2Ypaw5rjIgVortshJuH0PYcbu3hlzzveEvMvR9bIRKCiCdpwjW5g35sQQp4yY eIFeABAUTfETyRWBU8xVLk9osGhj1LgJmgwRFW9/vptujSIpOBr65DmN8OQcdiXT+1Oj0OAr yTH+X74C1cULrSiJSGt7XOogu7GmCHxX50XHbv+/flv6LGO+oANICEbC3e4h9metkWFBM8OB G4x9zUTl4FnoSRHUeLBdxG/pXeFuDsVVNxRD/A25WmxJkz8vFbx6o8sEWMpVTA2iCMlbWByh gXTz7sFERQq7+HJFCPEnluBhWrqYXB9EIMUWcMToeLpCfHIrY06lFrsSNFnFLXdYjbdQW6hm W/iQMQWobgMxewGzb627Dj6b9+EuZnNSg884wfdWX2g5wU/b4mgD2BJ1bQ5xa0bRGp6ZgPZ1 JThpyR5xLlTZaxhbATXHI0w8EiBvp5o8FT02DaD5aUJ+TW34GKEdotN+jx4L0oBGp9aJWC5O B6I5FIMvcQ70J6WgUlfPNLZ5yMCkvaIKDgZfq28gidmP8goKlXWlM2QTRXJhjy3+KTTrU3PE czLK5/wVh72+IxjzTyxS+p17FPY7n9W+I4SLLilpymaPU22PyfEF+1abAPQMojULsqs+W3oz jqWDOPSoz03bQE0SnC/HVc7IQ9YIH4lK4rxrsALJOePLhA/SDM+CvvVwLokeYZigKFckKHD+ XTkAh1Uz1/2hHvmLwSWayk4Me22Dcgh9i82bX42IFKl+3k/eoLzvq0RQIQ6IOs8/+t5wP8qE /RcI5ecAu5CQyjs8igGacWvt5RrcRmm3FrcPyesbDUlUYRnQgjFpo3tcgf1rXlcESuzsco3p r+q0RzeSJxFTANnVZ6EZPWqxlK3nH4chOMrBBKWe4kNJh6x/dEzeSLrj/IxL8UdEjn5x2OXh 1SMHBMVhejRuItpotPHsr+J8tWyGOxkE0sEQ2SCteSqNTPX93aIyJNbVLraZijUUW759fnwZ ehRyP2gYvQLkEwT49hjErJvzKs75dHouLpTyEJvG3CSNwanDbZpI3+n28hTt/QWn+EA6VXoA R+CqotAJLGEGML5C1pNdgArWfuOiKMPkT7I4PVrfEijvH1r/KCKWFl5NgWXjHAPN6N8NY4on bU7tMgN51DtgxYmKI/W3D9V82CNJ3kCWaI4s5gcRoTsj1NzmF1FZJXdDA7w4Y2OMo4VbBB6f GHP2aeS1a5BwkficmYoESSf1+RqmplT6gtBy0UPJgrVl4Od1OM3xhBY7R8+Uh9Rkkdcy+t2N 2VmX6GvyX5iI9u8aAl/s2GQ98VpGxyd/k34zlkDk3LcRk/uXWvIRIH4EfjY51gXqgqwYRACl Ix0Ck68OdopQC019jQzXUpkovnhR9tu8wTE3sugGqxp2rEkNCH9jPbGiXUg8nPa7ABYuKEDj fZr+OJxYKj5PykPpqQ9TYKd0Nz8jfxCyHNqGZlcwU/CIY0QlPxeF9RDx4Bdt/6h/8D3zHI=
Ironport-hdrordr: A9a23:0XPdb62CxHND6F8N1jExKwqjBKMkLtp133Aq2lEZdPVwSL37qy nIpoV/6faUskdzZJhEo7q90ca7LE80maQY3WBzB9eftWvd2VdARbsKheDfKlbbdREWmNQz6Z td
Ironport-phdr: A9a23:GqFOER06TfvDjroismDONQ4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaFo6wx1xSQBN6TwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yf6+94fObwhHijexbq5+I Ai4oA7MqsQYnIxuJ7orxBDUuHVIYeNWxW1pJVKXgRnx49q78YBg/SpNpf8v7tZMXqrmcas2S 7xYFykmPHsu5ML3rxnDTBCA6WUaX24LjxdHGQnF7BX9Xpfsriv3s/d21SeGMcHqS70/RDOt7 7ptSBD1iScHLCI28GXQisxrkq1UvQ+qqxhwzoLIZY2YMud1cKHActMAXWdPUMZfWTFCDIyzc 4QAEuUPMP1Er4T+vVYCsQeyCRWuCe7p1zRGhmX23ao/0+k5Hw3J3A0gH9YKsHTVttr1MboZX +SvwKLV0DjDaP1X2TLn54jObxstpeuCU7R+f8TS1EIhDR7FgU6UqYzkIzyV1/gNsmiG5Od+V eKgkW8nqxt0rjSh28whjYfIhoAOxV3f+yR5wYI1Jdm5SEFhZN6kEoBftyaUNotzWMwiRXtkt zo9yr0DoJO2ejUBx5s7yRDFcfOHb5SI7Qz5VOaXOTp1hG5pdr2xiRuz9UWt1vDxW8qp3FpXr idJjsfAuH4J2hDP5MWLVudx80ev1DuB1w7e9OVJLFw0mKfUNZIs3LE+m5wOukrNGS/2nV/5j K6Qdkg84eio6uvnYq3ippCGMY94kAb+Mr4hmsCnG+Q3LBMOUHaB9uSmyLLj/Vf5TK9Njv0sn anUto3RK8cDpqOhHgNY1pgv5wyiAzqm0NkUh3oKIVFfdB6akoTkOknCLO38APq8mVigjTZmy +7cMrDhApjBNHvOnbfncL1g8UBT0hAzwspa559MCrEOPvbzWkjpud3WDx85Nwi0w+f9B9V41 IMRQmWPA6GcMKzIt1+E/P4gI+6JZIMNuTb9LeYq5+L2gHMknVIRY7Ol0YYXZX24BPhrIEaUb WDxjtscEGoGpg8+Q/briF2GXz5TfXGyX6ck6zA1CoKpFpzOR46sgLyF2Ce7H4dZZmVECl+XF nfpeYCEVO0KaC6IPsBhlTkEWaCnS4A6zR6urhP1y6J7LurI/S0VrY/v2MBv5+LPjREy6SB0D 8OF3m6RSGF0h3oESCMy3KBiukNw0UyD0Kh9g/xAD9Nf/fJJUgEgNZ7d1eN2Ed7yWhiSNuuOH UugTtS9CjU2Vd89hsUDaEdlGtikkguRl3n5LaUSkunBO50w9qPV2jDTYY5XzGnD3a9pz2ECb uoHDXCsgq909hTCT6XJmkSD1uziIbse1gbS9WOHzGOLvktfTwt5V+POWnVJNRielsjw+k6XF +zmMr8gKAYUlZbqwspib9ToiQ4DX/L/IJHFZHr3nW6sBBGOz7fKbYzwemxb0j+OQFMcnVU1+ nCLfRM7Gj/nu3jXWSNsH3rwYkfo8OB7qnm8UUo9yUeBaEgyn6Gt9EstjOeHA+gWwqpCvS4gr ztuG1PowNDcI8WBow5gdaBea9Qi5V5Bk2nesl81JYSuephrnUVWaAFrpwXu2hFwX51HitQvp Wg2wRBaNqOc1FJIcjGS2o/1M7uRIW73lPy2Q4jR3FyWkNOf+6NUre89t02mpwaxUEwr73Rg1 dBRlXqa/JTDSgQIA9r3VQ4s+h52qqu/AGF17p7I1XBqLai/syPTk9MvCuw/zx+8ftBZeKqaH Q72GsceCoCgMusv01SuaxsFOqhV+stWd4u5dfGux6+vOOdpmTCsintC6YY72UWJtmJ9RuPOw 5cZ0qSAxALUMlW0xFyls83xhcVFfWRLTzD5kHW5Qt4BIPQrI9Vuay/mOcC8y9RgioS4XndZ8 AXmHFYawIqyfgLUaVXh3ApW3EBRoHq9mCL+wSYn9lNh5qeZwiHKxPzvMRQdPWseDnZgh3/zI IywjtkfXkKvcA0gkl2u4kOwlM057OxvanLeR0tFZX28MGNoerSxsr6DastN4pQ3tCxRFu+7Z BrJL9y16wtf2CTlEWxEwTk9fDz/oZT1kStxj2eFJWpypn7UES1p7S/W/8eUBftY3z5dATJ9l SGSHV+ked+g4dSTkZ7H9OG4TWOoEJNJI2HnyoaJtS3z4mMPY1X3gPK5ssLmFQw72Cr53d51U CzO6h37Z8Hn2r+7PuRuYkRzTAatsYwjR9w4wtt23chOkXEBzo2Y538GjXv+PbA5kerlYXwBS CRKi9/Z7Q752VFye3eAxob3THKYkYNqY9i3ZH9T2zpotpEQTv7JsfoUzW0s+wTryGCZKeJwl Toc1/Y0vXsTguVS/REo0j3YGbcKW09RIS3rkR2MqdG4tqReImi1It3SnAJzm86sCLaar0RSQ nH8L909HyVY8cR7NFPF1X/57Z7hcd+WZtUW/E7x8V+In61OJZQ9m+BfzzVlM0rivHkhyuc+j xZpwpSzus6MLGAnr8fbSlZIczbyYc0U4DTki61Ty92X046YFZJkAjwXXZHsQKHgAHcIuP/gL QrLDCwkpyLRB+/EBQHGohQDzTqHA9WxOnqQPnVc0dhyWEzXOhlEmA5NFDxym45xFxj2lpWwK gEgu21Xtg6+80ISr4AgfxjnDDWF+l/wOGw/EMPNfhQOtQoQth7bP56Q470rTS8Go9W3pQiJY AR3fixwBHoSEgyBDlHnZfy14MXYtvOfHqy4JufPZrOHrapfUe2JzNShyNku8zGJP8SJdn5sa p9zklJERmx8Et/Fli8nVC0TkyPEasyRowi58ysxpce6uPjmQwPg44KTBqAaaIQ1vUnr3OHTZ 6jJ3XgxIC09tNtE3XLSzbkDwFMewzpjcTWgC/VItCLASr7Rhr4CDxMfbHA7P89J4qQgmwhVb JeK0JWsi+M+3q5zUg4bBjmD0omzaMcHIn+wLgbCDUePb/GdICHThtrweeW6QKFRi+Nds1uxv yyaGgntJGfm9XGhWhaxPOVLlCzeMgZZvdT3bRRnIXfiSNbnYxi5OthoiDQwh7YzgzmZUAxUe Sg5aE5LorCKuGlAhe5jHmVa8nd/BfaFnyKY5uzaIJEJtPJtRC9zkqgJhRZyg6sQ5yZCSvtvn SLUpdM7uFCqnN6EzT9/WQZPoDJG18qb+F9vMqLD+txcSG7JqVgTuH6IBU1A9L4HQpX//rpdw d/VmOfvJSdeppjKqNAECZGcIYqCIDIgKUa7QW+OSlJYEHj7ZSeG3hI48rna92XL/MJk8sC+w 5FWEe0JWgRuHaFLU0prTtIPf88lUG152aiSiMpCjZJbhAbQQMFbt5XFXPWNBPzpbj2eiOscD /Pp6az5KYASP4j50Ut9b1B82o/NHhiJNTiiijJgags1qUBP+n9hS2Q1nUnib1H0iEI=
Ironport-sdr: tUJ8W8g7UHuCub+MmQ0gtcrOVmhrm3Yh+izDqLh+pSKVu38NVhXfMWKnLCBH50oqPD/72xZTUi zcAdRGcMj3e0y3FeMUSYEQ8PyHU9CUC2BYUzksXq6gH1K+7nHxC3+6sb0ct8cVOZNHJj5tKxIp nP1y5wXlZdnPYZxMdveMWtAvf06bohU7n8bPH9c2vTxf0d4PrBEHYfKpJ4bIWmBOvVChKIvtO0 LiBPSxkSVb/Jw34dVJp7DlyTP+OqMFfh7F8/yBbYJ2HIOUIcL7wIT58pJe2iQIcAREOasG7/Yv RC7gcxckEuFCA8OlRWf6VT56

Call for Participation for PLDI 2022, the ACM SIGPLAN Conference on
Programming Language Design and Implementation!
------------------------------------------------------------------------

PLDI is a premier forum for programming language research, broadly construed,
including design, implementation, theory, applications, and performance.
Come join us, online or in San Diego, to discuss the latest programming
languages research!

* Website : https://pldi22.sigplan.org/attending/Registration
* Time : 13th--17th June 2022
* Place : Catamaran Resort in San Diego, California, USA + online option,
comprising live streamed talks + Q&A and social interaction and events on
“gather.town”.

### Important dates:
* Early Registration: On or before 16 May, 2022

### Important rates:
Registration rates (in-person) On or before 16 May, 2022 After 16
May, 2022
Regular (ACM or SIGPLAN member) $650 $750
Regular (non-member) $725 $825
Student (ACM or SIGPLAN member) $350 $450
Student (non-member) $425 $500

Registration rates (virtual) On or before 16 May, 2022 After 16
May, 2022
Regular (ACM or SIGPLAN member) $150 $175
Regular (non-member) $175 $200
Student (ACM or SIGPLAN member) $100 $125
Student (non-member) $125 $150

### Co-located events:

Co-located Conferences:
- ISMM, ACM SIGPLAN International Symposium on Memory Management
https://conf.researchr.org/home/ismm-2022
- LCTES, ACM SIGPLAN/SIGBED International Conference on Languages, Compilers,
and Tools for Embedded Systems
https://pldi22.sigplan.org/track/LCTES-2022

Workshops:
- ARRAY, the Array Programming Workshop
https://pldi22.sigplan.org/home/ARRAY-2022
- EGRAPH, the E-Graph Research, Applications, Practices, and Human-factors
Symposium
https://pldi22.sigplan.org/home/egraphs-2022
- INFER, the Infer Practitioners Workshop
https://pldi22.sigplan.org/home/infer-2022
- MAPS, the Annual Symposium on Machine Programming
https://pldi22.sigplan.org/home/maps-2022
- PLMW, the Programming Language Mentoring Workshop
https://pldi22.sigplan.org/track/PLMW-PLDI-2022
- SOAP, the ACM SIGPLAN International Workshop on the State Of the Art in
Program Analysis
https://pldi22.sigplan.org/home/SOAP-2022

Tutorials:
https://pldi22.sigplan.org/track/pldi-2022-tutorials

- Build your own optimizer with egg!
Max Willsey, Zachary Tatlock
- Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded
Reasoning
Roopsha Samanta, Nouraldin Jaber, Christopher Wagner
- Filling the gap between the JavaScript language specification and tools
using the JISET family
Sukyoung Ryu, Jihyeok Park, Seungmin An
- Making C Programs Safer with Checked C
Jie Zhou, Michael Hicks, John Criswell
- Reasoning About and Discovering LLVM Optimizations
John Regehr, Nuno P. Lopes

Student Research Competition!
- https://pldi22.sigplan.org/track/pldi-2022-SRC

[Coq-Club] Call for Participation PLDI 2022, William J. Bowman (PLDI Publicity Chair), 03/21/2022