徵求簡報（已截止）
範圍
簡報和討論將著重於 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（即 UTC 5 月 20 日上午 10:59）
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 巴黎-羅肯庫爾，法國)
•中野圭介(電氣通信大學，日本)
•Yoann Padioleau(Facebook，美國)
•Andreas Rossberg(Google，德國)
•Julien Signoles(CEA LIST，法國)
•Leo White(劍橋大學，英國)