範圍
簡報和討論將聚焦於 OCaml 程式語言及其社群。我們的目標是徵求關於改進語言及其程式設計環境的使用或開發各方面的演講，包括但不限於：
-
編譯器開發、新的後端、執行階段和架構
-
實用的型別系統改進，例如（但不限於）GADTs、first-class 模組、泛型程式設計或依賴型別
-
新的函式庫或應用程式發布，及其設計原理
-
工具和基礎設施服務，及其增強功能
-
OCaml 在重要工業或實驗用途，或在不尋常情況下的部署。
簡報
這將是一場非正式會議，沒有正式的會議紀錄。簡報資料將於研討會首頁線上提供。簡報可能會被錄影，並在稍後時間提供。
主要的簡報形式是研討會演講，傳統上約 20 分鐘長，加上問答時間，但我們在研討會期間也有海報展示環節——這允許展示更多樣化的工作，並提供討論的時間。計畫委員會將決定哪些簡報應以海報或演講形式進行。
提交
要提交簡報，請在 https://icfp-ocaml17.hotcrp.com/ 註冊一個關於演講的描述（約 2 頁長），清楚說明簡報將提供的內容：所解決的問題、所提出的解決方案或方法。如果您希望進行演示或需要任何特殊設定，我們將盡力配合您。
LaTeX 生成的 PDF 是一種常見且受歡迎的提交格式。為了方便存取，我們要求提交 PDF 的人也提供其提交的文字格式來源，例如 .tex 來源。審稿人可以閱讀提交的 PDF 或文字版本。
ML 系列研討會與會後論文集
前一天舉行的 ML 系列研討會處理 ML 風格程式設計和海報系統的一般問題，並且被認為更具研究導向。然而，OCaml 研討會與其有重疊之處，我們很樂意探索，例如舉辦聯合會議。鼓勵認為其提交內容適合兩個研討會的作者在提交時提及或聯繫計畫主席。
可能會選出兩個研討會的論文合併成會後論文集。
問題與聯繫方式
如有任何問題，請發送電子郵件至主席：mshinwell -at- janestreet.com
2016 年 6 月 20 日
演講提案提交截止日期
2016 年 7 月 18 日
作者通知
2016 年 9 月 23 日
OCaml 研討會
簡報 (15)
OPAM-builder：持續監控 OPAM 儲存庫
作者：Fabrice Le Fessant
OCaml 中靜態分析記憶體
作者：Jacques-Henri Jourdan
Inuit 函式庫：從 printf 到互動式使用者介面
作者：Frédéric Bour
ocp-lint，具有語義修補程式的基於外掛程式的樣式檢查器
作者：Çagdas Bozman, Théophane Hufschmitt, Michael Laporte, Fabrice Le Fessant
部分求值和元程式設計
作者：Pierre Chambart
會議詳情
計畫委員會
•淺井健一(御茶水女子大學，日本)
•Oleg Kiselyov(東北大學，日本)
•Igor Pikovets(Ahrefs Research，美國)
•Mindy Preston(Docker，英國)
•Gabriel Scherer(東北大學，美國)
•Mark Shinwell(Jane Street Europe，英國 (主席))
•KC Sivaramakrishnan(劍橋大學，英國)
•Jerome Vouillon(PPS，法國)
•Jordan Walke(Facebook，美國)