coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Neel Krishnaswami <nk480 AT cl.cam.ac.uk>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] SRC@POPL 2024 Call for Submissions
- Date: Mon, 23 Oct 2023 12:39:31 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nk480 AT cl.cam.ac.uk; spf=Pass smtp.mailfrom=nk480 AT cl.cam.ac.uk; spf=None smtp.helo=postmaster AT mta3.cl.cam.ac.uk
- Ironport-data: A9a23:8joOzaARNyBN4BVW/y7mw5YqxClBgxIJ4kV8jS/XYbTApDIq0zdRx zcbCz2EOKmJY2fwetl2at+z8hhUsMfVz4RhOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuHYzdJ5xYuajhPsvrZ80s21BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc53H8Ul7+2NJFNn8nYI86/cp6K1519 dVNfVjhbjjb7w636LenQ7IqjcBlJ8DueooU/Gxjpd3bJa98EdaZGP+Mv4IehmxYasNmRZ4yY +IfamY/NDzLZ1tEM1JRAZl4geTAanzXKmYC9gLP+/Nvi4TV5A1O/aHhOfHVQO61V/lyu0GXp nr+0musV3n2M/Tak1Jp6EmEjejW2Cj/RYg6D6y97vcsgVuJx2VVBgd+aLegifylgxX4UNYZI EURvCMl67UxnKC2cuTAs9SDiCbslnYhtxB4SoXWMSnclfKG0BXTHWUeUD9KZfovscJ8F3Rg1 UaEk5mtTXZjuaGcAyDVvLqFjyKACQ5MJ087ZAgAUVQk5fvnq9oNlR7hdItoP5O0qdzXIgvO5 Q62ghIwvJgtqPIa9r6a+AnHig28p5KSQQ8S4B7Wb12f7Qh4RdCEYtXw2GT+8McaM5uoFHedm H0qmeyY0vovDI6MpgOJUu4iDLGk3NfbETz+0HpEPYgtyCSpwFGnJbtv2TBZIFx4FPoEdRvCQ l7hiSkI6LB9ZHKVPLJKOaSvAMEU/I3cPNXCVMGMSOFRY5J0JTS1zAs3aWG+h2nSwVURy4chM pKmcOGpP3YQKYJj6BGUH+4987sa9hoS9FPpZ6LQ7kqYiOKFRXuvV706HkOEbbk54IO6sQzly YtjGPXQ+SpPct/VQ3fxypESH2AoPHJgJJHRqu5rTMChDDdiOlkcD672/et8Va1jx79Yh8XZz EGbA0V48mfytVfDCAeNa01gVo/RYIZCnSoFGhIobHmV2CkFQIew7a0gWYM9Ups5+cdCk/Nlb fk3VP+RI/ZISwWd5CksN7fhiIlMdjCtuxivPjWkUhc7bZVPVwzEwf66XwrNpQ0lLDu7its6m JKkjjjkeJskQx9zKvrWZNaE7UKDjVJElM1cB0L3c8RuImPy+41UGgnNp/4QIfBUDy7cxzGfh j2kMT1Bqcbj+4YKocT034aapIKUEsx7LEpQP0/fyZ2UbSD63G6S8bVsYdayXwL2dT3Lof25R OBv0fvDHuUNnw9Kv6pCAr9b9/8CyOW1lYBK7DZPPSvtVEuqOINCM3Pd/Mhot49x/JF7lzaye Hqy/oh9Be3UFuLjSEUcNSg0XNSljPs0oATf3d4xAUf95RJ0woa5bFVvD0GMpRFZfZRIM9ID4 OY+ucQpxRS1pTg0P/2n0C1F1WS+AUYRcqcgt6BAH5La0CQ37lRsY7jaNDXX4Y6OWfpIIEIFM j+Zv4ucprV+l27pUWs/KmjJ5sVZ3a8xgRFtyEQTAWiJlv7upO4F7DcI/RsZFg1qnwh6icRtM W1VBmhJDKSp/QYwovNcXmqpSjpzNDfA9mPfk1I2xXDkFW+2XWnwLUo4C+aH3GYd10l+JjF73 rWp+FzJYAbQXvPa/3UNABZ+ivnZU9ZO2BXIm5mnE+S7DpAKW2fZrZH0V1UYiSnMIJ0Xv1LGl 9lI7ewrSKzcNAwsmYMZJbSe94wtTEGjGDQfb9Bnpa8HJDSJMnX6kz2DMFu4dc5xNuTHux3wQ dBnIsVUEQ+yzmCSpzQcHrQBOKJwgOVv3tcZZ7f3PiQThtNzdNayXE74rUASRVPHQumCVe44N oqKMTmGVGeZgD1dkCnQr6Go/4Z+jcYsPGXBMCKdqY3l1K7vdMlndQc5277ytn7TLQgPE9e8o lbYf6GPpwB94d0EomYve5mvwy2/LZX4XeHO+Qv1rtcmgRYj9yvRn1t9l2QL9Di68VfctxqbW FhNXBPKMJv5gYsL
- Ironport-hdrordr: A9a23:fQXEMKOb6Uk0wMBcTuOjsMiBIKoaSvp037BZ7TEUdfUzSL3/qy nOpoV96faQsl0ssR4b9+xoVJPwIk80lqQV3WByB9iftWDd0QPFEGx71+bfKlbbak/DH4BmpM JdmuRFaOHYPBxRqILA7AO1E8ktzZ28yY/Av43j5kYoRwQvUZpbhj0JczqmLg==
- Ironport-phdr: A9a23:wPgIsBxzfBnedcrXCzL0wFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hyZtasm0AeBHd2Cra4e1ayO6+GocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjmwbalxI Ri3ogncudUaipZmJqot1xfFuHRFd/pXyG9yOV6fgxPw7dqs8ZB+9Chdp+gv/NNaX6XgeKQ4Q 71YDDA4PG0w+cbmqxrNQxaR63UFSmkZnQZGDAbD7BHhQ5f+qTD6ufZn2CmbJsL5U7Y5Uim/4 qhxSR/ojCAHNyMl8GzSl8d9gr5XrA6nqhdixYPffYObO+dkfq7Fft0US2VOUchRWSJcHI2zc 4QBAvEdPetbtYTxu0cCoQW8CASqGejhyiVIhnjz3aAiy+ouDx/J3Ag9FNwLqnTUrc71NKcUU e+v16nJwy/Mb/ZX2Tzg74XIdBMhrP6PUL5sasfe1U0vGxnZgVqKrIzpJSma2fgXv2iG7OptT OSigHMopA9tuDag3NssipXXiYIPzFDJ7SV3zYk7K9ClRkN2f9GpHYZNui+VKYZ4TcMsTnxpt Ss6yLALp5C1cTYKxpkoxRPSZOKKfoqL7x//SuufITd2iXNjdbmiiRiy9k2gxff9VsmyyFtKt StFktbUtnAJzRPT7NKLSvxn/keuwTqP1wfT6v1YLkAujarXMYIuwrk1lpcVrE/NHTf2lV3rg KOIdUgo4Pak5ur5brn8uJORN5V4hh/wP6g2hMCzHfg0PhULUmWa9+mwyLju8VPkTLlUi/A6j KfUvZPfKMkVp6O0Bw1Y34Mt6xu+ATem3tEVnXcZI19FeB+KiojkNlHOLf36C/q0nk6iny1xx //cO73sGpXNIWbHkLfmZbt97lJcxxA9wNxF+51UDqsNL+7pVU/0rtDXFAM2Pxapw+bkENl91 4UeVnyTAqKBLa/er1yF6vgxL+SCeoMZoijxJvg/6/Lwg3I1gVodcrOo3ZsTZnC4BPNmI0CBb HrqgdcMHmQHshYlQeP2jF2OSyJcaGy3X64m/D40FJiqDZrARoy1hryOxz+0HodKaWBeFlCMD XDoep2ZV/sUciKdPtdhkiAYVbimU4IuyRautBbjx7V7KurU5zYXuIn41Nl14u3TjQs9+SZ1D 8SbyWGNTnt7knkGRz8sj+hDphl2zU7G2qxlidRZE8ZS7rVHSFQUL5nZmsp3BtS6eRjAZdePQ U25S9CnSWU3TY5hm/cFZwB2EtDkhxuFwin8UOxdrKCCGJFhqvGU5HP2Pcsokx4utYEkhlgiG I5UMHG+w7R4/E7VDpLIlEOQk+Crc74d1WjD7jTL1nKA6WdfVgM4SqDZRTYHfEKDq9elthvqR LvoAr0idAJKj9OBeeNRctO8tVxdX7/4PcjGJWe4mmO+HxGNk7WPMNqyU24Zmi7UDQ4NmEYO/ iXOLhAwUwGmpW+WFzlyDRTvbkfrpPF5s2++R1QowhuialFojPy+/lgejPnaQvhVw7FsVD4Jj TJyER792tvXD4DFvA99ZOBGZth75l5b1GXfvgg7P5q6LqkkiERMOwJw91jj0Rl6EOAi2YAjs W8qwQxuKKmZzEIJdjWW2or1M6HWLW+69Q6maqrf0FXTmNiM/aJH5PM9olTl9Aancyhqu3Nkj 4kN+3CYoJ7DCUwbWtTsUQd/9hR3oa3bfjho/5ndhjVnNai5tCOH2sp8XbF1jEz7JZEFbeXeT 1yXcYVSHcWlJe00lkL8axsFOLoX76soJ4a8cPDA3qe3PeFmlTbgjGJd4Yk73Fjfkkg0AuPOw ZsBxOmVmwWdUDKpxlGi7pCvsYtAIzobGyy2wm75B8QCA886NZZOEmqoL8Ctk594hMK9A1ZT8 BioDlZA0cTvZBnYPBTtmAZX00oQu3munyC1mid1nz8epa2axCXSwu7meXLrI0ZzTXJ5xRfpK Imw1ZUBWVSwKhIun12j7Fr7wK5SoOJ+KXPSSAFGZXq+I2ZnW6q2/r2MBqwHoJUr7XUPeO+4J 1uTT/j0qF0H0GvvEnBfyzYyazyx8syjz1og0zjbdis19iGRcNo43RrF4d3AWfNdu1hODDJ1j zXaHBn0PtWk+8mVi4aWt+m/U2y7UZgAOSLvzI6GqG66/TgzW035xavp3Ie6V1JhgkqZn5FwW C7FrQjxeNzu3qW+a6d8e1VwQUX74Ix8E51/lY05gNcR32Ibj9Ob5yli8y+7PNNF1Kb5dHdIS yQMxouf5gu5iBVLJXbPzIv8EHyWhNZiLYrfACteymcm4sZGBb3BprpHwXstilG86wnYZL50l XEAyrF9oG5fiOYPtg03yyybCb1HBkhUMxvnkBGQ5sy/pqFaNwPNOfCgkVBzlte7APSesxlRD TznL4w6E3Y6vY1vdUjB23rp5sT4dcnMOJgN4waMnU6l7aAdKYptxKNQ1Ww9Yji75Tt4lKY6l UA8hMvq+tLccSM3oeTgXFkCZ1iXL4sS4m+/168Gw5Scg9j3TMw4QmdZBsa6FbXxSm9atPLsM xuCHW85ujGQEL+ZFATZ9UQDzTqHEpagM2ybKSsC1dskXAOaOEFUnAETWnM9g4I9EQepgsfmd Q9v7zQVrDYUszNqzeRlf1n6W2bb/kKzbyssDYKYJ1xQ5x1D4EHcNYqf6PhyFmdW5M/pqgvFM WGdawlSaANBEkWZG1DuOKWv7tjc4qCZAOS5Nf7HfbSJr6RXSf6JwZul1oYu8SyLM42DOXxrD vtz3UQmPzgxA8PChzAGUDAajQrIc8fA4hy4vCZ+q4a2+7L2W0On5IeCDadTLcQ6+x2yhvTmV abYjyJ4JDBEk5IUkCaSmP5FhwRU0XwoLWL+dNZI/TTAR6/RhKJNWhsSaicpcdBN87p5xA5Gf 8jSltLy0Ld8yP8zEVZME1L7yaTLLYQHJX+wMFTfCQOFLrODcHfNwJ2nOYu3TftbheASvhb2p DXRQCqBdnyT0iLkURyiK7QGlCaAIBlXo52waD5oFWG4CtniLBayNZl+hnsrwvdn4xGCfX5ZO j96fURXq7SW5i4NmfRzFVtK6X99JPWFkSKUhwE3Ap0S9/BiB2J9nKRH4yZjo1OwxCpAAvd8n W3bpZhzoAP++gFu4j97WUEIoTINj4uO+0xpf7japMEoZA==
- Ironport-sdr: 65365b87_iUCu7M9jJ6ZJ/7LCepVtHS4os0lZm/rMU3H+yt6flLpOA5g dC4n9DD1b8ZYiyqJebh9XJRsIVoQUbvAAkk7k/A==
--------------------------------------------------------------------------
SRC@POPL 2024 Call for Submissions
ACM Student Research Competition
https://popl24.sigplan.org/track/POPL-2024-student-research-competition
Location: London, UK
SRC Posters: Jan 17, 2024 (tentative)
SRC Presentation: Jan 18, 2024 (tentative)
--------------------------------------------------------------------------
Important Dates
Abstract Submission: Fri 10 Nov 2023
Notification of (Conditional) Acceptance: Fri 1 Dec 2023
Re-Submission for Conditionally Accepted Abstracts: Wed 6 Dec 2023
Notification of Final Acceptance: Fri 8 Dec 20223
--------------------------------------------------------------------------
Overview
POPL 2024 will host an ACM Student Research Competition, where undergraduate and graduate students can present their original research before a panel of judges and conference attendees. This year’s competition will consist of three rounds:
• Round 1, Extended abstract: All students are encouraged to submit an extended abstract outlining their research. The submission should be up to three pages using “\documentclass[acmsmall,nonacm]{acmart}”.
• Round 2, Poster at POPL: Based on the abstracts, a panel of judges will select the most promising entrants to participate in a poster session at POPL. In the poster session, students will be able to interact with POPL attendees and judges. After the poster session, three finalists in each category (graduate/undergraduate) will be selected to advance to the next round.
• Round 3, Oral presentation at POPL: The last round will consist of a short oral live presentation at POPL to compete for the final awards in each category. This round will also select an overall winner who will advance to the ACM SRC Grand Finals.
--------------------------------------------------------------------------
Call for Submission
POPL invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. Please submit your extended abstracts through HotCRP: https://popl24src.hotcrp.com
Submissions must be original research that is not already published at POPL or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work.
The extended abstract should be up to three pages using ‘\documentclass[acmsmall,nonacm]{acmart}’. Reference lists do not count towards the three-page limit. You may write appendices after the three-page limit, but please be noted that the committee is not required to read them.
This year, we will have two review cycles. For each submission, one of the following decisions will be made:
• Accept: abstracts that proceed to the next round unconditionally.
• Conditional Accept: abstracts that receive revision suggestions from the PC members. Authors will have 5 days to revise the abstract accordingly and then resubmit. The revised abstracts will then be re-evaluated, and either accepted or rejected.
• Reject: abstracts that will not proceed to the next round.
----------------------------------------------------------------------------------------------------------------------------------------------------
SRC@POPL 2023 Call for Submissions
ACM Student Research Competition
https://popl23.sigplan.org/track/POPL-2023-student-research-competition
Location: Boston, Massachusetts, USA
SRC Posters: Jan 15, 2023 (tentative)
SRC Presentation: Jan 17, 2023 (tentative)
--------------------------------------------------------------------------
Important Dates
Abstract Submission: Fri 11 Nov 2022
Notification of (Conditional) Acceptance: Fri 2 Dec 2022
Re-Submission for Conditionally Accepted Abstracts: Wed 7 Dec 2022
Notification of Final Acceptance: Fri 9 Dec 2022
--------------------------------------------------------------------------
Overview
POPL 2023 will host an ACM Student Research Competition, where undergraduate and graduate students can present their original research before a panel of judges and conference attendees. This year’s competition will consist of three rounds:
• Round 1, Extended abstract: All students are encouraged to submit an extended abstract outlining their research. The submission should be up to three pages using “\documentclass[acmsmall,nonacm]{acmart}”.
• Round 2, Poster at POPL: Based on the abstracts, a panel of judges will select the most promising entrants to participate in a poster session at POPL. In the poster session, students will be able to interact with POPL attendees and judges. After the poster session, three finalists in each category (graduate/undergraduate) will be selected to advance to the next round.
• Round 3, Oral presentation at POPL: The last round will consist of a short oral live presentation at POPL to compete for the final awards in each category. This round will also select an overall winner who will advance to the ACM SRC Grand Finals.
--------------------------------------------------------------------------
Call for Submission
POPL invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. Please submit your extended abstracts through HotCRP: https://popl23src.hotcrp.com
Submissions must be original research that is not already published at POPL or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work.
The extended abstract should be up to three pages using ‘\documentclass[acmsmall,nonacm]{acmart}’. Reference lists do not count towards the three-page limit. You may write appendices after the three-page limit, but please be noted that the committee is not required to read them.
This year, we will have two review cycles. For each submission, one of the following decisions will be made:
• Accept: abstracts that proceed to the next round unconditionally.
• Conditional Accept: abstracts that receive revision suggestions from the PC members. Authors will have 5 days to revise the abstract accordingly and then resubmit. The revised abstracts will then be re-evaluated, and either accepted or rejected.
• Reject: abstracts that will not proceed to the next round.
--------------------------------------------------------------------------
Program Committee
To be announced:
- [Coq-Club] SRC@POPL 2024 Call for Submissions, Neel Krishnaswami, 10/23/2023
Archive powered by MHonArc 2.6.19+.