ML workshop 2017 (September 7th, Oxford, UK): call for presentation


Hi internals,

I would like to relay the Call for Presentations of the ML workshop 2017. The ML workshop is a yearly research-oriented workshop that is dedicated to the family of ML languages (OCaml, SML, F#, Haskell…) but also, in a larger sense, to design discussion across languages that share a goal for elegance, expressivity, and rigor – Scala and Rust have been discussed at the ML workshop before, with a presentation of Rust by Felix Klock and Nicholas Matsakis at the ML workshop 2014. If you want to get an idea of what the ML workshop typically looks like, here is the program of the previous year.

This call for presentation is in particular relevant to people working on the design of some aspects of Rust. If you have a well-defined design problem that you have been working with, and a clear description of the solution you propose, and you think this might interest other language designers, this is a perfect fit for a presentation at the ML workshop. If you have a problem and a solution in mind but they are not well-defined and clear yet, the act of writing an extended abstract to submit to the workshop could help you get there!

The typical submission format is a two-page PDF, often produced using LaTeX. The proposal is reviewed and evaluated, and those that get accepted are invited to present at the workshop. For more details on the work and its submission process, see the workshop website.

Even if you don’t consider submitting a presentation, you could think of attending the workshop. It is just one day, but is colocated with the ICFP conference, the international research conference on functional programming languages, which can be an excellent place to hear about ongoing research and meet interesting people (such as the designers of any of the languages mentioned in my post) to discuss with. Another workshop of interest for the Rust community at ICFP is HOPE (Higher-Order Programming with Effects) – it may a bit more theoretical than the ML workshop.

I am part of the program committee that will evaluate the submissions. Feel free to ask any question, here or privately.

ML workshop 2018 (September 28th, St Louis, USA): call for presentations