posted by organizer: oleg_okmij || 339 views || tracked by 1 users: [display]

OCaml 2023 : The OCaml Users and Developers Workshop


When Sep 9, 2023 - Sep 9, 2023
Where Seattle, WA, USA
Submission Deadline Jun 1, 2023
Notification Due Jul 6, 2023
Categories    ocaml   programming languages   SIGPLAN   ICFP

Call For Papers

The OCaml Users and Developers Workshop brings together the OCaml
community, including users of OCaml in industry, academia, hobbyists
and the free software community.

OCaml 2023 will be co-located with ICFP 2023, which will take place in
Seattle, US. We aim to organize it as a hybrid event, so that people
can attend and even give talks remotely: talks will be streamed in
real-time, and virtual participants will be able to chat and ask
questions in writing.

Presentations and discussions will focus on the OCaml
programming language and its community. We aim to solicit talks
on all aspects related to improving the use or development of
the language and its programming environment, including, for
example (but not limited to):

- compiler developments, new backends, runtime and architectures

- practical type system improvements, such as (but not
limited to) GADTs, first-class modules, generic programming,
or dependent types

- new library or application releases, and their design

- tools and infrastructure services, and their enhancements

- prominent industrial or experimental uses of OCaml, or
deployments in unusual situations.

OCAML 2023 will be an informal meeting with no formal proceedings. The
presentation material will be available online from the workshop
homepage. The presentations may be recorded, and made available
at a later time.

The main presentation format is a workshop talk, traditionally
around 20 minutes in length, plus question time, but we also
have a poster session during the workshop -- this allows to
present more diverse work, and gives time for discussion. The
program committee will decide which presentations should be
delivered as posters or talks.

To submit a presentation, please register a description of the
talk (about 2 pages long) at the submission site, providing a clear statement of what will be provided by the presentation: the problems that are addressed, the solutions or
methods that are proposed.

LaTeX-produced PDFs are a common and welcome submission
format. For accessibility purposes, we ask PDF submitters to
also provide the sources of their submission in a textual
format, such as .tex sources. Reviewers may read either the
submitted PDF or the text version.

Related Resources

SLE 2023   16th ACM SIGPLAN International Conference on Software Language Engineering
COSCUP 2023   Conference for Open Source Coders, Users and Promoters (COSCUP) 2023 Call for Proposals
JOTB 2023   J On The Beach - Bringin developers, DevOps and Data Scientist together around Big Data
PLOS 2023   12th Workshop on Programming Languages and Operating Systems
ML Family 2023   Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
IJPLA 2023   International Journal of Programming Languages and Applications