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/

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

14:00 - 14:50
14:00
25m
Talk
Sundials/ML: interfacing with numerical solvers
OCaml
Timothy Bourke INRIA, Jun Inoue National Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet
14:25
25m
Talk
OCaml inside: a drop-in replacement for libtls
OCaml

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.