coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] OCAML'25: The OCaml Users and Developers Workshop - Second Call for Papers
Chronological Thread
- From: "Kiran (She/Her)" <mail AT kirancodes.me>
- To: coq-club AT inria.fr
- Cc: Yasunari Watanabe <w AT yasunari.net>
- Subject: [Coq-Club] OCAML'25: The OCaml Users and Developers Workshop - Second Call for Papers
- Date: Wed, 07 May 2025 15:14:28 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail AT kirancodes.me; spf=Pass smtp.mailfrom=mail AT kirancodes.me; spf=Pass smtp.helo=postmaster AT mail-10626.protonmail.ch
- Feedback-id: 115135462:user:proton
- Ironport-data: A9a23:7GK4/a9P9bXG2w5p/pZWDrUDc3qTJUtcMsCJ2f8bNWPcYEJGY0x3z GUeXW+AM6qNZTHxf4hyaojloBgAvcfRztFqTwNorStEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcpWo4ow/jb8k434ayt4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE4a1kHhgNOI4jofcoOW9yr N0mEBQTYUXW7w626OrTpuhEg80iKIyyZN1F5Dd41zbFCvAjSJHHBa7KjTNa9GhhwJkVQLCHP 5RfM2QHgBfoO3WjPn8SAZM6tOSpnHD5eDpUpUnToKdfD237llYoieS1aouJEjCMbfhMvUq6r WDsxl7WEh1KbMyj6WKB/lv504cjmgugBNJJSuzpnhJwu3WYwXVWAxkLX3OgsPyhgwi/XcheI goa4EITQbMa8UWqSpykB0Pi/jicpBkAXNxVGuw+rgqNokbJ3+qHLkpcRCwYU9klj5QnGgQk6 gaooevNGzM65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM5Dz/L/9pbYvXnEYoLLUKlsuAZDw0c1 BihjEADa1g7iMcK0+DipQ6d3XS0vJ/VSQgw7wTTGGmlhu+YWGJHT9LxgbQ4xawaRGp8crVnl CRU8yR5xLxRZaxhbATXHI0w8EiBvp5pygH0j191BIUG/D+w4XOldo04yGgheBk0b5hfIGewP xa7VeZtCHl7YyTCgUhfPNLZNijW5fG9fTgYfqmNNIQSCnSPXFHYpUmCmnJ8L0i2zBh3z/BuU XtqWd62CmodD+xuw1KLqxQ1jtcWKtQF7TqLH/jTlk3/uZLHPSL9YelfbjOmMLtjhIva+1q9z jqqH5fTo/mpeLGnOnGPmWPSRHhWRUUG6Wfe8JwLLrTee1o7cIzjYteIqY4cl0Vet/w9vo/1E ruVAye0EXKu2i2VGhbAcX15drLkULB2qH9xb2RmPk+l1zJnKcyj5bsWPcl/N7Q21v1R/dgtR dk8euKEHqtuTBbD8G8jdpXTltFpWymqogOsBBCbRgYDUaRufTGUxe+8TDDTrHEPKgGVqfoBp 6aR01KHYJgbGCVnIsXkSNOu6FKTp3EtuuJ4Wm3WEPZtamHpqYxLKjPwvNAzMcojORXO/RrE9 ge0UDMzh/jBnJ8xy/bN3Zu7loaOF/dyOmF4Dlvrx++6GgeC91Xy3LIadviDeA7scV/d+YKgV L1z9O79OvhWp2R6mdNwPJgzxJ1v+ua1gaFRyzllO3D5b16LLLdECVve1Oltspx9/JNoiTGUa GmupOYDYa6oPfn7GmE/PAAmN+SP9c8FkwnosMgaHh/I2z9VzpGmD2NpIBi+uA5MJuBUMaQk4 9sbluw41gidsicuY/G61n161mLUNXERcbQVhrdDCq/Rtwcb4FVjY5vdNyzI3K+ye+h8akkEH hLEhY7ppaht+U7ZQn9iSVnPxbV8gLoNijBrzXgDBUi4pd7eosMawztT0G4TSC5ExE59zeh2Y 2hiCFJoFP+B/hNDpstKb0azES5vWTyb/U3QzQMStWv7FkOHaE3EHFcfC82son8L0jt7VScC2 p22xELOcyfYTOuo0gQcAUda+uHeF/pv/Qj8qeWbNsWiHahiRwH6g6WrNFE6mzG+Dewf3ET49 PRXpsBuYqjGNAkVka0xK6+e8Z8yEBmkBmhzcctNzZMzP1P3WW+NgGCVCkWLZMlyCeTA8ha4B +xQN8t/bUmC+xjUnA8LJ5wnAuFSp+Eo1uoga7mwBG8hspmjlBRLnq/U1BDDgD4Mf40zv+c7c pjcZhCTIFy23HF0oVLAnONAG2i/YOQHWjHC4fCIwL0JOq8H4c5RchAU87qrvn+qHhNt0DCKs SjiOaLH7exQ5r59vonrE6wZAxSFFo7xXr6y9Aui7sh8VvLUEML0rwhOgELWDwdXGrowWtpMi rWGtuDs7n7FpLobV2P4mYGLJ5JW5M63YvVbAvj3IFZegyGGfs3muDkHxEyVNr1Ll4l7yvS8Z g7ldva1S8EZa+1dyFJRdSJaNRQXUIbzT6X4oBKCv+a+MQcc3SPHPeGY2yfQN08DTRAxOrr6F gPQkNSt7IoBrI1zWTk1N8s/CJp8eFLeSa8qcuPqjgahD06qv0ijv4Xznh9x+BDJDXi5SPzB2 6znfSSnVhqOu/Dv9up74rxC5khdSD43hOQrZUsS9uJnkz3wXiZMMe0ZNo5AEZ1O1DD70Jbjf jzWcW8+EmPHUC9ZdQnnqsHWNutF6jfi5v+iTtDow6+VV8tyLIaJAb8kr38+uSkwYiHk0OahL Ngf/jv7PnBdB7l3EP0L6KXTbfhPn5vnKrAgoCgRUPAexz4dAK8D0ndmEAdWEynKey0IvFueP nA7HAioX2niIXMc0q9cl7p9GxADtTXkyDkldmGKzb4zfmldIPJokJXCBg047lHPgAnm6lLDq bMbilZhO1yr50E=
- Ironport-hdrordr: A9a23:4rT4/6k9aDMXrXGzZIyHKEGE2s7pDfIF3DAbv31ZSRFFG/Fwwf re5MjztCWE7Qr4Ohkb8+xoXZPsfZqyz/JICOUqUotKJTOW31dAT7sSj7cKoQeBJ8SkzJ8l6U 4IScEXY+EYa2IVsS+Q2njaLz9P+ri6GA/Dv5ak85/AJzsaD52JTm1Ce2CmLnE=
- Ironport-phdr: A9a23:tkbIbx3vF7zaQxtasmDOcw4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeFo601xwWZAtyEo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebgtWiDanfb9+M Bq6oRvSu8QUnIdvKLs6xwfUrHdPZ+lZymRkKE6JkRr7+sm+4oNo/T5Ku/Im+c5AUKH6cLo9Q LdFEjkoMH076dPyuxXbQgSB+nUTUmMNkhpVGAfF9w31Xo3wsiThqOVw3jSRMNDsQrA1XTSi6 LprSAPthSwaOTM17H3bh8pth69dvRmvpQFww5TMbY+bKvRwfr3Qc84ZS2VOQslcTDZODp+5b 4YVE+YNIeRVoo/grFUOtxu+AgysCfvhxjFNh3/2x7c10+I8Gg3CwQIgH8wBvG/WotrrLqceV O65x7TPwDXGdfxW2DP95ZPLchAgu/GDR7RwftbWyUYyCQzFlU+cqYn7MD6M0OkGrmeU4fZ6W +21l24ntx9+oiKpxso0l4TEh5wZx0za+Ch93Io4JMG0RVN4bNOnFJZeuC+XOohqTs4/TW9mt zg3x6MbtJKlfyUEyJsqywDRZfGIboSF7BTuX/ufLzd/gXJqYrO/hxCq/Ei61OL8Tde730xQr iVZktnMrGoB1xvJ6siIUvd9/kCh2SqT2ADJ8uFIO1w7la3eK5I5wb4wl4ATvl7FHiDqn0X5k bGZdl4+9uit9evqZKjtqJyEN4JsiAzzNr4iltGxDOk4KAQCQnSX9OWm2LH9/ED0RqhBg+Myk qnEq5DaOdoUprSkDQ9U04cs9Q6yAyug3d8Fh3cINkhFdwiCj4XxO1HBPvT4DfCnjlSpijhrx vTGMqT8DpnRL3XPjrbscaxl605Gzwoz0ddf55RRCr4bIfLzXlX9u8DYDhMhMgy0xfjoCMll2 44cXW+DGLKVPa3SvFOS++4jP+iBaJULtDv8M/Ql4uThjX49mV8TZ6mp2p4XZWi9Hvt8IkWZZ WHhgtQAEWcQpAU+SvDliFqfXjFNfHa+Rac86S8jBIKgFojMXpqtj6CZ3CenAp1WYXhLBk2UH Xfya4qEQ+sMaD6VIsJ5jjMEUqGhR5Y92hGqqQ/10KFqLvHU+y0drZLszsJ55+zVlREo9Dx7F d6R02+XTzI8omRdTDgvmat7vEZVy1GZ0KE+jeYLO8ZU4qYDcQYgPJiUj9d6BpfSVxiANJ/dT V+nRv2lACs4SNk2z9IVJUNwTYbxxivf1janVudG34eAA4Y5p/q0NxnZIs98zyyDz6w9lxw8R cAJM2S6h6l5/gyVBojTkkzfmbz5Pb8E0nvr82GOhXGLoFkeSBR5BKDMXHQ3ZUrMpNLy4U/PV PmrBOdvKRNPnPaLMbACcdj1lRNDTfbnNs7ZZje0kma0LRWJ3LqKZ43mdn5b2SiOQFMcnVUr9 G2dfRM7Gj/no2/aC2l2EknzZkr37eRkgHayT0txllnUNRMnz6Cy5hkTgPWdT7UY3trooQ8Hr DN5VBa41tPSUZ+bohZ5Ob9bapU76UtG0mTQs0p8OIahJuZsnAxWdQM/pE7o2xhtb+cI2cE3s HMnyhZzIqOEwRtAcT2fx5X5JrzQLCH74hmub6fc3lyW3syR/+8D7/ExqlOruw/MdAJq9nxm1 /FW0mGV4J7NAAcJF5f8Ew42+xV8u7DGc3wl/YqHnXZoMKSyrnrDw4d2Va18kUvmJo8BdvnaR 2qQW4UACsOjKfIngQ2sZxMAZqVJ8bIsetmhfL2A0bKqO+BpmHSni35G6cZzyBHplWI0R+jW0 pIC2/zd0BGAUmK2iV6gtuj0mJpNYzoVEmekjy3pTt00BOU6bcMQBGGiLtfijNB3hprFWH9C/ VioAF8Lw4msdFDBJ0y41gpW20MNpHWhkibt1D14nQYiqa+H1TDPyeDvHPYeElZCX3IqzVLlI IzuyssfQFDtdQ8i0h2s+Uf9waFf4qV5NWjaB0lSLWD6KGRrU634sbTnAYYH7ZoptQ1UUf61Z 1udRrPm5R4Xmy/uBGpRwjkneiri5cS/xkcnzjvFcjAp8jLQYoloyA3a5cDASPI0vHJOXyR+h TTNRxC9M9Sv4dSIhsLGu+G6WXimU84bei3qwIWc8SqjsDI7R0TkwrbqwoOhS1ZptE2zn8NnX ijJshvmN4zi1qDgdPliYlEtHlj3rcxzBoB5lII0wpAWw3kTwJuPrh9l2S/+N8tW3aXmYT8DX zkOlpTQ6Qnh8E5iNHuPzIX1W27bx8YrNLzYKisGnzkw6cxHEvLe6bVFmQN2o0CxqwnWbfVm2 DIQg6hm+DsRhOcHvxAoxyOWD+UJHEVWCifrkgyB89G0qKgEAQTnOaj1zkd1msqtSa2TugwJE misYY8sRGUjptU6Kl/H12f/r53paMWFJ8xGrQWaynKix6BUMM5jz6pXw3U/fz6l+yVikbJzj AQyj8jq4c7YcyMxpeThRUQEfjztO5FKqmyr0v4Ywp3Qh8f1QvADUn0KRMe6EqPuSWlP862/a UDWV2dg4naDReiATEnGsxog9iqQVcjsbS3fJWFFn4w6FV/HfhAZ2lxIGm19xMJcdEjixcrqd Fp162Im/Ub28F1U0OV0MB/6W2bb4gyoIiE9TJzVRPZPxjlL/FydccmX7+YpWjpd4oXktguGb GqSewVPC2gNHE2CHVHqeLe0t5HM9O2RB+z2KPWrA/3GsetFS/KB3o6iyKNj9jeIc5zXYCM8S eUh3VZEW3VwGsCfkDVHRyEMli3LZtKWv1/jq2su9Z35qay1HlixgOnHQ7JJec1i4RW3nbuOO 6aLiSB1JCwZnpIAyHnUyaQOiV4fjyY9PzKpELkGqWvMVPePy+kOVENdMnstcpEWvMdelkFXN MXWi834zOt9h/8xURJeUED539uubooMKn28M1XOAACKMq6HLHvF2ZKSA+v0RLtOgeFTrxD1t yycFhqpOz2CkxHqVgqmN+pLgCyAehlT8tLYEF4lGS34QdTqZwfuesdwliEzyKYoi2niMGcdN X0lKx0X8PuI9yREhfN6Em1FqHFlZ7rh+W7R/6zTLZAYtuFuCyJ/mrdB4Xg0/LBS6TlNWP1/n CaB5s4ruVytlfODjyZ2SBcb4Cgen5qF5A8xXMeRvokFQ3vP+wgBqHmdGwhf7cUwEcXh4uhR0 oSdy/O1cWwftYuMo41GWYDCIcaDehLJ0DLsET/QSVJdE2T1c3nFgFBalvSb93nTpZho8/AEf bINS6VSUlcyGv4BTEFoToRqyHhfXTI+mLiQi8IF/jy7oUuILPg=
- Ironport-sdr: 681b78da_o6FpzAmIhsxI8IARBq9LwzlRXOr1F13ZI4K7HniRCOA5Y4l S/0dpFzTE1nawp8rw4sNfwyVyDOyHgC5z2JNuZQ==
The OCaml Users and Developers Workshop: ACM SIGPLAN Workshop
October 17th, 2025 Singapore, Singapore, and also online.
Call for presentations: https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025
Submission site: https://ocaml2025.hotcrp.com
Talk proposal submission deadline: Thursday July 3rd, 2025
(Please redistribute widely.)
The OCaml Users and Developers Workshop brings together the OCaml
community, including users of OCaml in industry, academia, hobbyists
and the free software community.
OCaml 2025 will be co-located with ICFP/SPLASH 2025, which will take place in
Singapore, Singapore. We aim to organize it as a hybrid event, so that people
can attend and even give talks remotely: talks will be streamed in
real-time, and virtual participants will be able to chat and ask
questions in writing.
### Scope
Presentations and discussions focus on the OCaml programming language as well as the OCaml ecosystem and its community. We aim to solicit talks on all aspects and perspectives related to improving the use or development of the language and its programming environment.
Different aspects include, for example (but are not limited to):
- compiler developments, new backends, runtime and architectures
- practical type system improvements, such as GADTs, first-class modules, generic programming, or dependent types
- new library, tool or application releases, and their design rationales
- tools and infrastructure services, and their enhancements
- prominent industrial or experimental uses of OCaml, or deployments in unusual situations.
Different perspectives include, for example (but are not limited to):
- scientific and/or research-oriented
- engineering and/or user-oriented
- social and/or community-oriented.
### Submission
The submission website is available at: https://ocaml2025.hotcrp.com/
Conference website with full CFP: https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025
Please register a description of the talk (typically 2 pages long; it could also be less or more), a clear description of what will be provided by the presentation: the problems that are addressed, the solutions or methods that are proposed.
LaTeX-produced PDFs are a common and welcome submission format. For accessibility purposes, we ask PDF submitters to also provide the sources of their submission in a textual format, such as .tex sources. Reviewers may read either the submitted PDF or the text version.
- [Coq-Club] OCAML'25: The OCaml Users and Developers Workshop - Second Call for Papers, Kiran (She/Her), 05/07/2025
Archive powered by MHonArc 2.6.19+.