2017 年 OCaml 研讨会将以三位经常贡献并最近成为 OCaml 实现维护者的邀请演讲开场：David Allsopp（视频）、Florian Angeletti（视频）和 Sébastien Hinderer（视频）。
由于提交了大量高质量的投稿，为了适应一天的日程安排，我们不得不比往届设置更多的海报展示。
演讲和讨论将集中在 OCaml 编程语言及其社区。我们的目标是征集关于改进该语言及其编程环境的使用或开发的所有方面的演讲，包括但不限于：
-
编译器开发、新的后端、运行时和架构
-
实用类型系统的改进，例如（但不限于）GADT、一等模块、泛型编程或依赖类型
-
新的库或应用程序版本及其设计原理
-
工具和基础设施服务及其增强
-
OCaml 的突出工业或实验用途，或在特殊情况下的部署。
这将是一次非正式会议，没有正式的会议记录。演讲材料将从研讨会主页在线提供。演讲可能会被录制，并在稍后提供。
主要的演讲形式是研讨会演讲，传统上大约 20 分钟，加上提问时间，但我们也在研讨会期间有一个海报展示环节——这允许展示更多不同的工作，并提供讨论时间。程序委员会将决定哪些演讲应该以海报或演讲的形式进行。
要提交演讲稿，请在 https://icfp-ocaml17.hotcrp.com/ 注册演讲稿的描述（约 2 页），并清晰地说明演讲稿将提供的内容：要解决的问题、提出的解决方案或方法。
LaTeX 生成的 PDF 文件是一种常见且受欢迎的提交格式。出于可访问性的考虑，我们要求 PDF 提交者还以文本格式（例如 .tex 源文件）提供其提交的源文件。审稿人可以阅读提交的 PDF 或文本版本。
前一天举行的 ML 系列研讨会讨论了 ML 风格编程和类型系统的一般问题，重点关注更偏向研究的工作，这些工作对特定语言（OCaml）的针对性较低。这两个研讨会之间存在重叠，过去我们偶尔会将演讲稿从一个研讨会转移到另一个研讨会。如果作者认为他们的投稿适合这两个研讨会，我们鼓励他们在提交时提及和/或联系程序主席。
我们计划出版后续论文合集，并邀请感兴趣的作者扩展他们的摘要以供收录。
如有任何疑问，请联系主席：Gabriel Scherer <[email protected]>
2017 年 5 月 31 日
摘要提交截止日期（任何时区）
2017 年 6 月 28 日
作者通知
2017 年 9 月 8 日
OCaml 研讨会
演讲 (15)
OCaml 的 B 树库
作者：Tom Ridge
Tezos：OCaml 加密账本
作者：Benjamin Canou, Grégoire Henry, Pierre Chambart, Fabrice Le Fessant, Arthur Breitman
Jbuilder：OCaml 开发的现代方法
作者：Jeremie Dimino, Mark Shinwell
会议详情
程序委员会
•Ashish Agarwal（美国 Solvuu）
•François Bobot（法国 CEA）
•Frédéric Bour（法国 OCaml Labs）
•Cristiano Calcagno（英国 Facebook）
•Louis Gesbert（法国 OcamlPro）
•Sébastien Hinderer（法国 INRIA）
•Atsushi Igarashi（日本京都大学）
•Oleg Kiselyov（日本东北大学）
•Julia Lawall（法国 INRIA/LIP6）
•Sam Lindley（英国爱丁堡大学）
•Louis Mandel（美国 IBM 研究院）
•Zoe Paraskevopoulou（美国普林斯顿大学）
•Gabriel Scherer（美国东北大学）