征文 (往期)
范围
演讲和讨论将侧重于 OCaml 编程语言及其社区。我们的目标是征集与改进语言及其编程环境的使用或开发相关的各个方面的演讲，例如（但不限于）
-
编译器开发、新的后端、运行时和架构
-
实用的类型系统改进，例如（但不限于）GADTs、一等模块、泛型编程或依赖类型
-
新的库或应用程序发布及其设计原理
-
工具和基础设施服务及其增强功能
-
OCaml 的突出工业或实验用途，或在非常规情况下的部署。
演讲
这将是一个非正式的会议，没有正式的会议记录。演讲材料将从研讨会主页上在线获取。演讲可能会被录制，并在稍后时间提供。
主要的演讲形式是研讨会演讲，传统上大约 20 分钟，加上问答时间，但我们还在研讨会期间安排了海报环节——这使得可以展示更多样化的工作，并为讨论留出时间。程序委员会将决定哪些演讲应以海报或演讲的形式进行。
提交
要提交演讲，请在 https://icfp-ocaml17.hotcrp.com/ 注册演讲的描述（约 2 页长），并提供清晰的陈述演讲将提供的内容：解决的问题、提出的解决方案或方法。如果您希望进行演示或需要任何特殊设置，我们将尽最大努力满足您的需求。
LaTeX 生成的 PDF 是常见且受欢迎的提交格式。出于可访问性的目的，我们要求 PDF 提交者也以文本格式提供其提交的源代码，例如 .tex 源代码。审稿人可以阅读提交的 PDF 或文本版本。
ML 家族研讨会和后续论文集
前一天举行的 ML 家族研讨会将探讨 ML 风格编程和类型系统的通用问题，并被视为更偏向于研究。然而，它与 OCaml 研讨会存在重叠，我们热衷于探索这一点，例如通过举行一个共同的会议。作者如果认为他们的提交适合这两个研讨会，则鼓励他们在提交时提及或联系程序主席。
作为另一种合作形式，来自这两个研讨会的精选论文的联合后续论文集将发表在《电子理论计算机科学论文集》系列中。程序委员会将邀请选定演讲的感兴趣作者扩展其摘要，以将其纳入论文集中。提交将根据出版物的标准进行审查。
问题和联系方式
如果您有任何疑问，请发送电子邮件至：Jacques Garrigue
2014 年 9 月 9 日
添加幻灯片链接
2014 年 9 月 7 日
演讲视频链接已添加到程序中
2014 年 8 月 24 日
在程序中添加摘要
2014 年 7 月 4 日
初步程序
2014 年 5 月 20 日
截止日期延长至 5 月 23 日星期五，UTC-11 23:59
2014 年 5 月 16 日
精确截止日期为 5 月 19 日，UTC-11 23:59（即 5 月 20 日 10:59 UTC）
2014 年 5 月 7 日
发送了最后的征文通知。截止日期为 5 月 19 日
2014 年 4 月 24 日
提交网站现已开放
2014 年 2 月 10 日
研讨会公告
2014 年 9 月 5 日
研讨会
演讲 (18)
OCaml 平台 v1.0
作者：Anil Madhavapeddy、Amir Chaudhry、Jeremie Diminio、Thomas Gazagnaire、Louis Gesbert、Thomas Leonard、David Sheets、Mark Shinwell、Leo White、Jeremy Yallop
Irminsule；一个分支一致的分布式库数据库
作者：Thomas Gazagnaire、Amir Chaudhry、Anil Madhavapeddy、Richard Mortier、David Scott、David Sheets、Gregory Tsipenyuk、Jon Crowcroft
使用偏好设置来管理你的包管理器
作者：Roberto Di Cosmo、Pietro Abate、Stefano Zacchiroli、Fabrice Le Fessant、Louis Gesbert
会议详情
程序委员会
•Esther Baruk(LexiFi，法国)
•Jacques Garrigue(名古屋大学，日本 (主席))
•Oleg Kiselyov(蒙特雷，加利福尼亚州，美国)
•Pierre Letouzey(巴黎第七大学，法国)
•Luc Maranget(INRIA 巴黎-罗克昂库尔，法国)
•Keisuke Nakano(电气通信大学，日本)
•Yoann Padioleau(Facebook，美国)
•Andreas Rossberg(谷歌，德国)
•Julien Signoles(CEA LIST，法国)
•Leo White(剑桥大学，英国)