posted by organizer: oleg_okmij || 794 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

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
IJFLS 2024   International Journal of Fuzzy Logic Systems
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
CAIJ 2024   Computer Applications: An International Journal
NYC-2024-SE 2024   New York Annual Conference on Software Engineering 2024
APLAS 2024   The 22nd Asian Symposium on Programming Languages and Systems
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming