caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] CONFLANG21: 1st Workshop on Configuration Languages (CfP)
@ 2021-04-22 13:31 Yann Hamdaoui
  0 siblings, 0 replies; only message in thread
From: Yann Hamdaoui @ 2021-04-22 13:31 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.


Call for presentations - Configuration Languages Workshop 2021


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)


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


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


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


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** :


- 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] only message in thread

only message in thread, other threads:[~2021-04-22 13:33 UTC | newest]

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

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).