Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan

The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. Previous editions have been colocated with ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, following the OCaml Meetings that ran until 2011.

The home page for this workshop can be found here: http://ocaml.org/meetings/ocaml/2016/

Fri 23 Sep

ocaml-2016-papers
09:09 - 10:25: OCaml - Session 1 at Conference Room 1
ocaml-2016-papers147461454000009:09 - 09:10
Day opening
ocaml-2016-papers147461460000009:10 - 09:35
Talk
ocaml-2016-papers147461610000009:35 - 10:00
Talk
ocaml-2016-papers147461760000010:00 - 10:25
Talk
ocaml-2016-papers
10:40 - 11:30: OCaml - Session 2 at Conference Room 1
ocaml-2016-papers147462000000010:40 - 11:05
Talk
ocaml-2016-papers147462150000011:05 - 11:30
Talk
ocaml-2016-papers
11:45 - 12:35: OCaml - Session 3 at Conference Room 1
ocaml-2016-papers147462390000011:45 - 12:10
Talk
ocaml-2016-papers147462540000012:10 - 12:35
Talk
ocaml-2016-papers
14:00 - 14:50: OCaml - Session 4 at Conference Room 1
ocaml-2016-papers147463200000014:00 - 14:25
Talk
ocaml-2016-papers147463350000014:25 - 14:50
Talk
ocaml-2016-papers
15:20 - 16:10: OCaml - Session 5 at Conference Room 1
ocaml-2016-papers147463680000015:20 - 15:45
Talk
ocaml-2016-papers147463830000015:45 - 16:10
Talk
ocaml-2016-papers
16:10 - 17:05: OCaml - Break and Poster Session at Conference Room 1
ocaml-2016-papers147463980000016:10 - 16:28
ocaml-2016-papers147464090000016:28 - 16:46
ocaml-2016-papers147464200000016:46 - 17:05
ocaml-2016-papers
17:05 - 18:00: OCaml - Session 6 at Conference Room 1
ocaml-2016-papers147464310000017:05 - 17:30
Talk
ocaml-2016-papers147464460000017:30 - 17:55
Talk
ocaml-2016-papers147464610000017:55 - 18:00
Day closing

Submission

It will be an informal meeting, with an online scribe report of the meeting, but no formal proceedings. Slides of presentations will be available online from the workshop homepage. The presentations will likely be recorded, and made available at a later time.

To submit a talk, please register a description of the talk (about 2 pages long) by following this link, providing a clear statement of what will be provided by the talk: the problems that are addressed, the technical solutions or methods that are proposed. If you wish to perform a demo or require any special setup, we will do our best to accommodate you.

Call for Papers

It will be an informal meeting, with an online scribe report of the meeting, but no formal proceedings. Slides of presentations will be available online from the workshop homepage. The presentations will likely be recorded, and made available at a later time.

To submit a talk, please register a description of the talk (about 2 pages long) by following this link, providing a clear statement of what will be provided by the talk: the problems that are addressed, the technical solutions or methods that are proposed. If you wish to perform a demo or require any special setup, we will do our best to accommodate you.