coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Konstantinos Kallas <kkallas AT cs.ucla.edu>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] PLDI 2025 Call For Papers
- Date: Sat, 21 Sep 2024 08:57:39 -0700 (PDT)
- Authentication-results: mail2-smtp-roc.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 314CD3C00FFF0
- Ironport-data: A9a23:Ipy8AqPXZBq1wjvvrR2NlsFynXyQoLVcMsEvi/4bfWQNrUor1z0Ex zdJWj3SPPneYWqje49yaoWypx4CvsPXy9ViTXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQfNNwJcaDpOt/rS8ko35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXNLjy97tVWJnoKFr8kosJzJnlty NsxfWVlghCr34pawZq+Q+howM84atTgOIpZt319pd3bJa99GNaaHPSMvIUImmlu7ixNNa62i 84xajlmaBDJeDVEIREKA5Y32uqkmxETdhUB+A7O+/FqvjC7IApZgOLUMIHcddCzZ58IkVipi 1jX72P+K0RPXDCY4X/fmp62vcfEmjq+U4YPHpWj5/tyiRuSwHYSAVsYTzOGTeKRj0e/X5RUM AoJ8S4n66U+6SRHU+XAYvFxm1bc1jZ0ZjaaO7ZSBKylk8I4Py7x6qk4oj99hBgOscY3QXohz RmUlNfgQzFjrdV5jJ5bGqi89VuP1eo9dAfuphPoiSMO+J/+q4U6yB/DU76P1Yar28btF2iYL y+i9UADanZ6sSLP/66gu03Mhzvqq5TUJuLwCsM7QUr9hj5EiEWZi0BEJLQVATus7GpUc7VZg EU5pg==
- Ironport-hdrordr: A9a23:kUMP4qj6gTBRTM1AhMSObzgB+nBQXugji2hC6mlwRA09TyX+rb HXoB17726MtN5yMEtNpTnkAsa9qBznhP1ICOUqTNWftWrdyQ2VxeNZnO/fKlTbckWUnIM9tZ uIGJIOb+EYeGIK9/oSlzPIburIruP3lZxA/d2utEuFkjsFV51d
- Ironport-phdr: A9a23:lOr73hWRAseLgEf1dS3mE1tzRYjV8KyPXzF92vMcY1JmTK2v8tzYM VDF4r011RmVBt2dsqMZwLuK+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1uI BmssAncsskbjYRmJ6s+1xDEvmZGd+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 EvwEYbuOi04Ut9km4xGWE16Adj31ngrvgKvCr4RzfmQAYAst7jb1D73Ltp8zHDP0O8giUMnS 41BLz7unbZxoi7UAYOBiECFj+Cyb61J3y3E8GOK1kKFpwdFWwp5F6jJQCNXfVPY+Ozw/ViKV LqyEfIiOwpFx9SFL/5JadTtiVxdbPz4fsnVZ2v3lmutVl6T3r3ZSo3sdi0G2TnFTkgJlwdG5 XGdKQ03HTusuUrbBT1qU1n0JV7n9eA4pX+mJqMt5yeNaUApl7+8+xpPwOeZV+tWxLUP/iEot zRzGl+5mdPQEduJ4QR7Lu1aZpsm7VFL2Hi81UQ1N4G8L61kml8Vchhm90Lo2RJtD4xckM8s5 Ho0xQt2IKic3RtPbTSdlZz3P7TWLCH18nXNI+bV2Vja1N+N0qwUrukzr1ylsQ20VwIj/3hhz 9hJwi6E/JyZRAEWUJ/3TgM2700j/OicO3ZsodqOhTsyb/rR0HeKwd8iCeo7xwz1et5eNPnBD wruC4gAAMPoLuU2ml+vZxZCPeZI9adyMdn1EpnOkKOtIutkmyqryGpd54UomEGP/i54Q/Xg1 I1D3vqc102KWyq23zLD+ojn3JtJYz0fBD/1yivtAIpYfYV5ZsAWAmOnZcC7258tz46oUHle+ lm5AloA08L8YhueYWv22ghI3FgWq3iq8ceh5wR9iCph7q+W3SiUhv/naAJCIGlAAm9rkVbrJ 4GwydEcRkmhKQYzxlOp4kPzxq4To6oaTSGbQkRBeyz/NElpSe2tvb6LJcND9dskvD5WX+K1f V2BAuem+l1DjHKlRjEOgm5lPzix8o30hRl7lH6QIBMR5DLCdMd8yA2erN3QSPhN3yYXESxxi D3ZHF+5bJGi+dSZkYuGs/jrDjn4EMQMIG+yl9PG6nXogA8iSQeylP2yhND9RA0z0CuhksJvS T2NthH3JI/iy6W9N+tjOEhuHl71rcRgSeQc2sM9go8d3X8Ci9Cb530CxC3wMtxf3avlRHEWA yMAx9eT7QT4kh4GTDrB18fiW3ORz9E0Ldq5a2cS0zkV5NsMFayQ5fpJkTY/8T/a5UrBJPN6m Dka0/4n7nUX1voItAQaxSKYGrkOHENcMH+kh1GS4tu5tqkSeHe3fO36yh9lhd74RuLnwEkUS DPjd5wlByM18shvLAeGzijo8o+9MNjIMYBK7UTSykiRybEPeNRp0aBWzSt/ZTCk5iRjkrFqy 0Iym83q2erPY2R1oPDgWUceb2KkIZNLvGCyxadGwJTMgdjwTJs5Q21ZDtyzF7qhQikXqeyhK g2KGXsxpmrcQ+GXCwab7A0OQ2vnNZetOjnXIXAYyY8nXxyBPAlFhwtSWjwmn5k/HwTsxcr7c U4/6CpDrlj/4gBBzO5lLXydGi/WuRuoZzEoSZOeMAse7wdM4F3QONCf6eQ7Fj9R/5mopgiAY mKBYAEAAWYMU02CT1ftW9vmrcHH6PSdD/GiIuHmZLyPrapVTLGVzpamlIZq4nfEN8mCOGVjE +xu2kdHWiMceYyRkDEORioL0iPVOpfA/VHlpXwx95rvtqq1C2eNrcOVBrBfMMti4UWziKaHb auLgTphbCxf3dUKzGPJz74W2BgTjTtvfn+jC+dl12aFQaTOl6tQFxNeZTl0MZ4C7KE12g1EI ubQkZXo3bpxyPM5Fh0WMD6p0tHsfsEML2ynYRnfA12XMb2dOTDR68T+YKf6QqYWke5Qvlu9t SvRQCqBdnyT0jLuUR6oK+RFiiqWaQdftI+KeRFoEWH/TdjiZ3VT1fd8lnsryrk9wH7GKDxEW dCTW0hW6KCb6Soej/liSTUpBptNKOCFn2CS9K/FIZIf9/ZnH3Ys/98=
- Ironport-sdr: 66eeecff_P3cBAvIAWBDk7ihHAxmNjLoXjPnl1S2W+H+5+qotAnCYEPJ STFZBuYDOH+KDqCiD8C2rbAtsOeLXHWjGBAE3Gg==
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 February - Thu, February 8 2025, Author Response
Thu 6 March 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, Konstantinos Kallas, 09/21/2024
Archive powered by MHonArc 2.6.19+.