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

OCaml 2023 : The OCaml Users and Developers Workshop

FacebookTwitterLinkedInGoogle

Link: https://icfp23.sigplan.org/home/ocaml-2023
 
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
rationales

- 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

MOBILITY 2025   The Fifteenth International Conference on Mobile Services, Resources, and Users
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
COSCUP 2024   COSCUP 2024: Conference for Open Source Coders, Users and Promoters (COSCUP)
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
JOTB 2024   J On The Beach - Bringin developers, DevOps and Data Scientist together around Big Data
IJPLA 2024   International Journal of Programming Languages and Applications
SLE 2025   1st CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
COMPUTATION TOOLS 2025   The Sixteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking