From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 68129E00B8 for ; Thu, 22 Apr 2021 15:32:53 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yann.hamdaoui@gmail.com; spf=Pass smtp.mailfrom=yann.hamdaoui@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yann.hamdaoui@gmail.com) identity=pra; client-ip=209.85.128.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="yann.hamdaoui@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yann.hamdaoui@gmail.com designates 209.85.128.46 as permitted sender) identity=mailfrom; client-ip=209.85.128.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="yann.hamdaoui@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm1-f46.google.com) identity=helo; client-ip=209.85.128.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yann.hamdaoui@gmail.com"; x-sender="postmaster@mail-wm1-f46.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?A9a23=3AksAR8RMLDEvpK27T0+0l6nYrChdPi93PFj5Q0YI?= =?us-ascii?q?ujvd0So/mwa6KFHLW6fgltlLVR4KTs6sC17OH9fq5ASdeud6oizMrSNR0TRgLi?= =?us-ascii?q?MEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgV?= =?us-ascii?q?rO+/7BpDdj9it1+C15pbffxhEiCCybL9vKBi6txvdutQKjYdtK6s91gbCr2dVd?= =?us-ascii?q?ehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/?= =?us-ascii?q?YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkh?= =?us-ascii?q?SEaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFKH4G?= =?us-ascii?q?yYJYVD+cZI+hWr5TzqVgAoxSwCgajGPjixSVUinLsx6A2z+osHAPA0Qc9H9wOq?= =?us-ascii?q?nPUrNDtOagQS++1yq/IxijBYfxM3Dfy9ZLHchc8ofGNQLl9dsrQxlMpFwPDlFm?= =?us-ascii?q?QqZbqPzaI2esXtGib8utgWPmgi24isQ5xozyvyt0whYnOg4IY01bJ/jh2z4gpP?= =?us-ascii?q?9O3UlJ7YcK6H5tKsSGXL5V6T98+T29mpCs3xb8Lt561ciUE1pgqxgLSZv6EfoW?= =?us-ascii?q?G/x/tVOecLDd3in9qd7+yhxe//VW+xuD/SsW5zUtHoypDn9LRuH4N0BnT5dKGS?= =?us-ascii?q?vt75kqhwi6P1wTJ5eFfIUA7ia3bK5g7zr43jJoTvlzPHi/xmEXqkKCWbF0k9vK?= =?us-ascii?q?05OTgZ7XroIKXOYxsigzmLKgihsiyDf47PwUORWSX5Pqw2b758UD2QbhGluA6n?= =?us-ascii?q?6vYvZzAOMgWpq20DxVL3oss9hqzFSqq3dQZkHQBMVlLYgiIj5LzNFHLOP34Dem?= =?us-ascii?q?wg1CrkDpzwvDJJLzhApHUInnNlbftYK9x60BTxQcy19xf6JVUCrYOIPL3RED9r?= =?us-ascii?q?sDXDhg8MwCswubnDsty1p8GVG6RHqOUNLnevFyI6+41PuWAeowYtCzyJvUk//L?= =?us-ascii?q?uiGU2mV4Zfamnx5sXb3W4E+xmIkqDZ3rshM0NEWcQsQo7UePlklqCUSNSZ3upU?= =?us-ascii?q?KI84ys0CIOiDYvZWo+th7mB0D+hHpJKfmBGFkyMEXDweoqYQfgMbSaSLtZlkjw?= =?us-ascii?q?FTrihV5Qs1QqutQ//07poNPDY+iwetZL51dh6/ffflR8o9W88M8PI9EqESmU8u?= =?us-ascii?q?2oJQz4w0+hboFdhggOI2K18xvhZDsB75vVTUw58O4SKnMJgDNWnawvHeJ+pQVO?= =?us-ascii?q?qS9K7AHllX9s3xZkOakNxEtK/jzjM2iOrB/kekLndV898yb7Vw3Wkf5U18H3Bz?= =?us-ascii?q?qR0ygB+GqNnBSidnqd6sjPrKcvMmkSdmbytcMw00yvE9WPFxm2L7hgweD41ar3?= =?us-ascii?q?MWDUkXmWTrdn94SvqSravDfE4N1IEx5LcbKRNbdLtgBNNQ/KxYLz2UyeKg261Q?= =?us-ascii?q?C2w6PaUdoOCU2oY1STZTkMDllJLlUs=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Ac6K3VK6eiF9DM9WwVQPXwSCEI+orLtY04lQ7?= =?us-ascii?q?vn1ZYSd+NuSFisGjm+ka3xfoiDAXHEotg8yEJbPoex7h3LZPy800Ma25VAfr/F?= =?us-ascii?q?GpIoZr8Jf4z1TbcRHW3tV2kZ1te60WMrbNJHBxh8ri/U2cG9Ev3NGI/MmT9IHj?= =?us-ascii?q?5l1GJDsLV4hL6QBlBgGHVmh/QwdbDZQ0faDsn/ZvjTymZHgRc4CHFmAINtKz7+?= =?us-ascii?q?HjuZr6bXc9dnoawSaUizfA0tDHOjy5+jtbbD9V27cl9gH+4kfEz4GuqeuyxBOZ?= =?us-ascii?q?90K71eUwpPLbxtFOBNOBh6EuQ12B5TqAXphrWLGJoVkO0YKSwWsqi9XFrlMBOM?= =?us-ascii?q?l++hrqDwSIiCbtwAXp3XIS7Wbjwzaj8BneiPH+LQhaN+NxwaZiNjfJ4Uspu99x?= =?us-ascii?q?lIhR2XiCipZRBRTc2Azg+tnhTXhR5weJiEtntdRWo21UUIMYZrMUh5cY5llpHJ?= =?us-ascii?q?AJGz+/wJw7EdNpENrX6J9tAB+nRkGcmlMq7M2nX3w1EBvDaFMFoNap3z9fm208?= =?us-ascii?q?6EcE2soFnDMl+IgmQ5dJo8TIW54Y241mf4szV+ZQFe0BScy4BijmWhTXKl+fJl?= =?us-ascii?q?zhCeUJIHTIp5nr4Kgk5e2jdZASpaFC2ajpYRd9jyofakjuAcqB0Nlg6RbWWliw?= =?us-ascii?q?Wjzr14Vf6vFCy/3BbYuuFRfGZEElksOmrflaKNbcQeyPNJVfBOKmKWPvHI1Ozh?= =?us-ascii?q?DvQpU6EwhcbOQl/vIAH36eqMPCLYPn8sbBduzIGbbrGTE4HmXlAnUCWzD3LN5a?= =?us-ascii?q?7l+iX2L5hBS5YQKiRmXPubZLVITK9ekaz4YAcqdWtBIOtFi/7saXbSFZvrcuZ0?= =?us-ascii?q?t4KrP/mqa9rW27lFy4rVlBC154NAJ48b/gW3RFqUs2KEvya68EoMjaU3tVxmG7?= =?us-ascii?q?Khh2SN72HAZTq09sw7++K4WdyEkZepeaG1Pfq0FWhXqRC78Ah6WI5K7eC+sFJ6?= =?us-ascii?q?djfJY0KCLmOFhenx1wpGJKdQkeL3WvbQ/GuOGCl5wbBObWat9mphykSPQk4073?= =?us-ascii?q?vVmApM0pW3sQVyOvV8nSmgo1Wz9InDRKgtUiqavFljC1JWQlhuMkdFVKdWSMGb?= =?us-ascii?q?pDSB+IfYNOh9nQCXdNZHbPgDHfkgo0cGbx7Uke71aRXBG8aLXOAlBHvGpf3buv?= =?us-ascii?q?+FRodn+Fd0YYUAEPjaRtUWDHsG10y+mFe+661HaQcEILxqUYPCveaTUfZgNoyN?= =?us-ascii?q?bf7m/jpB+SUXEnzI4pJOrTEfAqdKzSwGqkLMmQjr4ddsUkj6pNJZTrqKsGQOif?= =?us-ascii?q?cwiaIHfxDP4owRWcojIgNDNvoHcpnPv00HTenSGF9W96BeCXLEVtRrkdLd3Z9W?= =?us-ascii?q?TiSvqS2JhyjN4+v4KLQxDMQ8/DzbuSYy9IKxvVr2LzUvohropMu7ku8LR0BJvW?= =?us-ascii?q?XFLzpQF69QR7KN2xkkwQQK52uu+cfoBuetEfYCJf8B4iks+VIE4irwzxBas/cD?= =?us-ascii?q?gW/gDmFsLM56CNr7wlRlCFrk/3P1KU9iVG5ffLXyeZz9chetANCHUTbFJ58Who?= =?us-ascii?q?+eOJapbZBwqrffxS5VbSCA7ATJZNDKyeXagKphl049uUj/aaeirx1gfXpyZ6KM?= =?us-ascii?q?t1ghiaaNL3BhmNF+5O+8G7PlrJgrLC2r/PsAvK?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DhAgDGeYFgfy6AVdFaHQEBAQEJARIBB?= =?us-ascii?q?QUBghKBI1mBJldqhEORPy2EDIc1j0WBaAsBAwELAQEoDAQBAYRQgXkCHQcBBDQ?= =?us-ascii?q?TAhEBAQUBAQECAQMDBAETAQENCwsIJxyFUA2COCkBg3sLBh0BGxENAxIQCSQKA?= =?us-ascii?q?iURAQUBIg0IAQEeggRLAYJUAQMvBAucB4EEPYsygRUFAReBAYIFBoE0AQMFgRC?= =?us-ascii?q?BfgoZKA1jA4E4AgEGCQEIgSiFaIEaAYZ7EIFVQoETJ4M5hAgRSYJ3gmEEgVRsB?= =?us-ascii?q?j5cIU8BQDEPW44agwAaqV0sB4MRgSEGC4ZYgWaTHQUHBCGDUIYjhGCFVhSQUKE?= =?us-ascii?q?bkmiEawIKBwYQI4FITw2BIE0jL1KCOFAZDlaNSYNwhRSFSz8yOAIGAQkBAQMJi?= =?us-ascii?q?kmCRgEB?= X-IPAS-Result: =?us-ascii?q?A0DhAgDGeYFgfy6AVdFaHQEBAQEJARIBBQUBghKBI1mBJld?= =?us-ascii?q?qhEORPy2EDIc1j0WBaAsBAwELAQEoDAQBAYRQgXkCHQcBBDQTAhEBAQUBAQECA?= =?us-ascii?q?QMDBAETAQENCwsIJxyFUA2COCkBg3sLBh0BGxENAxIQCSQKAiURAQUBIg0IAQE?= =?us-ascii?q?eggRLAYJUAQMvBAucB4EEPYsygRUFAReBAYIFBoE0AQMFgRCBfgoZKA1jA4E4A?= =?us-ascii?q?gEGCQEIgSiFaIEaAYZ7EIFVQoETJ4M5hAgRSYJ3gmEEgVRsBj5cIU8BQDEPW44?= =?us-ascii?q?agwAaqV0sB4MRgSEGC4ZYgWaTHQUHBCGDUIYjhGCFVhSQUKEbkmiEawIKBwYQI?= =?us-ascii?q?4FITw2BIE0jL1KCOFAZDlaNSYNwhRSFSz8yOAIGAQkBAQMJikmCRgEB?= X-IronPort-AV: E=Sophos;i="5.82,242,1613430000"; d="scan'208,217";a="379392410" X-MGA-submission: =?us-ascii?q?MDHNAVfI/0FQhKf/VwSEHlWw/9guWr8VYF00J7?= =?us-ascii?q?yHpxc9DZD8Xl5Ri6R4K2FGpWVycSDJ1K36vBCv79O/waTeslKTWqOeDm?= =?us-ascii?q?qttEjSrhjcjH9AK37lJ59RUxZASX2+Tj9z4f+GpzhxT55AZRNsl0YvyU?= =?us-ascii?q?AD+wK3OIKfjhBObMUmfPok8Q=3D=3D?= Received: from mail-wm1-f46.google.com ([209.85.128.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 22 Apr 2021 15:32:52 +0200 Received: by mail-wm1-f46.google.com with SMTP id n4-20020a05600c4f84b029013151278decso3121119wmq.4 for ; Thu, 22 Apr 2021 06:32:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-language; bh=rOfWczQ4zFqErqtohnehgqZuEoxCIBnPMVvrNMe5wIA=; b=fv+intM7C+JaGQlLZWya7SreL55SnHPm8A0okhBLB2aJdiFgJ8OOWhIb+9DhlGUXvV iCtjB5/wq5Q95H2yErA8jpEibYgvNOvtAbBIakXz0J9j+9qWbNNj2Lx1h07n1BlCIdba M1JMf8q9mjzjObjPoOi9S8J7Vumv1wquvECezDBKYWP03hQLmJeayijKFEfRrrSdzfLd XL0TcdnzinYDEtao4pR3Ap0o/qvxf7pbbszVNoN6AlGQXnz/iRWGvj/tEciYOKa1XcW8 aEtkTHhKlmk/U3o4iD7NJfVHVnshmTPaNzldNtLMOoOe0JQwyPLzWqdIBHR0JnYItIFA yGqg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-language; bh=rOfWczQ4zFqErqtohnehgqZuEoxCIBnPMVvrNMe5wIA=; b=CPi8YS63HMxx7ZFIA/zZbuTgBrFPWV75mbEQM1WvRGj/a3spDOvhoSYYoheJFHZX5c 6c1k6ybkcEJkrD1ojz59gZNFTt2L9xsim3xMjRkUoUd7wwAG+333y8c4ZBiYmiwNR5jo vKyyw3EzCQSDlptP/P4e0goS4uJka53ZKq4vVRqGtMaN+roPxU2pV63YJs/5qRRgAo01 j7RxFuf7QJf1rzI38curptygkcNabPGK+gQ22DiKLTmJuEmfA2OT/md2ZQH/5M5R4or0 3D6IbbygspPVPaGAvQpQ1uwDIUIJ/9m7izLMTp0A+WMfjkjldwZFYP/Y1TqO50IZLxEp yUew== X-Gm-Message-State: AOAM530Lqe5cuR8Mjs/ohMKBhGYKBL7JYG3+VBw+MeKsCmO+adLG+EpO gliPjoN2g22pPTehp4BC3aeb7xwLUyU= X-Google-Smtp-Source: ABdhPJwLTrkeHCoaQUGJLqCo8h/RUyDnNo2k4z4728Y6RV+T+VO+UDI8zg/VyzFTXvapSt8H5Zfhfg== X-Received: by 2002:a1c:a54a:: with SMTP id o71mr3959800wme.172.1619098371210; Thu, 22 Apr 2021 06:32:51 -0700 (PDT) Received: from [192.168.1.79] (static-176-158-241-156.ftth.abo.bbox.fr. [176.158.241.156]) by smtp.gmail.com with ESMTPSA id i9sm6031040wmg.2.2021.04.22.06.32.49 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 22 Apr 2021 06:32:50 -0700 (PDT) To: OCaml Mailing List From: Yann Hamdaoui Message-ID: Date: Thu, 22 Apr 2021 15:31:12 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.9.0 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------13BB2D94DA336F51B3E8B089" Content-Language: en-US Subject: [Caml-list] CONFLANG21: 1st Workshop on Configuration Languages (CfP) This is a multi-part message in MIME format. --------------13BB2D94DA336F51B3E8B089 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit 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 --------------13BB2D94DA336F51B3E8B089 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit 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

--------------13BB2D94DA336F51B3E8B089--