ICFP 2020 is officially online, the OCaml workshop is on Friday but there are a few interesting presentations that you can watch before that. You don’t need a registration to be able to view the presentations. If you registered, you can use the clowdr platform to ask questions.
During the OCaml 2020 Workshop, we plan to enable other means of communication so that everyone could participate in the Workshop, even without the registration. We will keep you posted. Both video presentations and talk abstracts will be available on Friday. We hope to set up the live broadcasting of the Q&A sessions as well, in the way how it is set up for the main ICFP event.
Sure, the link to the first session is still working, despite that the session itself is no longer live. You can rewind to any place. Here is also the link to the second session and the third session is only 17 hours away
I believe, that later they will split those sessions and provide a video per each paper, though I am not absolutely sure. What I am sure is that this is how it will be done for the OCaml workshop.
Yes, they are two different talks, sorry, I messed up with the links, now they stand corrected
Both talks were already presented, but will be repeated on Tuesday morning (well, in Europe morning). Authors will be present on clowdr for questioning, well at least @Drup has promised to be there. It is roughly seven hours from the time of posting.
Finally, the OCaml 2020 Workshop is live, please join us in the zoom meeting via clowdr or feel free to ask questions here. We will try to forward it to the presenters and record their answers, which are later will be posted as Q&A.
And here comes the third talk of the first session, “The final pieces of the OCaml documentation puzzle.”
Do not forget that we have handcrafted high-quality subtitles available for each talk, thanks to our volunteers from the Organizing Committee. And, even a translation to French of some of our talks, thanks to Enzo Crance.
And now we transition to the fourth talk in the first session, which is “API migration: compare transformed”, a talk about automated program analysis and transformation for OCaml programs.
And now we start the second session of the workshop that is devoted to OCaml Applications. The first talk, “A Simple State-Machine Framework for Property-Based Testing in OCaml”
OK, its time for some math, get ready for the next talk by Markus Mottl (@mmottl) “AD-OCaml: Algorithmic Differentiation for OCaml”. The talk has French subtitles, thanks to the hard work by Enzo Crance.
Our third session is dedicated to OCaml experience. The first talk is about the smart contract language1 SmartPy which uses OCaml underneath the hood. It will be presented by Sebastien Mondet (@smondet) and the talk title is “OCaml Under The Hood: SmartPy”.
