coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ICFP 2023: Call for Participation

From: ICFP Publicity <icfp.publicity AT googlemail.com>
To: undisclosed-recipients:;
Subject: [Coq-Club] ICFP 2023: Call for Participation
Date: Thu, 3 Aug 2023 14:26:03 +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-pj1-f45.google.com
Ironport-data: A9a23:GhK8HKIeaMaVOuYCFE+RNJElxSXFcZb7ZxGr2PjKsXjdYENShTwCy zRKCjvVO/+IN2OmeNgkPoji8UJTucLWzYU2T1cd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf8s9JIGjhMsfnb+Es05K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuTlz236xkEl0KH4Q/oNcuMWt1z v0cAWVYBvyDr7reLLOTT+BtgoE7LpCuMt9C/H5nyj7dALAtRpWrr6fiv4cJmmdtwJoXQ7CCO qL1ahI3BPjESxxENE9REI80mOajh2XuWzJfr12RqK8+4myVxwt0uFToGISPK4TRFJoJ9qqej k7n1jvXPygLDtvc8DaU/jGFm/aXhhquDer+E5XhrqIw6LGJ/UQYDwRTXl+mq9Gim0umUpReL VYV82wgt8APGFeDS9D8W1igoifBsEJBHdVXFOI+5UeGza+8Dxul6nYscxlbdIUsqtMKZzUNj G7Qr9nSPj1rmejAIZ6CzYu8oTS3MCkTCGYNYy4YUAcIi+UPRqlj33ojqf4zQcaIYs3J9SLYm G/V8XBv71kHpYtaiPXhpAGvbyeE/8CRFmYIChPrsnVJBz6Viaagbo2srEDZtLNOcNvfQV6Gs 3wJ3cOZ6Yji7K1hdgTdEI3h/5nzv55p1QEwZ3YxRPHNEBzzoRaekXh4um0WGauQGp9slcXVS EHSoxhNw5RYIWGna6R6C6roVZVzlfC5TY+9CKuJBjarXnSXXF/WlM2JTR7Bt10BbGBx+U3CE c3LLJjwUyhy5VpPlWDmHrd1PUAXKtAWnDuPH/gXPjyo1r2RYHP9dFv2GArmUwzN14vd+F+92 48HaaOikkwDOMWgOHW/2dBIdjgicyNrba0aXuQNKYZv1CI9SD9/YxIQqJt9E7FYc1N9yL+Tp i7gBBUBoLc97FWeQTi3hrlYQOuHdf5CQbgTZETA5H75gCRxUpXl96oFaZo8cJ8u8eEpn7Y+T OAId4/ESr5DQyjOsWZVJ5Tsjp1QRDLyjyK3Pg2hfGceebxkTFf34dPKRFbk2xQPKSuVjvEAh YOc+DnVerc5fDQ6Pv3qMKqu63iToUkinPlDWhqUA9tLJ2Tp3otYCw3wqf4VJctWeBPJ6QWG5 jmSGjMdg/fHmK4u0dzznavfhZyYI+h/OUt7Hmfg8re9MxfBzFej2YNtVOWpfyjXcWHJpIGOW L1w9O7tF9Eih3NIgppYP5cw6pxm/PrphbtR7jo8LUXxd17xV49ReCiX7/dApohm5+F8qwCpf mmt59MDG7GCGP29IW4rPAB/M9iyj6AFqALzs8YwDl7xvhJs3by9Vk5XARmApQpdIJZxM6In2 e0Rg9EX2SPulisVNsu6sQ4M+1SuNnAgV4AVhqMeCqLviSspzQhMWoyDKynU5JrUVc5AHHN3K RCphY3DpY9m+Gz8T1QJG0Pg489hlLUVmRUTzFY9N1WDwdXEofks3Sxuyzc8TyUL7xAe0+tMJ XRgGEplAZq/pxFT2c5JBTGqES58GSzDq1DQykQIpkLdXUKHRmzAF0xjGOevrWQy0XNQQShfx 56ckF3aaDfNeNrj+wcDQmtnlqDTdsNw/Qj8h8yXJcSJMJ0kaz7DgKX1R243hzb4IME23mvrm PJL+btuVKjFKiIgma03JI2E37A2ShrfBmhjQ+lkzZwZD1PnZzC+9jifGX+fIvoXCaTxzna5L MhyKuZkdRe0jn+Opw9GI588GeZ/mfpx6ecSfr/uG3U9jIKeiThX4bbw7Sn1gVE5T+p+yfgdL pzjTBPcM2iyq0YNpUrzgphqBm6Kb+MARjXA58Gu0eBQF5s8oOBmKk4z9b2vvkSqCghs/jPKn QbPeaWMw/dQ9t1slrTzD5QZVhmVKMzyZsuM4guco9RDVvKREMbs5ic+iEjrABRSBpQVA+9Ir LWqtMXm+n/Kp5AKanD9t7jdMrhW9OOwcfFyMMmqHEJFnCCHZtDg0yED90+8N5ZNttFXveuje CeVd+qycswzSf5G5XgIdRVbLQkRO573Yojkuym5ifaGUToZ8A7fKeKY5W3bVn5aegAIKq/BJ FfN4dj23e9hraNIGBMgLNNlCcUhIFbcBI0XR+eovjycVmSVkleOv4X5riUZ6BbJNCi0IJ6vq 9aNDB3zbw+7t6z03clU+d469AEeCHFmx/I8ZAQB8tpxkCq3F3MCMf9bC5gdF5VIiWbn4fkUv t0WgLcKUk0RnAiocCkQJPzmVwabQ/QMY5L3emFv8ESTZCO7QoiHBdONM8umD2heIlPeICOPc LnyOUEc+jC+xZZmQesW7/2/x+xgw5s2A1oWrFvlnZWa7wk2WN03Ob8IIOaJfSPAFM7JmUDCJ GxzTmdBKK1+pYgdDu44E0No9NolUP8DAtnmgepjADoShmlD8NB99Q==
Ironport-hdrordr: A9a23:tGq2VavPVHYi+cGxf4Y7Ethi7skDcNV00zEX/kB9WHVpW+eTna mV7ZImPH7P+VEssRQb8+xoV5PwIk80maQU3WBzB9aftWvdyQmVxehZhOOI/9SKIVyaygcy79 YFT0G8MrHN5JpB4PoSLDPWLz/o+re6zJw=
Ironport-phdr: A9a23:Fl9jCxZSq9QfhNAXyLrIQ/L/LTFA2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gGPDdyQsqofw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PSbglShzexfLx+I AiqoQjfq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ 7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4 KB2SB/ulSgHNiU5/33Tisx3l6JUvg+urAF7z4PbfI2ZMfxzdb7fc9wHX2pMRsleWSxPDI2/c oUAE/cMMP1Er4XhvVYCsQeyCRWuCe7p1zRGhmX23ao/0+k5Eg/LwgwuEcgTu3rOsdX6L6MSU eGpw6nJ0TXCb+5d1DD86IfUfBAhueuAXaptccXKzUkvFh/KjlSMqY3lJD6V2eMNs2+U7+pkS +2vjnQoqwB1ojS12sgsjYzJi5sTx1vZ+ip33Jw7KsekSE5nf9GkCp1QujmVOYdqTc4vX29lt TgkxrAauZC1czUGxZs5yhPbZfGKcYiG7w/9WOqNPTt1mW5pda+hihus/0atyOzxW8mo3FhFq CdOj9fCtncI1xPJ68iHTONw/lyg2TaAzwDT7vtLIUYumarcMZ4hzbg9nYcQv0TbBiL6hln6g auMekgn+uWk8frrbqjnq5OGOIJ5igfzObk0lMOlG+Q3KA0OUnCb+eui0L3j+lX0QLBQgf03l qnVqYjaJcYGqqKgDQ9Y3YYu5wywDzeh19QYkn0HI0xfdB2biIjpPknCIPH+Dfihn1ShiClny +zCM7H7AZjALmLPnKn8cbt88UJRxwo+wcha551OC7EBJPzzWlX2tNzdFhI5MhC7w+j/CNlnz oMeRHmAAquYMKzOsF+I+uIuLvKDZI8Svzb9JPwl6ODrjXAjmF8debOl0ocQaHC9BvhmJV6Wb mL2gtgdCWcKohY+TOvyhVGfSTJTfWq9X7og5jEnD4KrFZvMRoe0gLCYwCi7GoBWaXtdB1CXE Xbocp2EVO0WZCKTJM9hiD0EWqK7R48vzxH9/DP9nqdhIuvP8Skfrp/vkcJ47OzLlBw06ScmX JezyWaIGkBfsFtAfyI82KF0oFBsggOC2qZgxeRFH9hS7PJVQy81MpnTy+F/AtH2HAnGe4HaG x6dXty6DGRpHZoKyNgUbhMhQ71K7zjG1iuuWPoOkqCTQYcz6uTa1mTwIMB0zzDH0rMghh8oW JgHLnWo04h48QWbHIvViwOBja//dK8SxGjV6W2HzGGPoFBwXwl3XqHIWHkeYg3dqtGqrljaQ eqWAK88ehBE1dbEL6JLbtPzilATRfztIJLGfmi1mmyxGQegybSLY47nfmwc2GPWD01X2xsL8 yOgMg4zTjykv3qYDDFqEgf3ZFjw9OBltH6hZko9zgXPd084krTpp1gagvuTT/5V1bUB0Ms4g xNzGlv1n9ffCt7b4hFkYL0ZetQlplFOyWPesQV5eJ2mNaFrwFAEIUxxuAv12hN7B58l84Bip W42zAd0NaOT0U9QPzKe05fqP7TLK270tBmxYq/S01va3Z6Y4KAKoPg/rlziukmuGC9Auz1m2 NdNlWOB7JHLBwsOQLr+VUE48xV/rrDeJCI64sKc1HFhN7W1ri6Xw8ggV45Hgl6re9ZSNr/BF RenSZVLQZjzbrZzxR71M0FhXqga7qM/MsK4euHT3aeqOL0lhze6lSFc55g71EuQ9i16Q+qO3 pAfwvje0BHUMlW0xFqnrM3znphJID8IGW/qgynvCpYXfrB4eYcACHu/C8Kwwdp6ipvkWnoe/ 1mmTQBjuofhaV+JYlrx0BcFn0Ucr2ThgTayyz1/ki04hqWY2yPKzuHrdR5BMWlODjoH7x+kM c2/iNYUW1KtZg4imU6+5Er08KNcobx2M2jZRUogkzHeF2h5SePws7ODZ5UK85Y0qWBMV/z6Z 1mGS7n7qh9c0iX5HmIYyippPz2tv5z4mVR9hgf/ZD5yp3TBP9ltzxPe793AVNZe2T0JQCR9g DjTQFO7OpGl8M6VmJHKru2lHzj5B9sDLG+xlN3G6Hbz7HYPY1X3h/2pn9z7DQU2mTT20dVnT 2SArRrxZJXqy7XvNOtmekdyA1qvo8F+G4x4js4xnMRKgSlc1sjTpyNZ1zuuYrA5kerkYXEAR CAG2YvQ6Qnhgwh4K26Rgpn+TjOby9dgYN+zZiUX3Dg85oZEEvTxjvQMkC1rr16/tQ+Ub+J6m 2JXyPAg8DgCnusNuQEs0jS1DbcVEk1VOCXtk1KD6NX0/8A1LC6/NKO90kZzh4XrDbqMukdER Xz9e5wjAT5Y4cJ4P1bB1XTy7sfvf9yaPrdx/lWE1hzHieZSMpc4kPEH0DFmNWzKtnog0+cnj BZq0MLyrM2dJm5q5q78Hg9AO2i/eZYI4j+0x/U7/I7ez8W1E55mADlOQJb4UafiDmcJrfq+f weWTG9n9zHCSOKZR1PArh8h9S6HEoj3ZS/LYiNClpM7GkHbfAsG0WV2FH07hsJrSF7snZS7N h8/vndLvhb5skcelLwubUWuFDeH4l/vMG98SYDDfkUMqFgeoR6Ea4rGqbsjekMQtpy58F7Sd irCPVkOVSdRHRXaT1H7Yuv3vYmGqrfHQLr4d7yUOP2PsbAMDqjTg8v+js0+uW7Lb5vqXDEqD uVniBAbDDYpRoKAwWVJE2tOyGrMd5LJ/k7ivHAn6JnuqrKzH1u+rYqXV+kIaIspoUvnx/zZc bbX3XccS34QwJoIwTWgJKE3+lkUhmkucjCsFe9FrivRVOfLnbcRCRcHaiR1Pc8O7qQm3wALN 9SJwtXynqV1iPI4ETInHRToh92paMoWImq8KEKPBUCFM66DLCHKxMe/aL21SLlZhuFZ/xOqv jPTH0jmNzWF3z7nMnLneflLlz2eNQdCtZuVdx9sDS37ToujZEHmdtBwijIyzPs/gXaLfW8QP D5gcl9c+72d6SQL55c3U2dF73djMayFg3PDt7ieestQ66I1RHgpxIc4qDwgxrBY7T9JXqlwk SrW9Zt1pk2+1/KI0nxhWQZPrTBCgMSKu19jMOPX7MolOz6M8RQT4GGXExlPqcFiD4iluqte0 p7Xiaj3KTxD78P88swbCMzZLcuGNDwqNh+jS1u2REMVCCWmM23SnRkXiPaJ6nictYQ3sLDpk ZsKD6dZDRk7Sq5cBUNiE9gPZpxwW3l39NzTxN5N7n24oh7LQcxctZ2STfOeD8LkLzOBhKVFb R8FqVsZBYEaN4m+w047L1cmwcLFHE3fWd0LqSpkPFdcSKBl/395QWk+3kvkbkWm53pBTZZcc TY5jQxxZeko/TbopVwwIwiTzBY=
Ironport-sdr: 64cb4888_ihixQul3g6Gh4azaIVrgce+JeHfyMwb9i5rLRmL9BN6stPc /HNd3602UCeVfGrOdwllEZE4PUMBIbl+JXOAgMg==

=====================================================================
Call for Participation

The 28th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2023) and
affiliated events

https://icfp23.sigplan.org
Seattle, USA; Sep 4-9, 2023
=====================================================================

ICFP is a celebration of the art and science of functional
programming, providing a forum for researchers and developers to
engage on a variety of topics, from foundations to features, and from
abstraction to application.

You are invited to participate in a full week dedicated to functional
programming, featuring the ICFP main conference as well as several
other related events.

* Accepted Papers:
https://icfp23.sigplan.org/track/icfp-2023-papers#event-overview

* Registration:
https://icfp23.sigplan.org/attending/registration
The early-bird deadline is August 5, 2023

* Hotel: The Westin Seattle
https://icfp23.sigplan.org/venue/icfp-2023-venue
Conference hotel reservation cutoff: August 11, 2023

There are several events affiliated with ICFP:

September 4
Erlang
- https://icfp23.sigplan.org/home/erlang-2023
FHPN
- https://icfp23.sigplan.org/home/FHPNC-2023
HIW
- https://icfp23.sigplan.org/home/hiw-2023
HOPE
- https://icfp23.sigplan.org/home/hope-2023
PLMW
- https://icfp23.sigplan.org/track/plmw-icfp-2023
TyDe
- https://icfp23.sigplan.org/home/TyDe-2023

September 5-7
ICFP - Main conference

September 8
Haskell
- https://icfp23.sigplan.org/home/haskellsymp-2023
FARM
- https://icfp23.sigplan.org/home/farm-2023
FUNARCH
- https://icfp23.sigplan.org/home/FUNARCH-2023
ML
- https://icfp23.sigplan.org/home/mlworkshop-2023
miniKanren
- https://icfp23.sigplan.org/home/minikanren-2023
Tutorial: Vehicle, A Specification Language for Neural Network Properties
Tutorial: Porting Lwt applications to OCaml 5 and Eio

September 9
Haskell
- https://icfp23.sigplan.org/home/haskellsymp-2023
Scheme
- https://icfp23.sigplan.org/home/scheme-2023
OCaml
- https://icfp23.sigplan.org/home/ocaml-2023
DeclMed
- https://icfp23.sigplan.org/home/declmed-2023
Tutorial: Teaching and Learning Compilers Incrementally
Tutorial: Teaching functional programming

Conference organizers:

https://icfp23.sigplan.org/committee/icfp-2023-organizing-committee

=====================================================================

[Coq-Club] ICFP 2023: Call for Participation, ICFP Publicity, 08/03/2023