[TYPES/announce] Call for Presentations: CONFLANG

Mark Santolucito msantolu at barnard.edu
Fri May 7 14:30:06 EDT 2021


Call for Presentations:

CONFLANG is a new workshop on the design, the usage and the tooling of
configuration 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



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 Deadline Fri 6 Aug 2021

https://2021.splashcon.org/home/conflang-2021#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/

https://2021.splashcon.org/home/conflang-2021#venue

While in-person presentations make sharing and interacting easier, please
note that remote presentations are also considered due to the current
health context.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210507/8b53596b/attachment-0001.htm>


More information about the Types-announce mailing list