coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ningning Xie <xnningxie AT gmail.com>
- To: caml-list AT inria.fr, coq-club AT inria.fr, agda AT lists.chalmers.se, haskell-cafe AT haskell.org, types-announce AT lists.seas.upenn.edu
- Subject: [Coq-Club] Haskell Symposium 2025 Call for Talks (deadline Sept 15th)
- Date: Tue, 2 Sep 2025 14:15:54 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xnningxie AT gmail.com; spf=Pass smtp.mailfrom=xnningxie AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f182.google.com
- Ironport-data: A9a23:de7vA6OOawU/rY/vrR0fk8FynXyQoLVcMsEvi/4bfWQNrUog1zVTz zMZX27Vb63fZ2KkeNkjOtyxpEhV7Z7TyIRrSnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48D8hk/jOHuehYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWckWo4ow/jb8k437ayo4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gvx4xc3B9q5pa3we0sMT6S6FVDmZq1+BsBOKjAbzsAD+v5T2Mg0MS+7uB3V9zxF8 +ihgLTrIesf0gIgr8xGO/VQO3kW0aSrY9YrK1Dn2SCY5xWun3cBX5yCpaz5VGEV0r8fPI1Ay RAXAA8KVindm/ns/LmAW/czgMY7Muv0HKpK7xmMzRmBZRonaZXKQqGP9NUBmTlp1poIEvHZa M4ULzFoaXwsYTUVYgZRWM94xr75wCCvKVW0q3rNzUYzy3jVyg1336jsPfLaf9WLQYNemUPwS mfupT+mW05KaYTBodaD2nOSjMn3rzH1Y5gbN4T//OJDgHqW4HNGXXX6UnPg/KDh1R/gMz5FE GQf8y8q6Kwz71CDVcj4RxT+oXievxdaVcA4O+Y98USGzrfeyx2IA3ANCD9Hct0v8sEsLQHGz XeMltLtQC1l6fibECLHsLiTqjy2NG4eKmpqiTI4oRUt3N7bmd8vlUjzRe1yDvGzjMXrOy7Q6 mXfxMQhvIk7gckO3qS92FnIhTOwu5TEJjLZAC2HAQpJCSspO+aYi5yU1LTN0RpXwG+korSpu XEFn42P5rlLA8jdzmqCR+ICGLzv7PGAWNE9vbKNN8h7n9hO0yfyFWy13N2YDBkzWirjUWGwC HI/QSsLuPdu0IKCNMebmb6ZBcUw1rTHHt/4TP3SZdcmSsEuKVHYoXgzOxfAhTCFfK0QfUcXa cfznSGEXSZyNEib5GDtLwvg+eZ7n3lhnDmLLXwF50r5jeHFNBZ5tovpwHPVM7lhs/LayOkk2 9lYMMSOxl1eVua4ChQ7AqZCRW3m2UMTXMisw+QOLrDrClM/RAkJVaWNqZt/INcNt/oOyY/1E oSVAB4wJKzX3iWfcV3ih7EKQO+HYKuTWlpibHJ0YAvwiyF5CWtthY9GH6YKkXAc3LQL5ZZJo zMtIq1s29wWEmyZqQcOJ4LwtpJjfxmNjAeDdXjtKjsmcpIqA0SD9tb4d0G9vGMDHwimh/sY+ reA7wL8RYZcZgJACM2NVumj4WnstlcgmcVzfXDyHP9tRGvW/rJXdhPB1s0MH5lUKDHo5Cer6 AKNMBJJ+cjPu9AU9ffKt4ClrqCoMe10IWRCFUKG77zsbSj+1UigyL9mT+ynU238VmT12aP6f sRT7aj2H8MmlWZwkbhXMuhU34NnwPDwtZp28x9CHn6WS3iKUJZeemKn2+tLvY1zno5pgxO8A B+zy4MLKIe3N9PAO39PARguccCo9+wewxvW5tQLeHTK3jd9pue7YB8DLiu3qXJvKZVuO9kY2 sYngskd7jK/hjcMMtqriiN19XyGHkcfUpcI540rP4v2tjUFkl1yQ4TQKivT0qG9b99hNkoLI DjNoIHgg79a5FTJclttNHzr8Ndeu68zu0Fx/AdfH2iKp9vLve9o/Rtz9T9scB9Z4C8a2M1OO 09qFXZPG4OwwxlSivNuYUWQCiBaJRjA+kXO21oDz2LYaE+zV13yFm42OMfT3UVA82tjYSRWw 5CI7FnUQRHGXdzDhHosaxR1r9jma8J7zSzZucWdB8/eNYILUTnkpa6PZGQztBrsB/0qtnDHv eVH+OVRa7XxEDw5+YkXKtC9++wLaRamIGdif6lQzJkRFzuBRADoiCm8FU+hX+hsedrIyBacI O5zLJttUx+e6n6/ngoDD/RRH44uze8b3/tcSLbFPmVcjqC+qABuu5fu9iTTom8nbtFtsMQlI LPqaDOwPT2MtERQhlPygpFICkigbfkAQT/M7uS/3eEKNpAE6cVHU0U51JmqtHS0bipj2T+pv z34WqyH9Nw6lLxQnLbtHJ5TWCSyC9f4D9qT/C6J7t9hUNLoMOX1jT0zlGXJBQptEIEqa4xFr ojV6N/T92HZjYkySFHcysWgFbEWxMCcX9h3E8PQLVtclxSsQMXHvhkJoTi5Dbdrk9ptwNata CXlScm3dP8TA8x8wl8MYQdgMh8tMYbFRYa+mjGc9tOnFQo4/THcCtGsqFvFTDt+SHcTGpvcD gTUha6f1upApt4ROC5eVuBUPZBoBXTCB440fMLVnhuFBDCKhliihOPTpSA442uWNkjeQdfI2 rObdB3Qbx/ohbrpyuteuIlMvhE6KnZxrO0zX0AF8e5NlDGIIz8aHNsZLKk5JMlYog7q2LH8Q QP9Xm8oJCH+fDZDKDHXwtDoWCWBDe0vZPb9ABEU/H2vViTnP7PYXYNd9Rph7UkvK3GnhKuiJ MoF83L9Agmpz9s7DawP7/i8mqF8yumc2nsM/lvnntfvBwoFR48Hz2FlABEHQBmv/xshT6kXD TNdqaF4rECHpYrZFM9hfztEEkhcsmq/lXMnaiCAxNuZsIKepAGFJDsTJMmruoDvruxTTFLNe Z8zb2SI6mGSnHcUvMPFfvo31LRsB6vj8teSdcfeqM57o010wmsiNsIG2yEISanOPeKZ/0z1z lGR3pT1OKhJxI29FlFbJcXlNq+dik4xMgw=
- Ironport-hdrordr: A9a23:7PDw+aBE8N22zdLlHelk55DYdb4zR+YMi2TDtnoBMSC9F/bzqy nApoV/6faZskdyZJhCo6HiBEDjewK6yXcd2+B4VotKNzOW3ldAQrsSlLfK8nnOHTbh/vVR2a olX691E83oEFR25PyX3CCIV/glhPaK+L21nuvFpk0dKT1CWuVP60NWBG+gfHGehzMoOXP6Lv ehDwZ8xgZIsE52UviG
- Ironport-phdr: A9a23:92nDAh1dSQ8e0By1smDORA0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeEo60xxw6VFcWDsrQY0LGQ6/uhEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTWDdErvBQhd+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuMcbjZF+Jqs+xRfEpnRFcPlSyW90OF6fhRnx68m+8ZJ57yhdtfct/NNcXKvneKg1U bNXADM6Pm4v+cblrwPDTQyB5nsdVmUZjB9FCBXb4R/5Q5n8rDL0uvJy1ieCMsL6VK45Vzu/4 atzRxDmlCkINzgi8GHKkcNwl75UoAigpxNk3YHZZpyeOedkcaPcedMaQndBXtpUWidcDI6wc 5cDAuwcNutesoLzpUYBrQGmCAajBO3hxDxGiGLo06ImyOkuCx3K0RY6Et4SrHjZrtP4P7oSX +Cvy6nIyC3OYetX2Tf754jIdBEhofeDXbltcMXRyFcgHB7Cg1Sfr4zlOTKV1uICs2mU7upvS /mii2Eiqw5rozivwt0ghZXOhoIQ013J8zhyz4kpK9OiUkF7fcKkH4VKtyGcL4Z6XswsT31nt Ss+yLAIt5q2cSwIxZg52xLSb/KKf5aW7x/jV+ucLzV1iXF5db+9mhu+71atxvH/W8S70ltHr SpLn9/RvX4D0BzT79KISvp7/kq5wzaAyRvT5f9eLkAuiaXbK4QhzqQ3lpoJvkTPBi/2mELqj KCKbEUk4vKk5PjgYrXjoJKXKox6ihnmP6gwhsCyBf40PwsOUmSB5+iwybnu8VfkTLhJkPE7l LTSvorAKsQBvKG5BhdY0oY95Ba7CDeryNEYkmMGLFJBYR6Gj5PmN0zXLPD2EPuygEqgnC1kx /DBOb3hDZHNIWbZnLj9erZ97lZQyAs1zd9B+5JZEq8NLO73V0Prt9HVDgU1PxKpz+vjEtlxy 4ATVXyXDq+cKqzSsFuI5uw1I+mLYY8YoDn8K/4j5/7vi385llAcfai30pYMZ3C4G+5pI0SdY Xb2ntgBFmIKshIkTOP2kF2CTSJTZ3GqUq0g/D47DYamAZ7HRoCsm7yBwDy2HoZWZ2BDElCDC 23kd4SCW/cWaSKdONVtkjIeVbS5UY8uyQmutBPmy7pgNufb5ioYtYv62Ndp4+3TiAo9+CdvD 8Wd1mGNV3t7knkJRz8wxqB/oFZyxk2N0ahim/BYE8dc6OtTUggmLZ7c0/B6C9fqVw7fZtuJR 0ipQtKlDz8rVt8+zcIAb15nG9q8kBDN3DCkDqcQl7ORBZw09rvQ3njqKMpg0nrG2rQtglo4T sdVOm2mgal/9wfXB4HXiUmWi6GqdaEE0CHQ92eDzG+OsVlAXgB/X6rLQ2wRa1fQo9jh+0zCS qWhCa47PQZZ0cCMM7NEZNLxgVVdXPfjNszTbXitlmmtGBiE3qiMbJLke2oF3CXSFkwEkwcL8 HieLAYwHiiv8CriC2llHFfrJkft6vVWqXWhT0ZywRvOJ0Zmzv++/gMfrf2aUfIamLwe/G8op Dl9NFK8xM7NTdGArg5kcb9HJ8gwpB9H3Hnaugh5e5epIa1KhlcFcAlzuwXpzRozQplRicUx6 Xosyg1vL6mV+FdAbC+Dm4v9M6aRN3H/+hbpZqLLiX/E19PD3KYJ5/I5rVqrjACkXh4y9XNm1 dZF0na06ZDDDQ5UWpX0BBVkvyNmrq3XN3Fur7jf0mdhZPHcWl7q3tsoALFg0RO8Z5JFN6jCE gbuEsocDszoKeowmlHvYAhXdPtK+vsSOMWrP+CDxLbtJPxpySKgi2VB75B832qD8iN9TqjD2 JNWi+qA0F6/XiznxEykrtixnIlFYT8IGW/q2S7iBYhedqx/VYkOAGaqZcaww4Y2nIbjDlhf8 lPrHFYawImpdB6VOkT6xhFV3F8LrGaPnCK5y3llmWhsoPPPhmrBxOPtcBdBMWlOLIV7pXHrJ 4X8z9UTXUzyKhMsiAPg/0Hxga5SuKV4KWDXB0ZOZSn/aW94AOO2sfKZbshD5YlN020fWfmgY V2cVr/2ogcLmyLlEWxEwTkndjas8pznlh1+gWiZIT59tn3cMc13wB7e4pTbS5szlnIWQi95j zbHB1WUMNyg/NHSnJDG86i/W2+nSpxPYHzz14rT/CC/5GBsHVi+h6XpwoyhQVV8i3aqkYA6D 3atzl60eITg2qWkPPgye0BpAAW58M9mAsRklYB2gpgM2H8cj5HT/HwdkG61P88IvMC2JHcLW zMPxMbYpQb/30g2ZGKPwYP/WWWcz+NuYtC7ZiUd3Sd3vKUoQO+EqadJmyd4uA/yvQTXYP5yj jYQ4fQr4X8exeoOvUB+hjXYCbcUE05COCXqnBnd9NGyopJcY2O3eKSx3k5z9Ty4JImLuRoUG HPwe5N4WDR18t06KlXHlnv69oDjftDUK9MVrByd1Rna3aBZL5c4l/xCgiQCWyq1rXsjyug0n R1j9Z6/tYmDbW5q+eq1DwVZOTv8e84Ismu13OAOw4DMhtHpR8U7UjwQFIPlV/epDC4fuZGFf 06VHTswp23aUbvTEAmD6Vt3+nfGEpSlLXaSdzESydRvQgXYJVQK2lhFGmVn2MRgR0bzlJayF SUxrioc7VP5tBZWn+dhNh2lF3zauB/tcDA/Dp6WMBtR6AhGoUbTK82XqOxpTEQ6ttWsqhKAL muDakFGF2YMDwaUAVbiOLa+5NTo/O2RB+74JPzLK+bry6QWR7KTyJSj35EztSaKMMSJMWljA tU030NCWTZyHMGTyFBtA2QH0inKacCcvhK1/CZ6+9u+/PrcUwXq/YKTCrFWPIYn61WsjKyEL eLVmDdhJGMSyMYX3XGRgut6vhZam2R0ejKqC7hFqSPdUPeahPpMFxBCIyJraJkXs+RlhFQLY YiDzYqrnr9g0qxsVAwDDA293JnvPYtTfQTffBvGHBrZbuzXY22WhZitMeXkDuQPxORM60/q4 GjdTh+lZ2XZ0WGuDkHnMPkQ3nvCYloE49D7KUwrUS+6HbeEIlWtOdtzx1Xa2JUSgXXHfS4ZO Dl4KQZWq6GIqDlfibN5EnBA6XxsKa+FnTyY5q/WMMRet/wjGSlym+9AhRZyg7JI8CFJQuB0k yrOv5ZvpV+hiOyG1jtgVlJHtD9KgIuBuUgqN7/e89FMXnPN/RRF6mv1aVxCv9x+FtjmoLxd0 PDKnaP3bSZIqpfapJtGQcfTL82DPTwqNh+oUD/YAQ0ZTCK6YGHSg0sO9ZPavnaRr5U8tt3tg M9UEu4dBAFzTKpLTB01Ro9nQt8/RD4vnL+FgdRd4HO/qEOUX8BGptXdUfnUB/zzKTGfhL0CZ h0SwLq+I55AU++zk0FkdFR+m5zHXkTKWtUY6D1naA4yr1VM/VBxS2Qy3wTubQbnsxpxXbak2 wU7jAdze7Fn7DD3/1I+PUbHvgM1mUg13MTv2HWfKW6raqi3Wo5SBmz/sE17YfaZC05lKAa1m 0JjLjLNQblc2qBheW5cgwjZoZJTGPRYQMWsjzcfwPiWY7Mj1lEO801PIGdI4OLEDd1pkw54K fZETlpF0gNnKc8/fOneffoTiFdXga2Ks2mj0eVjmGcj
- Ironport-sdr: 68b73467_iszVPl43YpLmh2s/hS9LLj62bJegIv4MT3XANPYFbpAqsPe w7Z1DdTXvtu3nmx24JsLu0541hZX2Rxt8M9x7KQ==
========================================================
Haskell Symposium 2025 Call for Talks
Thu 16 - Fri 17 Oct 2025, Singapore
https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025
========================================================
The ACM SIGPLAN Haskell Symposium 2025 will be co-located with the 2025 International Conference on Functional Programming (ICFP) and the 2025 International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH).
The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming.
We invite proposals from potential speakers for talks. Talk proposals should report work in progress relevant to Haskell language design, theory, tools, or applications.
Haskell Symposium 2025 Call for Talks
Thu 16 - Fri 17 Oct 2025, Singapore
https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025
========================================================
The ACM SIGPLAN Haskell Symposium 2025 will be co-located with the 2025 International Conference on Functional Programming (ICFP) and the 2025 International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH).
The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming.
We invite proposals from potential speakers for talks. Talk proposals should report work in progress relevant to Haskell language design, theory, tools, or applications.
Talks are proposed by submitting an abstract. Please submit a talk title and abstract of no more than 300 words. There will be no published proceedings.
Papers should be submitted through HotCRP at: https://haskell25.hotcrp.com/
Submission deadline: 15 September 2025 (Mon)
Deadlines are valid anywhere on Earth.
Talk proposals will go through a lightweight reviewing process, evaluated by the PC for relevance to the Haskell community, but are not expected to include finished results. Talk proposals will not be distributed to attendees, but authors of talk proposals may provide links to materials to be included on the program.
Topics of interest include:
* Language design, with a focus on possible extensions and modifications of
Haskell as well as critical discussions of the status quo;
* Theory, such as formal semantics of the present language or future
extensions, type systems, effects, metatheory, and foundations for
program analysis and transformation;
* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and distributed
architectures, memory management, as well as foreign function and
component interfaces;
* Libraries, that demonstrate new ideas or techniques for functional
programming in Haskell;
* Tools, such as profilers, tracers, debuggers, preprocessors,
and testing tools;
* Applications, to scientific and symbolic computing, databases, multimedia,
telecommunication, the web, and so forth;
* Experience Reports, to document general practice and experience in
education, industry, or other contexts;
* System Demonstrations, based on running software rather than novel
research results.
* Language design, with a focus on possible extensions and modifications of
Haskell as well as critical discussions of the status quo;
* Theory, such as formal semantics of the present language or future
extensions, type systems, effects, metatheory, and foundations for
program analysis and transformation;
* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and distributed
architectures, memory management, as well as foreign function and
component interfaces;
* Libraries, that demonstrate new ideas or techniques for functional
programming in Haskell;
* Tools, such as profilers, tracers, debuggers, preprocessors,
and testing tools;
* Applications, to scientific and symbolic computing, databases, multimedia,
telecommunication, the web, and so forth;
* Experience Reports, to document general practice and experience in
education, industry, or other contexts;
* System Demonstrations, based on running software rather than novel
research results.
- [Coq-Club] Haskell Symposium 2025 Call for Talks (deadline Sept 15th), Ningning Xie, 09/02/2025
Archive powered by MHonArc 2.6.19+.