OCaml 2017 將以三位 OCaml 實作的頻繁貢獻者（近期成為維護者）的邀請演講作為開場：David Allsopp (影片)、Florian Angeletti (影片) 和 Sébastien Hinderer (影片)。
由於高品質的投稿數量眾多，為了配合一天的行程，我們不得不比以往的版本增加更多的海報展示。
徵求發表（已截止）
範圍
演講和討論將側重於 OCaml 程式語言及其社群。我們的目標是徵集關於改進語言及其程式設計環境的使用或開發各個方面的演講，包括但不限於：
-
編譯器開發、新的後端、執行期和架構
-
實際的類型系統改進，例如（但不限於）GADTs、第一級模組、泛型程式設計或依賴類型
-
新的函式庫或應用程式發佈，以及它們的設計原理
-
工具和基礎架構服務，以及它們的增強功能
-
OCaml 顯著的工業或實驗性用途，或在不尋常情況下的部署。
簡報
這將是一場非正式的會議，沒有正式的議程。簡報材料將在研討會首頁上線上提供。簡報可能會被錄製，並在稍後提供。
主要的簡報形式是研討會演講，傳統上長約 20 分鐘，外加問答時間，但我們在研討會期間也有海報展示環節——這允許展示更多不同的工作，並提供討論的時間。程式委員會將決定哪些簡報應以海報或演講形式呈現。
投稿
要投稿演講，請在 https://icfp-ocaml17.hotcrp.com/ 註冊一份關於演講的描述（約 2 頁長），清楚說明演講將提供的內容：所解決的問題、提出的解決方案或方法。
LaTeX 產生的 PDF 是一種常見且受歡迎的投稿格式。為了方便存取，我們要求 PDF 投稿者也以文字格式提供其投稿的原始碼，例如 .tex 原始碼。審稿人可以閱讀提交的 PDF 或文字版本。
ML 系列研討會和後續論文集
前一天舉行的 ML 系列研討會處理 ML 風格程式設計和類型系統的普遍問題，重點在更偏重研究導向的工作，而較少針對特定語言（OCaml）。兩個研討會之間存在重疊，過去我們偶爾會將簡報從一個研討會轉移到另一個研討會。我們鼓勵認為其投稿適合這兩個研討會的作者在投稿時提及，和/或聯繫程式委員會主席。
我們計劃出版聯合的後續論文集，並邀請選定簡報的作者擴展他們的摘要以供收錄。
問題和聯繫方式
如有任何問題，請發送至主席：Gabriel Scherer <gabriel.scherer@gmail.com>
2017 年 5 月 31 日
摘要投稿截止日期（任何時區）
2017 年 6 月 28 日
作者通知
2017 年 9 月 8 日
OCaml 研討會
簡報 (15)
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(東北大學, 美國)