coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: ICFP Publicity <icfp.publicity AT googlemail.com>
- To: undisclosed-recipients:;
- Subject: [Coq-Club] ICFP 2024: Call for Tutorials
- Date: Mon, 11 Mar 2024 23:27:59 +0800
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=icfp.publicity AT googlemail.com; spf=Pass smtp.mailfrom=icfp.publicity AT googlemail.com; spf=None smtp.helo=postmaster AT mail-pg1-f172.google.com
- Ironport-data: A9a23:dAB02Kq8LQUGNI/Nls+vPJ6m6RZeBmKlYRIvgKrLsJaIsI4StFCzt garIBmCO6zeMWPzKo8jPoiy9x9U65CGxoQxT1dk/y03EClGouPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSs/3rRC9H5qyo5GtD5wVmP5ingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kPBbIaqsdsBltxt sAYDw9TTkmAqcyplefTpulE3qzPLeHuNYIb/2lvlHTXVKl8B5/ERKrO6JlT2zJYasJmR66PI ZpEL2A2MVKZPEcn1lQ/UPrSmM+pjXfnNSVFolaUrqsr8kDcywt+1LXoOdvRPNeNQK25m27B+ zyeoTujXU9y2Nq3wCK1wn/ym7L0zSbnX4NDO4bm1+NqqQjGroAUIEZLDAPk8KfRZlSFc9lYM gkf/jckhbMj8VSiCNj7RRyx5nCe1iPwQPJVGuw+rRmCk+/aulnDQGcDSTFFZZots8peqSEWO kGhpuvWB2xOq7qvdjGh9pCr8xPrOgY7MjpXDcMbdjct797mqYA1qxvASNd/DaK45uEZ/xmgn VhmSwBu190uYd436kmtwbzQb9uRSnXhSwc04kDPUTvg4FomPsiqYIun7VWd5vFFRGp4crVjl ClZ8yR9xLlRZX1oqMBraLhcdF1Oz6jfWAAweXY1Q/EcG82FohZPh7x47jBkP1tOOc0ZYzLva 0K7kVoOvccLbSb2M/IuONnZ5yEWIU7IRYqNuhf8PoomX3SNXFbclM2TTRfMgTq3wRdy+U3BE czDLpzyZZrlNUiX5GHrHr9CgOFDKtEWymTUSpT2hxWh2vz2WZJmYeZtDbd6VchgtPnsiFyNr b53bpLWoz0BCrGWSneMquY7cwtVRUXX8Lit96S7gMbYf1I6cIzgYteNqY4cl3tNxvoKyL2Zo injBie1CjPX3BX6FOlDUVg7AJuHYHq1hStT0fUEZA7zgyoQcsy04b0BdpA6W7Ai+aYxhbR3V vQJMYHISPhGVj2NqXxXYIjfvb5SUk2hpTuPGC65Pxk5XZprHDLS9vHeIwDAySgpDwiMj/UYn YGO7A3gbKA4d1xQN/qOMPOL5HGtjEcZg9N3DhfpIMEMWUDC87pKCi3Wj90xKZtdLx/s+Cer6 AKNJRI+u+P2gpQU9ePRjvuutLaZEOpZH2tbEVLE7L2wCzLow2q7zaJEU8eKZTr4Vl6o3ImfP cBu0ODbHNgcuVR7o65QMu1M8/olxt3No7R68FxVLE/TZQ72NoI6c2i048Zfk4ZsmJpLshSSc WCS8IB4Pb6pBpvUIGQJLlB4UtXZhOAmoRiM3/EbO06g2TRW+oCAWkBsPxWhrixRAb92EYE9y 9cap88kxF2juyUuL+q5oHhYx0aUIlwEdpcXhJUQLYvoqwgsk3VpQ5jXDA3o65CuNfRIFGQXI QGvuamTvIQEm3L+cEcyG0Pdgstbp5AF4y5RwHE4el+mp9vih90M5iN3zwgZdApu4yti7/NSI Ulubk18GrWP9Wxnhe9FRGGdJDtCDxy4pG30klsAq3LFRGajRkjyHX0bK8eQzhpI7VAGbjx/+ ZeGwl3EShfvRtn6hQEpaH5mqtvibN1/zRLDk8aZBPa4H4E2TD7mo622b08agkHDLeJoo2Ofv shs3uJ7SZOjBB4qu6dhVrWrj+UBei6LNElpYK9H/ppQOUr+ZTvr+zyFC37pS/N3P/aQrHOJU Z1/FPluCSa7+j2F9A0AJKg2JLRxov4lyfwCdp7vJk8Eq7GvlSVogr2B6hnBgHIXfPs2nfYfM o/xcxewIl6Uj1ZQmE7Pq5BgEUi8at8megb9/b6U9MMkKpE9i9xvIHoCiuaMg3aoMQVc7021u iHHbPTo1OBM89lnsLbtNaRhPD+KD+3Pet6Gyj3ujOQWX+jzaZ/Pkyg3tmjYOx9nOOpNetZvy pWInt3F/GLEm7cUVWqDyp+LOJdV1Pq2R85SFNz9F1hBvC64QMS3yQAyy2O5Dp1okd1m+cisQ TWjWvawbdI4X9R8xmVfTipjTzIxNvzSVbjxgg+YtNGOOwg5/S2cC+3/7l7vT2VQVhFQCq3EE gWu5sqfvIFJnrpDFDovJq9DEZRnBHTBRKF/Vdn6lQfAP1mSmlnY54fTz0sx2wrqVEuBPt3xu 6/eZx7Ecx+3hqHE4fdZv6F2vTwVFHxNuvYxTG1M5+9Jjy2GM0BeIdQ/KZkmDrRmoh723rz8Z xDPazIGIgf5VjJmbx79wYrCWiGyO+8wAer6dwcZpx6sVySLBY2+Weorsm8q5nptYTLswd22M dxUqDW6IhG1xYovXuoJoOCyheB83P7B23YU4gbHntfvBwoFS6A/vJC78NGhiQScey0MqKnKG YTxbWVNQUX+UUGoVMg5JCQTFxYeszfiiT4vaE9jBToZV5qzlIV9JD/XYokfEYHvqOwFI7kBQ X7yTmqJpWuR3xT/fIM37skxj/Yc5e2jR6CHwWyKeeHWt6637WsjMsYLnC5JR8YnkOKa/5Uxi RH0i0UD6I+5xIy9FVFYJcjlO368b57UMwz0sQ==
- Ironport-hdrordr: A9a23:FxesJKr7S8ajTb5UHxMEte8aV5oKeYIsimQD101hICF9WcaT/v re5cjztCWE7gr5PUtLpTnuAtjjfZqxz+8X3WBzB9eftWvdyQ6VxehZhOOI/9SKIVybygcy79 YGT4FOTPL3FkZzlsv37U2VFNw60MCb/K3Av4vjJrRWIj2CqZsM0+60MGim+4RNJTV7OQ==
- Ironport-phdr: A9a23:wwAl+B+rqc+U//9uWdS1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b QqAvL4y0BeJBdydt6gUzbKO8ujJYi8p39WoiDM4TNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sK Bi6twfcutQZjYZgJas61x/FrmdVd+hMym5kO1Gekwzg6sus+ZJo7jhdte8m+8NcXqr2eLg1Q 6ZfADo6LW4++dfltQPETQuB53scVnsZnx9VCAXb7x/0Q4n8vDLiuuVyxCeVM8v2TaspWTu59 KdkVAXoiCYcODEn9mzcl9F9g7haoBKloBx/3pLUbYSIP/dwYq/RYdUXTndGUcZMUSxOH4K8b 5ATAOoFOuZYtJfyqEYTphe6CgSgGObjxzlVjXH0wKI6yfwsHg7G0gIuHNwArWjbocjuOagIT ey41rPFwSnfY/5U3zr29YjGcgomofGJRb9+ctTcx0k1GQjYlFuQtJfqPzeU1usRsmib8+phX v+ohm4mtw5xrCCvyt00ionUnY0VzlHE+jl4wIYpJdy1U0F7YdmjEJtfsyGVKY52TdkjQ2Fso io11roGuZuicSUM1Z8oyALRZeadfIiU/hLsSvyRITFgiX9kZr6yiBi//Va+x+P8WMe60FZHo zdbntXRt30AyRLe58qIR/Z84kus2yuC2hzN5+xLP0w4i7bXJpE/z7Itkpcet1nIECHxmEXzl qCWd0Mk9/Cz6+TmbbXmvpucOJVyig3kNaQugMO/Dfw5MgcSUWib4fiz1Lrl/U33XrpKlOM5k q/Fv5/EP8gbobS5AwBT340+6Bi/Fy+r3MoEkXQDNl5IexKKg5L3N13TIP30F+qzjlaynDpt2 vvLILnhAojWLnjfjrjhZ6tz609dyQUt1d1T+5RZAawbLv3pQE/+rtnYAwc5MwOqx+bnD81w1 oYEVmKOBq+VKbvSsVCV6u42LemAeY0YtCjnJ/gq4P7uinA5mVsDcqWzwZQXb3W4EuxnI0Wff 3Xsns8MHXkWsgc6VuDni12PXSRNa3qvX68w/Cw3BYC4AYvbQ4Cimr2B3CO1Hp1MYWBGD0iBE Xb0eIWKQ/cAcjqSItJ6nTwAVLiuV44h1Q2utQLhxLpnKe3U+iIctZ390dh6/ezTlRUo+TNoC MSd1nmBT2dvkWwQXT85wLh/oVBhyleEyaV0nuRUFcZP6PNRTgc6KZncwvRmBND1QwLNZ8uGS FK7Qtq9GjwxVdIww9oWY0lnAdmijxbD3zCrA7APjbCLCoY0oerg2C3sIcp80H3C07Isgxw8T 8BOLWyrgLJkpVuAKZTOlhC4vIiSPZwB1irM/2af3CLavUpWSEhoTK/BXHseelr+otP+6UfPS ravDfIsNQ4Xmp3KEbdDdtC81QYOf/zkItmLPzrZcwaYAB+JwunJd4/2YyAH2y6bDkEYkgcV9 HLANA4kBy7nrXiNRCd2GwfJZEXhufJ7tGv9VlU9mgCBYVUnz6e//h8ehOCNY/wU2b0AtSIoq jEyF1G4jJrNE9TVnwN6Z+1HZM8lplJO1GbXrQt4a52rIbgknkMUdwV8vl///xpwDYpEnM0jr Xdsxw13euqDyF0UUTSe0NjrP6HPbGn/+Bf6c6nNxlTXy8qb4I8K4fU87k3s5USnTxV4tXpg1 NZR3j2X4ZCi4BM6d5X3Xw538hF7o+ufeSwh/8bO0nYqN6CoszjE0tZvBe0/yx/mcc0NeKWDX BT/FcEXHa3MYKQjhkSpYxQYPetT6L98PsWocOGD0bKqO+AolSyvjGBO6oRwmkyW8C80RunN1 pcDi/aWu2nPHzb3gk/nqt39nYFPZC0DNmW4zifgCYtYZ6k0doEOSC+vL8Cx2tRilsv1QXcLk TzrT1gC2cKvZV+TdwmnhVwWhRlR+yX633LnlW8R8XlhtKeU0S3Qzv63cRMGPjQOX2x+lRL2J oPyidkGXU+uZgxvlR2/5E+8ybIIwcY3Z2TVX0pMeDD7am94Va7l/LuJbdYJ8I4itSRcUfitS V+dTbH5rh4T0ielFGxbjmNeFXniqtDikhp2hXjIZnd4omKfYdx6wRbU5cDNbfFW2TUCSSxxi D2RDV+5dYrMn53ch9LIteawUHikX5tYfHzwzI+OgyC84HVjHRy1m/3bdsTPKQEhyme70tBrU X+NtxPgeszx0K/8N+t7f05uDVu66sxgG4g4nJFizJ0X3HEbgN2S8x9l2S/yOttDn7rjZn4MT j8X0vba5w/q3EBmJ3ONgYn+Uz2Rz9BgaN+zfm4NknhlvoYaVeHOteECxHQv6lOjyGCZKeBwh DIc1ecj5DYBjucFtRBshiSRD7YOHFVJaCnllhCG9de7/8A1LC6kdbm90lY7nMj0VunT5FEBH iygJ9F7QnUji6c3eEjB23Dy9Iz+LdzZbNZJ8waRjw+Fle9ebpQ4ivsNgyNjf2P7p3wsjeAh3 nkMldm3upaKL2J18ee3GBldY3f0bM0LvCnwh6JflceKzqigGZJuHjgOVZrsC/mvFXhB0Javf xbLCzA6pnqBTPDeFgGHrl97pXbOGJG3JlmYI34WydhnTRiZYkdYhUpHOVdy1o58HQesysv7d U5/7T1E/V/0pCxHzedwPgX+WGPS90+4Ly05Q5+FIF9K/xlPsg3LZNeG4Ls5TEQ6ttWx6RaAI WuBa0FUAHEVDwaaUkv7MODm5MGcobPFQLPvd72UPerI8asEC7+J3c79jNcgpW3XcJzRZj86S KRqvygLFXFhR5aHxXNWE3ZRz2SVKJTD7Bakpn8p8IblrKWtCFqpvczVU/NTKYk9pErw2PvFb r/Kwn4+cGY9tNtExGeUmudDmgdI1mc2MWHqSOpItDaRHvuIyukOUEFdO2Urc5ERp6MkglsUZ pWd04KpkOY+1rlsVTInHRTggp37P5RbZTHgcgqdVADTc+3ZbTzTn5OtOP36FO0W1bQO8UX34 GfTEle/bG7ayX+zDEHparsK1GbCbXk88MmrexJpQwAPVfrAbRu2eJ9yhDwym/gvg2/ScHQbO n56el9MqbuZ6WVZhO9+EipP9CgtK+7MgCuf4+TCT/Re+fJ2HiR5kf5b63Um2vNU6i9DXvl8h CrVqJZnvVinluCFzjcvXgBJr35Hg4eCvEMqPqu8lNEIQXHf4BcE9nmdETwPrtphT8Xg4uVek 4eV0q30LzhG/pTf+s5dT8nYJcSbMWYwZBrkHDmHaWlNBTWvNGzZmwlciKTIrizT/sV88MGx3 sNREOw+NhR9DP4RB0V7EcZXJZ52WmlhiruHlIsS4nH4qhDNRcJct5SBV/SIAPypJizK6NsML xYO3778Kpwec4Ph3Ek3IFhxkpyMA1faWdFGozFwRgAzp0pJ/X13T2l10EXgIFDIgjdbBbuvk xg6hxErK/wq7yvp6kwrK0DioSIxlAwploygj2nOKnj+K6C/WYwQAC3x/RtUUNuzU0N+agu8m lZhPTHPSudKjrduQmtsjRfVpZpFHfM0pUhsbxgXyvWaYvwp1RJXrSD1nSevCsPKDpxtkAYve J+o6XlH3lA6BDbUDanZJa4M1lcJw6zX4XXu2ec2zwsTYU0K9THKEBM=
- Ironport-sdr: 65ef230c_mJhlBktxoEAxXdjxv9EIMS9N4GFZGzGyDQ8CY/rOoL3HZsL 2S09RCx1POrr4Fx/a1pvK9PzZmQkayB+xhtqxsA==
ICFP 2024
CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS
29th ACM SIGPLAN International Conference on Functional Programming
https://icfp24.sigplan.org/track/icfp-2024-tutorials
September 2 - 7, 2024
Milan, Italy
The 29th ACM SIGPLAN International Conference on Functional
Programming will be held in Milan, Italy on September 2 - 7,
2024, with the option of virtual participation. ICFP provides a forum
for researchers and developers to hear about the latest work on the
design, implementations, principles, and uses of functional
programming.
Proposals are invited for tutorials, lasting approximately 3 hours each,
to be presented during ICFP and its co-located workshops and other events.
The tutorials may target an audience who is interested in commercial uses
of functional programming, but we also welcome tutorials whose primary
audience is researchers rather than practitioners. Tutorials may focus either
on a concrete technology or on a theoretical or mathematical tool. Ideally,
tutorials will have a concrete result, such as "Learn to do X with Y"
rather than "Learn language Y".
Just like last year, following the success of the #ShutDownPL event, we are also
inviting proposals for panels and discussions on topics of broader interest
to the PL community.
Tutorials, panels, and discussions may occur before or after ICFP,
co-located with the associated workshops, on September 2 or September 6-7.
----------------------------------------------------------------------
Submission details
Deadline for submission: May 24, 2024
Notification of acceptance: May 27, 2024
Prospective organizers of tutorials are invited to submit a completed
tutorial proposal form in plain text format to the ICFP 2024 workshop
co-chairs (Yannick Forster and Chandrakana Nandi), via email to
yannick.forster AT inria.fr and chandra AT certora.com
by May 24rd, 2024. Please note that this is a firm deadline.
The proposal form is available at:
http://www.icfpconference.org/icfp2024-files/icfp24-panel-form.txt
http://www.icfpconference.org/icfp2024-files/icfp24-tutorials-form.txt
----------------------------------------------------------------------
Selection committee
The proposals will be evaluated by a committee comprising the
following members of the ICFP 2024 organizing committee, together
with the members of the SIGPLAN executive committee.
Workshop Co-Chair: Yannick Forster (Inria Nantes)
Workshop Co-Chair: Chandrakana Nandi (Certora Inc.)
General Chair: Marco Gaboardi (Boston University)
Program Chair: Brigitte Pientka (McGill University)
----------------------------------------------------------------------
Further information
Any queries should be addressed to the workshop co-chairs (Yannick Forster and Chandrakana Nandi), via email to
yannick.forster AT inria.fr and chandra AT certora.com
- [Coq-Club] ICFP 2024: Call for Tutorials, ICFP Publicity, 03/11/2024
Archive powered by MHonArc 2.6.19+.