Dear OCamlers,

While fairly specialized, the 2nd workshop on configuration languages may be of interest for some of you, in particular the programming language design aspect of it. Also, some tools of the OCaml ecosystem (I'm thinking about e.g. Dune) might be more directly related to the theme.
Cheers,
Yann

CALL FOR PRESENTATIONS - Configuration Languages Workshop 2023 (CONFLANG23)


EVENT DETAILS


Event: CONFLANG23, colocated at SPLASH 2023


Date: Tuesday 24 October 2023


Submission deadline: Friday 12 July 2023


Location: Cascais, Portugal


Website: https://2023.splashcon.org/home/conflang-2023


OVERVIEW


CONFLANG is a new workshop on the design, the usage and the tooling of configuration programming languages. CONFLANG aims at uniting language designers, industry practitioners and passionate hobbyists to share knowledge in any form. Topics of interest include, but are not limited to:


- Infrastructure and configuration code maintenance and evolution


- Specification learning and mining for configurations


- Infrastructure and Configuration testing and verification


- Infrastructure as Code and configuration repair


- New languages for configuration


- The application of language security and type theory to program configuration



CALL FOR PRESENTATIONS


The committee welcomes proposals for presentations:


- Traditional talks on any theoretical or practical aspect of the usage, the tooling and the design of configuration languages


- Experience and case study talks on the real world usage and deployment of configuration languages


- Explorative talks and/or demos on experimenting with configuration languages and related tools



SUBMISSION GUIDELINES


Please submit an abstract (up to 600 words, excluding title, author names, and bibliography) of your proposed talk using the submission link provided below.


- **Format**: 600 words maximum abstract (estimated between 1 and 1,5 pages) as a PDF, excluding title, author names, and bibliography. Any additional material will be considered at the discretion of the PC.


- **URL** : https://conflang23.hotcrp.com/


PROGRAM CHAIRS


- Yann Hamdaoui (Tweag)


- Jürgen Cito (TU Wien and Facebook)


- Mark Santolucito (Columbia University)


- Marcel van Lohuizen (CUE Lang)