caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] CONFLANG21: 1st Workshop on Configuration Languages (CfP)
@ 2021-04-22 13:33 Yann Hamdaoui
  0 siblings, 0 replies; 1+ messages in thread
From: Yann Hamdaoui @ 2021-04-22 13:33 UTC (permalink / raw)
  To: OCaml Mailing List

[-- Attachment #1: Type: text/plain, Size: 2735 bytes --]

Dear OCamlers,

While fairly specialized, the 1st 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 Dune e.g.) are more directly related to the themes.
Cheers,
Yann

=======================================================================

Call for presentations - Configuration Languages Workshop 2021
(CONFLANG21)
=======================================================================


EVENT DETAILS


Event: CONFLANG21, colocated at SPLASH 2021

Date: Sunday October 17th to Friday 22th, 2021

Submission deadline: Friday 6th August 2021

Location: Chicago, Illinois (subject to change to being held online)

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


While in-person presentations make sharing and interacting easier,
please note that remote presentations are also considered due to the
current health context.

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://conflang21.hotcrp.com/


PROGRAM CHAIRS

- Eelco Dolstra: Tweag I/O

- Yann Hamdaoui: Tweag I/O

- Jürgen Cito: TU Wien and Facebook

- Mark Santolucito: Columbia University

- Marcel van Lohuizen: Google

- Gabriel Gonzalez: Arista Networks

- Nicolas Jeannerod: IRIF, Paris Diderot University


[-- Attachment #2: Type: text/html, Size: 15733 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-04-22 13:33 [Caml-list] CONFLANG21: 1st Workshop on Configuration Languages (CfP) Yann Hamdaoui

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox