Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PLDI 2024 Call for Papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PLDI 2024 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 2024 Call for Papers
  • Date: Tue, 3 Oct 2023 21:05:53 +0000
  • Accept-language: en-US
  • Authentication-results: mail2-smtp-roc.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:ZJi0maPxZcuoE6PvrR1akcFynXyQoLVcMsEvi/4bfWQNrUom3zdWm mQcCzyFbqvYNDCkedgjbNiy9RxQusSBydFjHnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYATNNwJcaDpOsPvb8Eg34pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXLL2rW2/xzIHobHtw+0eN0HT9s9 KAhfWVlghCr34pawZq+Q+hoidt/atLlIcUUsxmMzxmAUaxgHMCFGf6Qo4YHjF/chegWdRraT 88YbSZpYQ7oeBNSfFweYH47tL7y1yKnK20D+Tp5o4IluVfh8zxIl4PXLcaPX43aTsFTkEyx8 zeuE2PRR0ty2Mak4TGC6zengvLFtTjqXZobUry+7P9jxlOJrlH/EzUTXFq/rublzFWwRpRUI iT45xYTkET7z2TzJvGVYvFyiCfsUsc0C4cAQd4pohqA0LTV6Au/D20JBGwJIt8/ucN8AXRg2 laVlpm7TXZioZ+Ee0K7r720lDKVPTRKDGkgYSRfcxAJzeO+q64OjzXObO1ZLoiLsvPPFwrd+ Qu69BoFu+1LjOog9bmKwlTcsjf9+rnLVlEU4yvUbEKE7yR4RpyXYbG12AL27NJrDoWQfn+et lcqxumc6+EvC8mWtSqvGe8iIpCg18ynAhb932F9PsAG2Wy22niBeYtw3mlPFH1xOJxZRQ6zM V7hhwxBwbRyYl2oVPZTSKCsAZ0IyaPAK4zUZsrMZIATXqkrJR61xwAwV0u+xGu3rVMNl5s4M pKlccqBK3YWJKBk7TiuTdcmzr4Z6XEi9FzXWKzE4Uyr4ZiGaF6RbIU1Al+EQ+Q6zaGD+Qvu4 4l+MemOwE5hS+HQWHTc3rMSClEoFkIFI67KhfZZTNPeHTo+KlodU6fQ5ZgDZ71am79kk7aU3 3OlBW5d5lnNpVzGDgSoeEJlVa7eB7t+iVkZPiUcG0mi9FZ+QISo7YYZL4AWe5t+/sNd7PdEd ds3UOTePeZuExPpoy88a7v5p6xcLCWbvxqEZXeZUWJubqxeSBzs0f66WAnWrQ0lLDe97Ok6q J2ejjLre4IJHVlePZyHecCU7g2DuFYGk7hPRGrOGN5YfXvs/KVMKyDcivwWIdkGGS7cxwm1h hqnPhMFmdbj+4MF0sHFpaShnbebF+FTGkl7HW6C442magjc3G6omrFbXMiyIDvyaWLT+YeZX 9tz8c3SCvM8sWhvj5tdCJdulKI32MvureRVzyNiB3T6UG6oAbJBfFiDhMlGib1Lyq1gpADsa Bur//9aGLSWOfHKFEwaCxolY9+ii9AVuGj2xtYkLHrq4BRY+OK8bnxTGB2XmglxHaBQMr558 dw+ucUT1ROzuiAqPvmCkCpQ0WaGdV4EbIkKqbAYB9XNpjcw61Qff6HZNDD60KuPZ/pILEMuB D2e34jGprZEw3v9Y2gBLmfM0cVdlKYxlkhzlnFaHGuwm/3BmvMT9z9S+25uTg1qkzN249gqM W1vb0BINaGC+glzv/d6XkeuJVBxNEXMsAi5gV4Ej3bQQESUR3TAZj91c/qE+EcCtXlQZH5H9 bWf03zoSivuYNq35CYpREp5sLb2eLSdLOEZdByPRKxp3qXWYAYJRoerbGsMpAS7R9g/mQvMr IGGOQq2hbLTbUYtT28TUuF2Foj8jDifKnEESvgJEGYhAzTHYD/rsdSRAxnZRy6OTsAmNWejB dEoLcsnu9FSEsqRhmhzOJPg6IOYUBLkCBTut18ryaM7X2OjkwdU
  • Ironport-hdrordr: A9a23:Tri0eapehxTh1uCSn8a2IPMaV5rNeYIsimQD101hICG9Evbyqy nOpoV96faaskdzZJhNo7690cq7MBfhHPxOjrX5VI3KNGPbUQ2TQL2KhrGD/9SPIUzD398Y/6 Jhf69iYeecMbEDt7ee3ODCKadD/PC3tJuznO/bwjNERxxrbaYI1XYCNi+rVnZtXQFDCN4ACJ aB6o5mqlObCA0qR/X+PWMdV+zP4+fGj43renc9dngaAeS1/E6VAaTBYmCl9yZbaSpGxbpnym Tejwnlj5/TyM2G9g==
  • Ironport-phdr: A9a23:WrzjRBe2aJYgsUNdfI+twoz+lGM+MdXLVj580XLHo4xHfqnrxZn+J kuXvawr0AWZG96EoKwfw6qO6ua8AzJGuc7A+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Au1oAnLuMQbg4RuJ6c/xxDUpndEZ/layXlnKF6Nnhvw/Nu88IJm/y9Np/8v6slMXLngca8lV 7JYFjMmM2405M3vqxbOSBaE62UfXGsLjBdGGhDJ4x7mUJj/tCv6rfd91zKBPcLqV7A0WC+t4 LltRRT1lSoILT858GXQisxtkKJWpQ+qqhJjz4LIZoyeKfxzdb7fc9wHX2pMRsZfWTJcDIOgY YUBDOsBMvpXoITmvVQCsR6+CBOwCO/zyDJFgGL9060g0+QmFAHLxBAtH9QTv3vKttX1L7oZX +e0zKnM0TXDae1Z2S3g44XPdxAhoPWMXa52ccXP00kiDBjFjluNqYD/IzyazP0Avm6G5OVvS eyhkXQoqx1tojex3McsjJHEi4YbxF7E9St3zoU4K9O5RUNlfNKoDYVduzyYOoZoQs4uXW5lt Sk0xLACuZC2YDQGxZAjyhDQZPGKbpSE7g/iWeuXPDx2inVleLeliBaz90it0vb8Vsi70FZSq ipKiN/MumoK1xzJ5ciLUvt9/kC92TmTzQDT8vtILlwzlareLZMq370+loILvEjeESL6hl/6g a+Ve0k+5OSl5frrbq/7qpKeNIJ4khzyP6swlsClAek1MRICU3aF9em8zrHv4030TKtMg/Yri KfWqoraKt4epqOhAw9azIIj6xGnAjejytsYnH0HLF1LeR+IlYTpIF/OIO3iAfijmVugiDZrx /bYMb39GpjBM3fOnKn7cbt96ENQ0hQ/wN5B655OF70MIvH+Vlf0tNPCDx85NwK0w/zgCNV4z o4eXGOPAquFMKPUr1CI/PkiI/KCZI8IojryN+Iq6+bojXAigVAdZ7Wm3YMLaHCkGfRrO1iVb WL2gtgdCWcKohY+TOvyhVKeVj5Tfm++UL445jEmE42rFpzDR4CogLyZxii3BJxWZmZcClCNC 3jkbYuEW+1fIB6Vd4VqlSVBXry8Qacg0wuvvUn00fAveuHT42gTsY/p/Nlz/eza0x8oo29aF cOYhkiLQ2xuhSstRjsq2q1l6Rh4y1Of16Viq+dWCJpY7qUaAU8BKZfAwrkiWJjJUQXbc4LRI L7HatCvADVrC8k038dLeUF2XdOrkhHE2SOuRb4Tjb2CQpIuoerHx3akAcF7xj7d0bU5yUE8S 55KNGm6gKNl3xPdGsjCmhbRjL6kIJwVxzWF72Kf1SyLtUBcXhR3VPDAXHQDYEbMhc/3+wXJR uzmEqwpZy1Gz8PKMa5WcpvpgFFBEe/kI8jbanmtln2YAB+JwryTMMzxdXhb1yy15FEstQcV8 D7GMAE/An3kuGfCFHl0ElmpZUrw8O54oXf9T0kuzgjMYVczn7yysgUYg/CRUZZxlvoNpTshp jNoHV28w8OeCtyOoBBkdbldZtV16UlO1GbQvQhwdpK6KKUqilkbegVx90Tgsnc/QoBBldQso WkC1wRvb6mRkRtAez6ewZHsK+jPMGChtBuraqPQxhTfyIPPpv1JtaR+8Q65+lj2RhlHkT0vy dRe3nqC64+fCQMTVci0SUMr711goLqcZCAh5oTS3HkqMK+uszaE1ch6YYltghumYdpbN7uJU QHoFMhPTc2vLPAslkKBdRwZeutbvv18L4a9ev2K1bT+duNhmC6ggH5v+45glEmFvXkZKKaAz 9MOxPeW2RGCXjH3gQK6s8z5rotDYCkbAmu1zSWM6Jd5XqRpZs5LDG6vJ5fy3dBin9v3XHUe8 le/BlQA0cvveByIblW70xcCnUgQpHWmn2O/wVkW23ksr66D2iHU6//saVwMMyZHSXJjglHlP YWvx4lGBg71P05zz0HjvBmqj6FA7LxyNWzSXVtFc2DtImduX7Hx09jKK89D5ZU0sDlGBeG1Y FSUULn48FMR1yLuGXcbxShuLm3w/Mip2UYh0iTEcyYgyRiRMdt9zhre+tHGEPtY3z5cATJ9l SGSHF+3ed+g4dSTkZ7H9OG4TWOoEJNJIkyJhcuNsjW24WpyDFixhfe2z5fiEAwm1yLh/8JkS GPDpVyvKpmuzKm8Pe99KwNtBVvg7cdgMppwj807jdtDvBpSzoXQ9n0Bn2DpNNxd0q+rd3sBS wkAxNvN6RTk0klufTqZgpj0XXKHzo59dsG3NykIjzkl4ZkAW8L2pPRU2DF4qV2ioUfNbOhhy 30DnOA25idSgvlV6lNxlGPAUvZLRREeZWu2zVyJ94zs9fkNIjv/N+HhjAwm2or9adPK6gBEB CSgJs1kQH82v5g5aQyXlyapooD8JIuJMYhV603SyUyaybAScs55l+JW13M7YySg7Tt/k7Z91 Vs0gfTY9MCGLW5p4a60UClDLjOzaoYa8S3sk6dFgoCd2IXnSZxlHn9jsILAa/WuHXpSsP3mM 1zLCzggsjKBHrGZGwaD6UBgpnaJEpaxNnjRKmNLhdNlDAKQIkBSmmV2FH0zg4I5Gwa2xcfgb FYx5zYf4UT9owdNzeQgPgf2U2PWrgOlIjkuT53XIB1T5wBEr0DbVK7Wpvp0BD1d94a9oRalL 2WaYwtXUScSVFHCDFmidrii6N/c8vSJU+qzK/ydBNfG4edaVvqO2deuyt4/o2zKa5XJZCI4S aRkihkmPzgxAcnSljQRRjZCkivMa5TevxKg4mhtqcv59v33WQXp7I/JCr1IMNwp9Qrl5MXLf +OWmit9Li5Vk50Wwnqdgr0e2EIUhjtGbDewV78J/32oLuqYiupMAhgXZjkmftNP9L451xJRN NTzj9r00rFn0rguBUoDXlWryaTLLYQaZmq6Ml3AHkOCMr+LcCbKz8/AaqS5UbRMje9QunVYW B6eGk7nMSvf0SLnSlakOLMU5Ml+FAdQpce2e0Q1YYAMZMnod1uwOY0u5QA=
  • Ironport-sdr: 651c824a_iM6ALa46UvNvr8xQJMsQ5ZRZhDrCceX23G4/iRbSvGZG9Ch gAC4pTB9MgWzY9XlmSUOHKqEmy6HKjGRH2Qujrg==

Please distribute widely.

*Call for Papers*
====================
2024 ACM Conference on Programming Language Design and Implementation (PLDI)
Wed 26 - Fri 28 June 2024
Copenhagen, Denmark
https://pldi24.sigplan.org/track/pldi-2024-papers#Call-for-Papers

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

*Important Dates*
===============
Thu 16 Nov 2023, Submission Deadline
Tue 6 Feb - Thu 8 Feb 2024, Author Response
Mon 26 Feb 2024, Author Notification

*Author Instructions*
==================
https://pldi24.sigplan.org/track/pldi-2024-papers#Call-for-Papers

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

*Organizing Committee*
====================
- General Chair: Milind Kulkarni, Purdue U.
- Program Chair: John Regehr, U. of Utah
- Web Co-Chairs:
 - Jedidiah McClurg, Colorado State U.
 - Xinyu Wang, U. of Michigan
- Publicity Co-Chairs:
 - Anders Miltner, Simon Fraser U.
 - Yao Li, Portland State U.
- Sponsorship Co-Chairs:
 - Deian Stefan, U. of California at San Diego
 - Fredrik Kjolstad, Stanford U.
- Workshops Co-Chairs:
 - Zachary Tatlock, U. of Washington
 - Clément Pit-Claudel, EPFL
- Student Research Competition Co-Chairs:
 - Chandrakana Nandi, Certora
 - Rachit Nigam, Cornell U.
- Artifact Evaluation Co-Chairs:
 - Manuel Rigger, National U. of Singapore
 - Ningning Xie, U. of Toronto
- Diversity and Inclusion Co-Chairs:
 - Fernando Magno Quintão Pereira, Federal U. of Minas Gerais
 - Mae Milano, Princeton U.
- Social Events Chair:
 - Alex Renda, Massachusetts Institute of Technology
- Video Chair:
 - Zixian Cai, Australia National U.
 - John Hui, Columbia U.
- Volunteers Co-Chairs:
 - Hanneli Tavante, McGill U.
 - Michael James, U. of California at San Diego
 - Hongyu Chen, U. of California at Irvine

https://pldi24.sigplan.org/committee/pldi-2024-organizing-committee

--
Anders Miltner

  • [Coq-Club] PLDI 2024 Call for Papers, Anders Miltner, 10/03/2023

Archive powered by MHonArc 2.6.19+.

Top of Page