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 Workshops and Co-Located Events
- Date: Tue, 12 Dec 2023 10:08:02 +0800
- Authentication-results: mail3-smtp-sop.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-pf1-f171.google.com
- Ironport-data: A9a23:tYvyTKLFH4ZZRYV+FE+RY5ElxSXFcZb7ZxGr2PjKsXjdYENSgWYHy mQaUGiEbPvYMGenf98ia97l9khUv5SBmINgTAUd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf5s9JIGjhMsfna8ko25K+aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuYkr1k/tCEW4PI6I78dheAUp30 PM6EWVYBvyDr7reLLOTT+BtgoE7IpCuMtpA4zdvyjbWCftgSpfGK0nIzYUAjXFg24YURK6YP pVAAdZsREyojxlnO1wZENQmge2sh3L+byxwp1WSqq465mHSyEp6172F3N/9JYDTH50Kzh/wS mTuombcXkg3JtykxBG31iz32NThsAr4YddHfFG/3qU32QXMlzJ75ActfVC8uLyyjlO0c8lOL lQdvCsot6k7skKxJuQRRDW9qX+A+wYSAp9eSrJjrg6KzaXQ7kCSAW1soiN9hMIOpf4vFTIGy 3CwgfzKDgJGsJasbH2/z+LBxd+tAhQ9IWgHbC4CaAIK5dj/vY0+5i4jqP4zT8ZZafWlRlnNL yC2kcQou1kEYSc2O0iT+FnGh3e0qMGMQFdqv0PYWWWq6g4/b4mgD2BJ1bQ5xacYRGp6ZgDe1 JThpyR4xL5WZX1qvHLVKNjh5Jnzu5643MT02DaD5aUJ+TW34GKEdotN+jx4L0oBGp9bIWWyO R6P5lkPvM470J6WgUlfM9LZ5yMCnfeIKDgZfqmKBjazSsEtKlbaoXw0DaJu9z+8zBl3+U3AB XtrWZ3xVC5FWPoPIMueSOAa3rsmjiE4ziW7eHwI50XP7FZqX1bMEe1tGALWMIgRtfrYyC2Lq Yo3H5XRkH13DrahChQ7BKZIcTjm21BgWMiqwyGWH8bfSjdb9JYJUaGPn+9/ItY4w8y4VI7gp xmAZ6OR83Kn7VWvFOlAQioLhGrHBM4k9SAILmY3MEy22nMuR4+q4e1NP9E0ZLQrvqgrh/J9U /BPKY3KD+VtWwb33W0XTaD8i4h+KzWtpwaFZBS+bBYFIpVPeg3u+/3fRDXJyhUgNCSMmPUbn 6yBzSLeGJoKeBRjBp3ZadWp1FKAgkIek+NTAWrNe9laR1rw+6dbOwjOv+8RMewRG0+S2AnAx wKyBDEGr9LsuK4wysHC3oqfnreqEsx/P0tUJHba5rCILhvn/nKv7ItDceSQdxXPfTnQ1IT7Q ssN1ND6EvkMvGgSgrpGC7wxkJ4PvYr+lYFV3iFPPSvtbW3yLphCP3Pf/81ElpMV949joQHsB 36+oIhLC46oZvHgPkUafjc+T+K50voRpDnewNI1LGj+5w515LC3alpTDTbdlB1iKKZJD619z dcDoMI27ymNuiguOPuCjQFW8D2oBV4EWKMFqJobIdHKjiwG91J8WqHfWxTGuMy3V9ZxM0cRM mC1gojGjO9i3UbsSSc4OkXM+ut/vq4wni524mUMHHmzoeqdtMQLhEVQ1R8VUjVqyg521rMvG 2pzaGxwC6a83xZpo8lhWWr2SgdLKyOFy3P10H8MsnPTdGizd2n3NGZmE/28zEMY1GN9fzZg4 7CTzlj+YwvqZM3c2igTW1Zvjv7eEfhdy1Xno9+2OOigBLw4UCrBro71QlRQsDrhI8c6pHOfl NlQ5OwqNJHKb38BkZM0G6yx9Oo1WhubAEdgXPs43qcCPV+ESQGIwTLUdnyAIJJcFcfrr329J ddlfP9UdhKE0y2LkDAXKIgML5Jwn98r/NAyQazqF0FXr4qgqidVj7yI+hjcnGMLR/BcofQ5I K7VdBOAFTW0rllQkGnvssJFGzSZZf8pWQ7C5922od45T887jOJRcE8JwuSVuVeRO1BZ5B66h l7ISJLX6O1A8r5SubXQPJ9NPTjpFuOrZt+0qFiyl/9sceLwNdz/slJJi1v/YCVTE7gje/V2s rWvttStjUXPk4gqYl/dgL2EMbdD3uSpfe9tKsmsBmJrrSiDf87N4hU45GGzL6JSou5d/sWKQ wiZatO6UNwoB/Nx+SVwUDdPNDo4EIH1X7fEiQLmiMrUETkb8wjMDO3/xE/TdWsBKxM5YczvO DH7q9OFx459vo9TIDQmGvs/IZtzAGG7aJscb9er6AWpVDi5sGij5InnuwErswzQK3++F83/3 5LJaz7+eDm2u4DK1NtpiJNzjDJGEEdChfQMQWxF9+5UkzyaCEs0HdYZO7gCCbBWlXXW/7P8b zfvcmAjKHvcWRJpTBbC2+ngDzyvXrE2BtTEJzIXphLeL2/8AY6bG7Ju+xtx+3o8KHOp0OijL spY4XHqeAS4xpZyX+sI+/inmqFdy+jHwm4Ts1XI+yAo783y3Z1RvJCgIOZMacADO8TElUGOP WZsAG4dHxj9Rkn2HsJtPXVSHXn1ed8pIyoANU+yLBT34u13D9GsDNXwPOb81rAGZcUOYrUJQ BsbgkOTtnuO1CV7VbQB4roUbGwdNR5PNse9K6DnSAgbnqX24WMiVy/HcezjU+l6kDNi/5jhe vVALpTw6Ilp6Kyc5VFO9Tg0xg==
- Ironport-hdrordr: A9a23:0f7r+6NG4Sz/08BcTsejsMiBIKoaSvp033AB3UoZc20yTiX4rb HIoB1/73XJYVkqKRIdcLy7WJVoIkm8yXcW2/hyAV7KZmCP01dAR7sSiLcKrQeQfxEWNdQw6U 6jScVD4RHLYmSSRPyV3DWF
- Ironport-phdr: A9a23:vcYFcRTmfpFGYfAMoB3B5DGrRNpsoquWAWYlg6HPa5pwe6iut67vI FbYra00ygOTDcOCuqkP17CempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf7B/I A+roQjVuMQajoRvJrgswRbVv3VEfPhbymxvKV+PhRjw4du+8oB++CpKofIh8MBAUaT+f6smS LFTESorPWMo6sD1rBfPVQSA6GcSXWUQiRpIHhPK7ArmUZfrsyv1rfRy1S+HNsDrV780WDCi7 6B2SB/0jSoMKjA0/H3LhsF2kalUpw+hpxpizI7Ve4GaKP5+fqTGfdwEWGVKQ8JdWiNdDo+5a YYEEugPMvtCr4TlqFQArRWwCwqxCuzz1zJFnWX50bEg3uk7DQ3KwA4tEtQTu3rUttX1M6ISX Pi2wqTWzTvNde5d1y3g6IfTdhAhoO2DXbNsccvR1EIiEALFgUmeqYz9JT+VzvkNvHOf7+phS e2vinInqgFqrzigwccsjYbJhoYLxVDB7yp5wYI1KcekR058ZN6pCZ1dvDyVOIVqWM0tWX1ou Dokxb0cv562ZCkHxIooyhPRdfCKbYiG7BzjWuuRPDp0mm9pdbOhihu880WtxezxWtW23VtXs idIjNbBum4T2xDP5cWKVOZx80On1D2S2Q7T7eRELlo1lardM5Mh2b8wlpULsUTHBCD2nl/6j KiMdkUr4uSo6vjoYrv+ppCAMI90jA/+Pbo0msOhB+Q3LhYBU3Kc+eSm273u+1DyTrZSjvAuj KXVrJTXKd4Yq6O5GQNZzJsv5wqlAzu70tkUgH8KJ09bdRKDkojpIE3OL+7iDfmiglStkSlky ujaMrDnH57DNGLMkK37crZ480NcyBQ8zdRY559MD7EOOvPzWkvouNzAAB81LhW4w+j6BNh/y 48SQ22PAqieMKPdtV+H+PgjLPWLZI8QoDr9Kv4l6ODyjXIhh1MRYa2k0YEUZX24BPhqPViVb Wb2jtscE2oGoxIyTOnwh12DVT5TaWyyX6U55jwjCYKpEYnDRpi3jLyZwSe0BZlWZmFaBVCND Xfpd56JW/gLaCKVLc9hliILVb27RI8g0RGirhP1y71iLubM/C0Xrors1MJp6O3LiREy6Tt0A tyA322VVWF7gnsIRyMq3KB4uUFy1lCD0bFhj/NEEdxT+uhGXxwhNZ/cyux6E8r9VhjAftePU lamQ8+pDSs/TtIrkJcyZBNgHdmjlRvH2DGnD/oPmreKHJ059L7HjSuiCdx6ziPn/4cZx2E7S M9OPmy6l+Yr9gPdH8jRjk+dlq2rabU00ynK+2OOyGOPuAdTVwsmAvaNZmwWekaD9Yex3UjFV bL7VexP2mppzMeDLvAPcdj1lRBdQ++lPt3CYmW3kmP2BBCSx7rKYpC5M34F0nD7D04J2xsW4 W7ALRI3UyaqrXqYFCFkEVPkYl/92eZ5r3y/Q0o9zgXMZEpkhPKu4hBAvfWHULsI264c/iIoq jF6BlG4itPdBcLGvxdreKRXYM8syFhA0m3dugl0P5jmJKdn1RYFawoimUTo2l1sD5lY18gnq HR/1A1pNaeRy09MbRud1JH0f6XZcyz8pU/2LaHR3V7a3ZCd/aJnBO0QjVLlsUnpE0Mj9y4iy NxJyz6H4Y2MCgMOUJX3W0Jx9h5gpricbDNvr4XTnWZhN6W5qFqgk5ogGfclxxC8ftxeLLLMF Qn8FNcfDtSvL+pikkagbxYNNuRfvKAuOMbue/yD0a+tdOFu+VDuxWVM7pg7yl+G8yt3S/LZ9 5kCxP6c0w6OVjO6h1Ck84j2lY1CeTAODz+n0yG3YewZLqZ2fIsNFSKvO5jtnoQ418OrAScAs gf8XgBjuofhYxeZYl3j0BcF0E0WpSfigi6k13lvlClvqKOD3SvIyuCkdRwdO2cNSnMx6DWka YWykd0eW1ClKgYzkx7wr0fxybAdvLl1K2jYQFtZVyfxKG5mX665t77EaMlKosBN020fQKGnb FaWR6So6RoR3TulB3ZUwDEwdi27kpr+mBN+hWeULXI1p33cM5IVp1+X9JnXQvhf2SADTS9zh GzMB1SyCNKu+M2di5bJtu3Wu3uJbpRIamGryIqBsHD+/mh2GVikmOj1nNT7EA882Cu91t9wV CyOogyuKoXs0q27N6pgcCwKTBf94MRiXJljmI8xj5AMyFAVgZKa+XcCmGb3d95c3OryYWEMS jgC39POqFK9iQszczTTntq/DyrEisJ6ArvyKnsbwCc889xHBO+P4bpIkDE06lu0oATNYORsy zIUyP8g8nkf0IRr8EImyiSQBKxXHFENZ3S90UTVqYrn9OMOOz/8FNr4nFBzlt2gEryY9wRVW XKiP4wnATc19cJndlTFzHz07IjgPtjWd9Ma8BOOwHKix6BYLow8kv0SiG9pI2X46DckwOAjy wRz15W7t4mbOk1i+6W2BhNdPzzxIcgU/3u+6MQW1tbTxI2pEph7T38KV5XwC+q1GjYTvvX7J i6BFzozrnqeELvbWwSY7Q01yhCHW4DuPHaRKn4DyNxkTxTIP01TjjcfWzAil4I4HASnl4TxN V107TcL6hvkuwNBn6h2YgLnXD6V92LKIn8kDYKSJx1M4kRe6lfJZIaAu/lrEXgQ/4X9/lfQb DXKP0ISUT5PAgveWxjiJuX8u4WGqbPDQLPgd72WJuzfzI4WH/aQmcDxjM0/p2zKboPXeSM6R /wjhhgdAzYjR5Wfy21JE2tNz2rMd5LJ+036o3Ex95HltqysAVKKh8PHCqMOY4ozvUns3OHbc bbX3XgxKC4EhMpUlTmRl+dZjBhKzHs3Pzi1TeZZ6nWLFfOM3PcRV1lCNUYRfINJ9/5uhFEcf 56GzIqvhvggyadqQ1ZdCQ67w5/vOJxMejDncguAXRfDNazad2eSnYetOvL6EucW1KIN5njS8 X6NGkvndFxvjhHPUBaieaFJhSCfZ1lFvZ2lNw1qES7lRc7nbRuyNJl2iyc3yPs6nCGCM2lUK jV6f05Xy9/YpSpFnvVyHXBA5Xt5PKGFnSie9ezRNpcRt7NiHC11k+tQ5HlyxaFS6WlIQ/l8m S2aqdALwRnuiu6U1j9uSwZDsB5OjYOP+F1sYODXr8YZH3nD+x0J4CObDBFL79ppB9vzurxBn 9jCkKWgTVUKu9nQ/MYaG43VMJfdaCtnYUevQmeMSlJaFG3OVymXnUFWnfCM+2fAq5E7rsOpg 58SUvpAU0RzEPoGC0NjFdhEIZFtXzpin6TI6axArXe4shTVQ91X+57dUffHS/TkJi7flaROY xoDwK/pBYsUMYL/1klra108l4PPURm1P5gFsmh6Ywk4rV8YumB5VXE20ln5ZxmF5XYSEbusk EdzhFIhOKIi8zDj51pxLV3P7nhV8gF5iZDuhjafdyT0JaG7UNRNCib6gEM2N4vyXwd/aQDad alMOzDDSLZcirJhcSZgjwqO4fOn+NZZRKxAJQcenLSZPqpxl1tbrSqjyAlM4u6XUfOKeyMld pmjq39F0gNnKtUyIP6JTJc=
- Ironport-sdr: 6577c090_r+m83304iZpRSvwHCdM/h9Aa0+wGi1mhAdwJVhX7MRtnWZ7 5Ci0EiKOnDsvuhndof5Zir363BWZCokakcXhcYw==
CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
ICFP 2024
29th ACM SIGPLAN International Conference on Functional Programming
September 2 - 7, 2024
Milan, Italy
https://icfp24.sigplan.org/
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 workshops (and other co-located events,
such as symposiums) to be affiliated with ICFP 2024 and sponsored by
SIGPLAN. These events should be less formal and more focused than
ICFP itself, include sessions that enable interaction among the
attendees, and foster the exchange of new ideas. The preference is
for one-day events, but other schedules can also be considered.
The workshops are scheduled to occur on September 2nd (the day before
ICFP) and September 6-7th (the two days after ICFP).
A separate call for Call for Tutorial, Panel, and Discussion Proposals is
going to be circulated later.
----------------------------------------------------------------------
Submission details
Deadline for submission: January 11, 2024
Notification of acceptance: January 19, 2024
Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2024 workshop co-chairs (Chandrakana Nandi
and Yannick Forster) via email to
chandra AT certora.com
yannick.forster AT inria.fr
by January 11, 2024. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a
firm deadline.
Organizers will be notified whether their event proposal is accepted
by January 19, 2024, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.
The proposal form is available at:
http://www.icfpconference.org/icfp2024-files/icfp24-workshops-form.txt.docx
PC Template:
http://www.icfpconference.org/icfp2024-files/pc-template.xlsx
Further information about SIGPLAN sponsorship is available at:
http://www.sigplan.org/Resources/Proposals/Sponsored/
----------------------------------------------------------------------
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: Chandrakana Nandi (Certora)
Workshop Co-Chair: Yannick Forster (Inria)
General Chair: Marco Gaboardi (Boston University)
Program Chair: Brigitte Pientka (McGill University)
----------------------------------------------------------------------
Further information
Any queries should be addressed to the workshop co-chairs
(Chandrakana Nandi and Yannick Forster), via email to
chandra AT certora.com end yannick.forster AT inria.fr
ICFP 2024
29th ACM SIGPLAN International Conference on Functional Programming
September 2 - 7, 2024
Milan, Italy
https://icfp24.sigplan.org/
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 workshops (and other co-located events,
such as symposiums) to be affiliated with ICFP 2024 and sponsored by
SIGPLAN. These events should be less formal and more focused than
ICFP itself, include sessions that enable interaction among the
attendees, and foster the exchange of new ideas. The preference is
for one-day events, but other schedules can also be considered.
The workshops are scheduled to occur on September 2nd (the day before
ICFP) and September 6-7th (the two days after ICFP).
A separate call for Call for Tutorial, Panel, and Discussion Proposals is
going to be circulated later.
----------------------------------------------------------------------
Submission details
Deadline for submission: January 11, 2024
Notification of acceptance: January 19, 2024
Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2024 workshop co-chairs (Chandrakana Nandi
and Yannick Forster) via email to
chandra AT certora.com
yannick.forster AT inria.fr
by January 11, 2024. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a
firm deadline.
Organizers will be notified whether their event proposal is accepted
by January 19, 2024, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.
The proposal form is available at:
http://www.icfpconference.org/icfp2024-files/icfp24-workshops-form.txt.docx
PC Template:
http://www.icfpconference.org/icfp2024-files/pc-template.xlsx
Further information about SIGPLAN sponsorship is available at:
http://www.sigplan.org/Resources/Proposals/Sponsored/
----------------------------------------------------------------------
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: Chandrakana Nandi (Certora)
Workshop Co-Chair: Yannick Forster (Inria)
General Chair: Marco Gaboardi (Boston University)
Program Chair: Brigitte Pientka (McGill University)
----------------------------------------------------------------------
Further information
Any queries should be addressed to the workshop co-chairs
(Chandrakana Nandi and Yannick Forster), via email to
chandra AT certora.com end yannick.forster AT inria.fr
- [Coq-Club] ICFP 2024: Call for Workshops and Co-Located Events, ICFP Publicity, 12/12/2023
Archive powered by MHonArc 2.6.19+.