Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PLDI 2023 First Call for Papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PLDI 2023 First Call for Papers


Chronological Thread 
  • From: Anders Miltner <miltner AT sfu.ca>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] PLDI 2023 First Call for Papers
  • Date: Wed, 21 Sep 2022 16:25:35 +0000
  • Accept-language: en-US
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=miltner AT sfu.ca; spf=Pass smtp.mailfrom=miltner AT sfu.ca; spf=None smtp.helo=postmaster AT mailgw4.sfu.ca
  • Ironport-data: A9a23:U4/CyauqSDk9y5f9kP/71WQLXefnVEtaMUV32f8akzHdYApBsoF/q tZmKTiHPvvbZTP3c9xxb4vg9kxUvJKGzdVrG1A+/H9jQy0QgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYkidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbyRFsMpvlDs15K6o4GJC5wRkDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYrLFDn2fF/wXEqfFPo0awtIksYOrQ6oPwwI2Jz7 t40NWo0O0Xra+KemNpXS8Fpj8UnI9a3epgRpzdrxFk1D95/HcqFHvWMv4QCmm5v1qiiHt6GD yYdQT9uaAjGbgdnIVkKTpk39AutriOjKGcI9gjPzUYxy2/q7zJD4JrPCeaPZIeuatcSk2Kjt FuTqgwVBTlAbYfBk2Xfmp62vcfEmjq+U4YPHpWj5/tyiRuSwHYSAVsYTzOGTeKRj0e/X91Ad woP9DdopqFaGFGXosfVWw/h41COkBkleYBKVM851Rqv5reO2lPMboQbdQJpZNsjvc4wYDUl0 F6Vgt/kbQCDVpXJEBpxEZ/I9luP1TgpwXwqOX5fE1ZbizX3iMRq1EieH4k5eEKgpoStcQwc1 QxmuwAVrt3/Z+Yt0L+n/Rj5ijSnoYXXQxRdCu7/YD2Hhu+VTKS/ZpCp8liTxvFEMYOTT1Dpg ZTps82X7eQBEs3LjyKQBu4EdF1I2xpnGGOH6bKMN8B/n9hIx5JFVdsMiN2ZDBw5WvvogRezP CfuVfp5vfe/xkeCY65teJ6WAM8316XmHtmNfqmKMIEQM8gvLl7fonkGiausM4bFzBJEfUYXZ czzTCpQJS9y5VlPk2DpH7t1PUEDmX1WKZzvqWDTlU38j+DBPhZ5uJ8eMV6JaKg39qqfrR+d7 tBeKcaQ0BRDQYXDjtr/reYuwaQxBSFjX/je8pUPHsbae1oOMDx/V5f5nO1wE6Q7xfg9vrmTp BmVBBQHoGcTcFWac21mnFg5NuO2NXu+xFpmVRER0aGAhyl6MNj/tv5BH3b1FJF+nNFeITdPZ 6FtU6297j5nE1wrIhxNMMmvn58obxmxmwOFMgysZTV1LdYqRBXE9pWgNkHj/TUHRHj//8Yvg ayS5iWCS7o6RiNmEJn3btCrxAiPpnQzor95cHbJBdhxQ3/S1rZWBRb/tdINGPFUGy7/nmOb8 y20HSYnofL8pt5p0dvR2oGBgYSbM8p/OUt4DVvd0KuHbwTb2kGBwoZwdvmCUh6AdWHz+YSkP f50ydOlOtI5vV96iahOOJc18rAfvvzB/6R7yCZgF1X1N2WbMKtqeCS67JMep59zya98kirof EC2o/1xG6iDYeHhG34vfDsVVPyJj6woq2OD/MYOARvI4QFs9+C6SmRUBR6HjRJdIJZTMI8Ix eQAutYc2zegiygFY8q3sSRJy1uidnAwcb0rlpU/Mr/ZjgAGzlJjY5uFBBTmv7CJSdFHaXcxL hGu2aHturV7x2j5SUQVK0Tj5+RnuMkxiEh492Naf1WtsfjZt8AzxyxUoGgWTBwK7xBp0NBTG 2lMNm9nF6Oz4gYyqclndEKvEjFnGxe21BHQyVwItWuBVGiudDXHA1McMNa33nIy0jxjbBkC2 5/A00fjczLhXP+p7xsIQUQ/9sDSF41gxDPNiOWMPpqjHaBjRRHHn6X3R24DiyW/MPMLnEed+ NVbprdhW5baaxwVjbYwUbSB9LIqTxuBGmxObNdh8I4NHkDeYDuC4iePGW/gZvJyI+H2zmHgB /xMPs5vUzGM5BSKpB0fBo8OJOZ6p+52xdwgfriwG3UKnYHCpRVUsbXR1BPEukkVf/tUn/0QF KbtZhOZM2nJhXJri27H98ZFHWyjYOg7Xg733cHr0eBQF5s8oOdgY3gv2eGG5lGQFgtG/g2Vj izHdaT53+xv8qUyvorOQ4FoJRS4FsP3b8uMqDuMitVpacjdFOv/rCYXlwXXBBtXNr4vRNhHr 7SBn9rp1kfjvrxtcWTmt7SeNqtOv+OeYfF2N5/pEXxkgieyYs/gzB8d8WSeK5YSstd85NGid jSoevmLat8ZdNdM9kJ7MxEEPU4mNJ32SaP8qQeWjfeGUEEd2DOaCuKXzybiaGUDexIYP5H7N BTPhM+vwdJm/bR8XEpOQ7ksBpJjO1bsVJc3b9C753HSEmCshUjEobf40wYp7TbQEHSfDcLm+ tT/SwPjcAip8rT9pD2DX1eeYjVMZJq8vQUxQq7Z09t/ijS1EzJANuoAd54PYn2Rfuoey7mgD AwhrkN7Yck+YdiAWQ7y/ZLoV29zw8QQb8zhKGVBE1y8Mk+L6UDpPFel3jxu/jF9c1MPCQ1hx c42ohXNA/R6/n2lqSv/KBB2bSeLC842Hk41xH0=
  • Ironport-hdrordr: A9a23:o9/xXKCsafbHEpblHemM55DYdb4zR+YMi2TDj3oBLSC86qSj5r qTdYcgpHjJYVEqKQwdcLG7SdK9qBznhPxICOUqUotKPzOWxFdATrsSiLcKqgeIc0eSmtK1vp 0AT0EKMqySMbEMt6bHCWeDferIi+P3lpxAzd2utkuFVzsAV0hP1XYANjqm
  • Ironport-phdr: A9a23:CNzLzB8ZYGxCa/9uWYC3ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqEvqwm3Q6BdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekcq62/q89pDdfglEiz6wbLdvJ xiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4U KdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4 KdxUBLmiDkJOSMl8G/ZicJwjb5Urh2uqBFk347be4SVOOZicq/Bf94XQ3dKUMZLVyxGB4Oxd 5cCD+wcMulGtYn9vEYFoxy/BQmoGOPvzCFHhmXr1qA91uQhEAXG3BAmH90QqnTZt871NKkPU eyv0KbH1yzOYvVL0jjy9IbGaAouoe2QXb1ua8rRz1EiGx/FgFiQtYDoMT2Y2+QDvmWH4edtV OyhhmwnpQ1vvDWj28Yhh4fGi48VxV3K9SR0zYI6K9C2SEB2f8CoHZ9NuiycKoB4TMQiQ2Ryt yY7zL0LoYW7fCkFyJQ/wx7QcfqHf5KP4hL5W+adOTd4hHV5eL2jnRay6VKsxfH7Vsmx1ltBs ylLksHUu3wQ2BHf9NKLR/t+80u7xzqC2R7f5vtZLU02lqfXM4Mtz7EumpYJsUnOHTX6lFvog KKWbEko5Oil5/rhb777vJGTLZV0hRv7Mqk2msywH+A4Mg8WUmie4+u81bnj/UL3QbhFlPE2i afZsI3AKcsHvKG1Gw5V0oA95BajFzqqzdsVkWcdIF9Fex+LlZblNl/QLPziEPuygVehnC9ux //cP73hBpvNLmLEkLfkZbt97k9cyA4vzdBZ+Z1UEKoMIOn9Wk/srtDXEgU2PxSyw+n8ENp9z J8RWXqTAq+FN6PfqUKE6vo1I+aQfI8VpCr9K/896vHyin85gEYRcrWt3ZsKc3+1Be9mIkWcY Xr0mNgNC2YKvgwkTOzrklKOSzBTZ2zhF547s3swD5vjBoPeTKishqaA1WG1BNceMmtBExWHF WriX4SCQfYFLiyIdJxPiDsBAJGnR4I7zlmLtQvmzbd9Zr7R+ykEs5/5/MN7+qvYnEdhpnRPE 82B3jTVHClPlWQSSmputEgeiUl0y1PYlLN9n+QdDttLofVATgY9M5fYie18EdH7HAzbLZ+SU FjzZNKgDHkqS84phccUahN4GtG+iB3Z9zGkHvkenu/DH4Q6p5rVxGO5PMNh0zDD3aglgUMhR 55KNGm6gKNl3xPdGsjCmhbRjL6kIIIb2iOF72Kf1SyOsUVfBRZ3SrnAVGsDa1H+qN344kzdE /m1B6lhOQIpJdeqDKxMZ5WpiFxHQKymI9HCeyeqnH/2Ax+Ux7SKZY6semMH3SybBlJW2wYUt W2LMwQzHELD6yrXESBuGFTzYkjt7fg2qXW1SVUxxh2LaEsp3qS8+xocj/iRA/0J2bdMtCAko jRyVFGzurCeQ9+BoxZncb90et0gplxOlCrYuwF7Ip28PvV6nFdNOw9zvk7oy1B2EtAZzZJs8 SNsllEob/vHgAAkFXvQx537N7zJJ3On+Rmub/WTwVTCyJON/b9J7v0kqlLltQXvF0w48nwh3 cMGthnUrpjMEgcWVor8F0gt8B0v7bTbZjU76pn8znNxd6K9+GyKy5cyCe0pxwz1NdJeNL+CG RXaCMMHQcOnYr9P+RDhflcPO+Zc87QxNsWteq6d2aKlC+1nmSqvkWVN5I0VPlukzyNnUaaI2 p8Ex6rdxQ6bT3Lni0/ntMnrmIdCbDVUH2ylyCGiCpQDLqF1eI8KDy+pLajVjp17hprxXXNC3 EWtGhUN0YeldAGTYFr0wQBLnR1L+zr6yW3ilGYyym555qOElDTD2eHjaAYKNiZQSW9ugE2tR Or8x9EWUU60bhQ4wR6s5EL03a9e9+x0K2jeR1sNfjCjdj04FPbg8ODZOYgWt8N71EcfGP6xa l2bVLPn9h4T0ie4WnBb2Ch+bDay/JPwgx19jmuZand1tnvQP89qlnK9rJTRQ+Bc2j0eSWx2k z7SUxK5Pt21+9iOv4zNr6a1XijyHo0WaiTtwY6a4WG+5Gl2BxClt+u9h5vsGEJptE2zn8kvX iLOohHmZ4Dt3KnvKuNrcH5jA1rk4tZ7EIVzwcMgwYsd0n8AitCJ7GIKxC3tZM5D1/u0Px9vD XYbhsTY6w//1Ah/I2KVksjnA26FzJIpZsHmMDpKgGRgv4YTUP/StPsex2N0ugbq9F6LJ6Ut2 G5Mkb12ryRG5oNB8As1knfEXupUQBkebHGqzkrTqIvk5KRPODT2LeL2iRo4x4v7SunF+F0UW W6lKM5+R2ktvoMlaAqKiDqptuSGMJHRa9kXqxGZwSDbl+YTJdc4neYLmyt8JST2unhtnOc/i VYGMYiSmo+BJi0t+au4BkUdLTjpf4YI/Smri69Cn8GQ1oTpH5N7GzxNUoG6BfSvWCkfs/jqL WPsWHU1t2ubFLzDHASe9FYurnTBFIquPm2WI39RxMtrRR2ULkhSyA4OWzBykpk8HwGsjMvvF SUxrigW/UL9owBQx/hAMhD+VmjA+EGzZCpyQ5HeZBta4wde5lvEZMyT6uUgekMQtpalrQGLN imaf1ERUTtPBxzCXQu5eODxtYqlkaDQHOe1IvrQbK/brOVfU6zN3pezys59+C7KMMyTP35kB vl920xZXHk/Fd6K/ldHAyERiS/JaNaW4Rmm/Sgi5MW+9OjtVRjH/oWSTbBbe4YKmVj+keKYO uiciTwsYy5fzY8JzGTUxaI32VcTjy5xK3+2H6lGvieHH8ey0udHShUcbS10Ls5B6akxixJMN cDsgdTwzrdkj/QxBj+ttHTkk8CtatNWZXqzKRXMDRTTXFxjDSbF3of8aPHkIVW/pP5aqlu7s GTCe3I=
  • Ironport-sdr: 632b3b03_ExurpSgYx33UJszwgfmaZ8XN184S4rmfPc6qrqIY6M2+A5G LXLn3Qq65+6yHwQGVOvFSzBB7MWdEua2jFPtrIw==

Please distribute widely.

*Call for Papers*
====================
2023 ACM Conference on Programming Language Design and Implementation (PLDI)
Mon 19 - Wed 21 June 2023
Orlando, Florida, United States
https://pldi23.sigplan.org/track/pldi-2023-pldi#Call-for-Papers

PACMPL Issue PLDI 2023 seeks contributions on all aspects of programming
languages research, broadly construed, including design, implementation,
theory, applications, and performance. Authors of papers published in PACMPL
Issue PLDI 2023 will be invited to present their work in the PLDI conference
in June 2023, which is sponsored by ACM SIGPLAN.

*Important Dates*
===============
Thu 10 Nov 2022, Submission Deadline
Mon 6 Feb - Wed 8 Feb 2023, Author Response
Fri 24 Feb 2023, Author Notification

*Author Instructions*
==================
https://pldi23.sigplan.org/track/pldi-2023-pldi#Call-for-Papers

Submission site: https://pldi2023.hotcrp.com/

*Organizing Committee*
====================
- General Chair: Steve Blackburn, Google and Australia National U.
- Program Chair: Nate Foster, Cornell U.
- Web Co-Chairs:
- Dan Barowy, Williams College
- Jedidiah McClurg, Colorado State U.
- Publicity Co-Chairs:
- William J. Bowman, U. of British Columbia
- Anders Miltner, Simon Fraser U.
- Sponsorship Co-Chairs:
- Sasa Misailovic, U. of Illinois at Urbana-Champaign
- Deian Stefan, U. of California at San Diego
- Workshops Co-Chairs:
- Nadia Polikarpova, U. of California at San Diego
- Zachary Tatlock, U. of Washington
- Student Research Competition Co-Chairs:
- Chandrakana Nandi, Certora
- Jubi Taneja, Microsoft Research
- Artifact Evaluation Co-Chairs:
- Manuel Rigger, National U. of Singapore
- Xinyu Wang, U. of Michigan
- Diversity and Inclusion Co-Chairs:
- Madan Musuvathi, Microsoft Research
- Fernando Magno Quintão Pereira, Federal U. of Minas Gerais
- Social Events Co-Chairs:
- Rachit Nigam, Cornell U.
- Alex Renda, Massachusetts Institute of Technology
- Video Chair: Guilherme Espada, U. de Lisboa
- Volunteers Co-Chairs:
- Hanneli Tavante, McGill U.
- Michael James, U. of California at San Diego

https://pldi23.sigplan.org/committee/pldi-2023-organizing-committee

--
Anders Miltner



  • [Coq-Club] PLDI 2023 First Call for Papers, Anders Miltner, 09/21/2022

Archive powered by MHonArc 2.6.19+.

Top of Page