coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PLDI 2025 Call For Papers (Corrected Author Response Dates)

From: Konstantinos Kallas <kkallas AT cs.ucla.edu>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] PLDI 2025 Call For Papers (Corrected Author Response Dates)
Date: Sat, 21 Sep 2024 09:12:46 -0700 (PDT)
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kkallas AT cs.ucla.edu; spf=Pass smtp.mailfrom=kkallas AT cs.ucla.edu; spf=None smtp.helo=postmaster AT mail.cs.ucla.edu
Dkim-filter: OpenDKIM Filter v2.10.3 mail.cs.ucla.edu 517FB3C00FFF1
Ironport-data: A9a23:CaYWk6hw96POMpI8PrY8zpd+X161qRQKZh0ujC45NGQN5FlHY01je htvC2mCM/yNNmP0fth/aIi19UoHu5LRndZiTQo9/iE8HiljpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtMg06/gEk35qiq6WlB5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGBV5pDZBIyuZLBXBpq q09DyA0Uy+pmLfjqF67YrEEasULKcDqOMUUoTd9xjXQS/sqXPgvQY2TvoYehWhhwJkUTbCAO aL1ahI3BPjESx5MM1MTAYkWl/zum3L7entVpE/9Sa8fsjeLlFMhgeKF3Nz9UPizePpum3+jt zzP/1XkHw5BMdbHxm/Qmp6rrrSSx3uhCdN6+KeD3vVtmRiYwnEZIAYHUEOy5/i/kE+3HdxFQ 3H44QIrpKk2skewCMT2WxT+rXKZ1vIBZzZOO+QltzGQmprU3wKIITdVaxlRUeEZntBjEFTGy WS1t9/uADVutpicRnSc6qqYoFuO1c49cTRqicgsEFFt3jXznLzfmC4jWTqKLUJYptj8GDW2y CvMsSM6jvMegdNjO0SHEbLv3m3ESnvhF1BdCuDrsoWNtVkRWWJdT9b0gWU3FN4ZRGpjcnGPv WIfh++V5/0UAJeGmUSlGbpXQuH0uK/cb2WF3zaD+qXNERzxoRZPmqgNuFlDyLtBa51slcLBO hGJ6FoLjHOtFCL3NfUfj32N5zQClvW6TY60B5g4n/JTZJlveRWc/T1/LUmel2vklEkilrs5O J7TdcG3RX8cBqljwSHeegvu+eND+8zK/kuKHcqT503+gdK2OiXPIZ9bawTmUwzMxP/YyOkj2 40FbJriJtQ2eLGWXxQ7BqZKfQ5UdyZnX8inwyGVH8baSjdb9KgaI6e56dscl0ZNxMy5T8+Zo C/vaVwS01flm3zMJCODb30pOvulXo9yoTh/dWYgNEqhkSprK4u+zrYtR71ud5ke9ctn0aFVS dsBcJ6+GfhhcGnM1AkcSpjfl7ZcUiqXqziABAefWwhnTaVcH1TI3vTGYjrQ8DI/C3vrlMkm/ Jyl+ADpYbsCYAVADs3HNauelUOxmX0jm+5JflDpJ+NLcx7G67laKC3Wj942LfoTKB7F+CCo6 gaODTocpsjPu4UQ8ujWtZubroysLfRyLnBaE0bf87yyEyvQpUin/qNtT8eKemr7eF7v2aD/e 9hQ8e7wAMcHkHlOrYB4NbRhloA6xtn3oo5l3hZWJ2rKY3urG4FfDCG/h+cXjZJ0x5hdpQeSc WCM8IMDOby2ZeXUIGRILw8hNum+xfUYnwfJ1ssMIWL42TRW+YSWWkADLjiOjy1gdIFOCr0H+ tt4msAq6F2YsCEIY/KmlSFf8lqeIkMQC5sHso4oO661qw4J5GwbX7niJH7X2qyfU/RNLUggH RGMjoXgmbl35xTPYlgzJ1f3zMtfgpUEhz5SxnRfJV+Yx4P03O83+Bhv8jgMbx90yy9f2LlZI VlbNExSJISP8Qx3hcNFYXueJgFZCDCd+W3z01EsllzGf3K3V2fIEnIxCdyN8G8d7WhYWDpRp 5Oc90rIThfoe5vX8hYpeEs4tcHmc8N9xjfClO+jAc6BOZswOhjho622YFs3uwnVOtwwiGLHt NtV0r5JM4OjDhEpooo/F4W+/pYTQkrdJGV9HNdQzJlQFmTYIDyPyTyCLn6qQfx0JtvIzFSZD vJ/LcceRjW80yez9gogP5AuGIMtvvAV54slQIjJdEomqLqUqwR7vK3ArhbegHAZePQwsMIfB L6ISRe8PD2+uX9mlVXJjvF4AUujQNxdZATDzOG/q+oIMJQYsdBTS0I505rqnnCzIi9hwRCek y7eVZDsls1j1oVesI/+GYpTBwiPCI3SVcbZ1CuRothxfdf0HsOWjDwsq37jJBVwP5Edf/9Vh Ia9mof7822dtYlnTl2DvYeKEpd4wPmbXc1VA5rRF2Zbly7TY/3cyUIP1E7gIKMYje4HwNesQ ja5T86CddQ1fdN5718NYgh8FyctMYjGXp3Clwic8cvVUgM81DbZJuyJ7XXqNGFXVhEZMq3EV zPbhayc2cB6nq9tWjk/GPBUM71pKgTCWIwnVeHLmxu2M22Kum6G65zezUcOyDeSBne9RZOwp dqPQxXlbx29tZ3Z1NwT4cQ4ohQTC207muUqOF4U/9ltkT2hEWoaNqInPI4bDo1P2DnHvH0ii OohsEN5Yck8YdhFTfk4yNHqXwPZDfdIJ9z9L3ok8178h+Jawm+fKOMJy8uiyy4elvjfICWPI spY53b0N168zowBqSM7+Kmgmek+rh/F7itgxK0++vAexz4VGvMX33hoWgdBSEQr1i0LeFrjf QAIeIyPfK13pYMd3yqtl7651Sz1ZA/S8gg=
Ironport-hdrordr: A9a23:gqbtVaA16JZGKkHlHeme55DYdb4zR+YMi2TDsHoBMSC9E/bo7v xH/pwguSMc7Qx/ZJhOo6HiBEDtewK/yXcX2/h2AV7BZniDhILAFugLhuGOol3d8kbFh4lgPN JbAtJD4arLfCVHZKjBkWyF+q4bsaK6GX+T69vj8w==
Ironport-phdr: A9a23:t8hvhBV9+hmbCvzC9IKEyk3+8VjV8KyPXzF92vMcY1JmTK2v8tzYM VDF4r011RmVBt2dsqMZwLuJ+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1uI BmssAncsskbjYRmJ6sz1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrRS8rBJ93oHUepmYOvR+cK3Dft0UWGVOUdpeWSJGHoOxd JcPD/MdMupErojxu1kDoB2jDgesHuPvzTpIi2fz06091eQhCh3G0xYmH9ISsXTUqtL1NLwPW u6w1qbIyTHDYOlN2Tzg74XIcRMhruuIXbJ0a8XR0lIiGB/ejlmKtIzqIzeV2f4Xv2eF8uVgS Puihmg6oA5+vjah3N0jipXVho0L0FDE8z10zZgpKdO4R0B3f9qpHptQuSyZOYZ7Rt0vTn11t Con17ELu4C2cigLxZkl2RLSZOGKfomM7x/nVOicLzd1iG9mdb+5mh28/0+gyujmWcm11lZHt jFFktjDtnAV0xzc8M6HRuF6/ke71jaDzwDT6uZYIU8oj6rbM4QtzaI3lpoWt0nIAyz4mF3ug aOLeEgo5/Kk5/nlb7jivJOQKpF4hwLkPqkvm8GyB/kzPxYKX2iG4uS8yKPs/VfkTrVLj/w5j LHUvIzcKM8GvKC2GRVV3Zwm6xunDzepztAYnX4fIVJAYh2HjozpN0vSL/DjF/u/nkijkDNxy PzcILLuH4jNImDCkLfnY7l991ZRxBc9wNxC/Z5YF7MMLfbpVkPsqtDVDQU1Pg21zur/DdVyz IIeWWaBAq+DN6PStEeF5uEsI+aWYI8VvCzyK+M+6vHyln81g0IdcrWt3ZQNcny3AOlpI1iBb XrqmdgOCX0KsRYmTOz2lF2CViZea2uqU6Im+j47EJ6mDZvERo21nLOB2z67EoRKaWBCF1CDC mzld56EWvcJcCKdONVtkj0CVbi7So8uzwuitAHgy+kvEu2B8SoB8JnnydI9s+bUjFQ58SF+J 8WbyWCECW9uyDAmXTgziYN4p1dhw1Gf0K5/mLR7HNhX7ugBBgQ5PJrYxvdSAMu0RwnFd5GER EvwEYbuOi04Ut9km4xGWE16Adj31ngrvgKvCr4RzPmQAYAst7nbxz73Ltp8zHDP0O8giUMnS 41BLz7unbZxoi7UAYOBiECFj+Cyb61J3y3E8GOK1kKFpwdFWwp5F6jJQCNXfVPY+Ozw/ViKV LqyEfIiOwpFx9SFL/5JadTtiVxdbPz4fsnVZ2v3lmutVl6T3r3ZSo3sdi0G2TnFTkgJlwdG5 XGdKQ03HTusuUrbBT1qU1n0JV7n9eA4pX+mJqMt5yeNaUApl7+8+xpOwOeZV+tWxbUc/iEot zRzGl+5mdPQEduJ4QR7Lu1aZpsm7VFL2Hi81UQ1N4G8L61kml8Vchhm90Lo2RJtD4xckM8s5 Ho0xQt2IKic3RtPbTSdlZz3P7TWLCH18nXNI+bV2Vja1N+N0qwUrukzr1ylsQ20VwIj/3hhz 9hJwi6E/JyZRAEWUJ/3TgM2700j/OicO3ZsodqOhTsyb/rR0HeKwd8iCeo7xwz1et5eNPjBD wruC4gBANDoLuU2ml+vZxZCPeZI9adyMdn1EpnOkKOtIutkmyqryGpd54UomEGP/i54Q/Xg1 I1D3vqc102KWyq23zLD+ojn3JtJYz0fBD/1yivtAIpYfYV5ZsAWAmOnZcC7258tz46oUHle+ lm5AloA08L8YhueYWv22ghI3FgWq3iq8ceh5wR9iCph7q+W3SiVhv/naAJCIWlTAm9rkVbrJ 4GwydEcRkmhKQYzxlOp4kPzxq4To6oaTSGbQkRBeyz/NElpSe2tvb6LJcND9dskvD5WX+K1f V2BAuem+l1DjHKlRjEOgm5lPzix8o30hRl7lH6QIBMR5DLCdMd8yA2erN3QSPhN3yYXESxxi D3ZHF+5bJGi+dSZkYuGs/jrDjn4EMQMIG+yl9PG6nXogA8iSQeylP2yhND9RA0z0CugksJvS T2NtxHkJI/iy6W9N+tjOEhuHl71rcRgSeQc2sM9go8d3X8Ci9Cb530CxC3wMtxf3avlRHEWA yMAx9eT7QT4kh4GTDrB18fiW3ORz9E0Ldq5a2cS0zkV5NsMFayQ5fpJkTY/8T/a5UrBJPN6m Dka0/4n7nUX1voItAQaxSKYGrkOHENcMH+kh1GS4tu5tqkSeHe3fO36yh9lhd74RuLnwEkUS DPjd5wlByM18shvLAeGzijo8o+9MNjIMYBK7UTSykiRybEPeNRp0aBWzSt/ZTCk5iRjkrFqy 0Iym83q2erPY2R1oPDgWUceb2KkIZNLvGCyxadGwJTMgdjwTJs5Q21ZDtyzF7qhQikXqeyhK g2KGXsxpmrcQ+GXCwab7A0OQ2vnNZetOjnXIXAYyY4nXxyBPAlEhxhSWjwmn5k/HwTsxcr7c U4/6CpDrlj/4gBBzO5lLXydGi/WuRuoZzEoSZOeMAse7wdM4F3QONCf6eQ7Fj9R/5mopgiAY mKBYAEAAWYMU02CT1ftW9vmrcHH6PSdD/GiIuHmZLyPrapVTLGVzpamlIZq4nfEN8mCOGVjE +xu2kdHWiMceYyRkDEORioL0iPVOpfA/VHlpXwx95rvtqq1C2eNrcOVBrBfMMti4UWziKaHb KuLgTphbC1fztUKzGPJz74W2BgTjTtvfn+jC+dl12aFQaTOl6tQFxNeZTl0MZ4C7KE12g1EI ubQkZXo3bpxyPM5Fh0WMD6p0tHsfsEML2ynYRnfA12XMb2dOTDR68T+YKf6QqYWke5Qvlu9t SvRQCqBdnyT0jLuUR6oK+RFiiqWaQdftI+KeRFoEWH/TdjiZ3VT0fdyhDwyh7YvwG7BMWdaP DRhIRslRlK45jgen/57EipM4mc3dIFsfg6S9K/FIZIf9/ZnH3Ys/98=
Ironport-sdr: 66eef082_9a4wYecqAO8H/HN/e+f9ekx1WSy3cG6izLnHjdoWWttp11X OkuaWQjZday/lqDpaAeFtJotSLZAKhGxPrvoIog==

PLDI 2025 Call For Papers
========================

*Call for Papers*
====================
2025 ACM Conference on Programming Language Design and Implementation (PLDI)
Mon 16 - Fri 20 June 2025
Seoul, South Korea
https://pldi25.sigplan.org/track/pldi-2025-papers

PACMPL Issue PLDI 2025 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 2025 will be invited – but
not required – to present their work in the PLDI conference in June 2025,
which is sponsored by ACM SIGPLAN.

*Important Dates*
===============
Thu 14 Nov 2024, Submission Deadline
Tue 18 Feb - Thu 20 Feb 2025, Author Response
Thu 6 Mar 2025, Author Notification

*Author Instructions*
==================
https://pldi25.sigplan.org/track/pldi-2025-papers

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

*Organizing Committee*
====================
- General Chair: Chung-Kil Hur, Seoul National U.
- Program Chair: Zachary Tatlock, U. of Washington
- Local Arrangements Co-Chairs:
- Jeehoon Kang, KAIST
- Jieung Kim, Yonsei U.
- Hakjoo Oh, Korea U.
- Artifact Evaluation Co-Chairs:
- Ningning Xie, U. of Toronto
- Qirun Zhang, Georgia Tech
- Diversity and Inclusion Co-Chairs:
- Mae Milano, Princeton U.
- Christine Rizkallah, U. of Melbourne
- PLMW Chair:
- Umang Mathur, National U. of Singapore
- Publicity Co-Chairs:
- Konstantinos Kallas, U. of California at Los Angeles
- Yao Li, Portland State U.
- Sponsorship Co-Chairs:
- Fredrik Kjolstad, Stanford U.
- Sukyoung Ryu, KAIST
- Niki Vazou, IMDEA Software Institute
- Student Research Competition Co-Chairs:
- Rachit Nigam, Cornell U.
- Alexa VanHattum, Wellesley College
- Video Co-Chairs:
- John Hui, Columbia U.
- Jan-Paul Ramos-Davila, Cornell U.
- Student Volunteer Co-Chairs:
- Alexander Bai, Tufts U.
- Raghav Malik, Purdue U.
- Web Co-Chairs:
- Jocelyn (Qiaochu) Chen, U. of Texas at Austin
- Xinyu Wang, U. of Michigan
- Workshops Co-Chairs:
- Woosuk Lee, Hanyang U.
- Clément Pit-Claudel, EPFL

https://pldi25.sigplan.org/committee/pldi-2025-organizing-committee

[Coq-Club] PLDI 2025 Call For Papers (Corrected Author Response Dates), Konstantinos Kallas, 09/21/2024