CONFLANG是一个关于配置语言的设计、理论、实践和未来发展的研讨会。
构建系统、包管理器、操作系统、云基础设施和web服务都是现代复杂软件系统的示例，它们需要广泛而非平凡的配置，以便使它们适应不同的用途。为了管理逐渐增长的复杂性，然后将其转移到配置中，声明式方法变得越来越流行，例如，基础设施即代码范式就说明了这一点。这导致配置在软件工程的关键方面发挥重要作用，包括安全性、可用性和可维护性。
然而，仅凭静态的基于文本的配置缺乏表现力，而且很少足够。数据不能被转换、组合或共享，最多只能导致样板文件和信息重复，最坏的情况是数据无效或不一致。数据验证也不受支持，并且必须移交给配置管道中的另一个工具（如果完成的话）。正确配置现代系统很难，故障可能会带来严重的负面后果。
这些就是我们见证新一代专门用于生成、验证或丰富静态配置的语言诞生的原因。其中一些语言从整体的角度出发，提供可编程的配置。其他人则喜欢专门从事配置的一个方面，例如验证。这些语言位于设计空间的单一领域，具有特定的约束、权衡和目标。因此，由于配置语言在与传统编程语言截然不同的设计约束下运行，由于它们在软件工程和部署中的实际重要性，以及令人兴奋的新发展，我们认为配置语言是一个值得研究的领域。
CONFLANG旨在聚集这个新兴社区，进行富有成效的互动，分享关于配置语言的想法、结果、意见和经验。正确的配置是一个实际的工业问题，将从现有和正在进行的学术研究中受益匪浅。双重地，这是一个需要克服新挑战和探索新方向的空间，这是用大规模生产系统面对新想法的绝佳机会。
感兴趣的主题包括但不限于：
- 基础设施和配置代码维护和演变
- 配置的规范学习和挖掘
- 基础设施和配置测试与验证
- 作为代码和配置修复的基础设施
- 用于配置的新语言
- 语言安全和类型理论在程序配置中的应用
要求演示
CONFLANG是一个关于配置语言的设计、使用和工具的新研讨会。CONFLANG旨在联合语言设计师、行业从业者和热情的爱好者以任何形式分享知识。感兴趣的主题包括但不限于：
- 基础设施和配置代码维护和演变
- 配置的规范学习和挖掘
- 基础设施和配置测试与验证
- 作为代码和配置修复的基础设施
- 用于配置的新语言
- 语言安全和类型理论在程序配置中的应用
委员会欢迎以下提案：
- 关于配置语言的使用、工具和设计的任何理论或实践方面的传统讨论
- 关于配置语言的实际使用和部署的经验和案例研究讲座
- 关于试验配置语言和相关工具的探索性谈话和/或演示
虽然现场演示使分享和互动更容易，但请注意，由于当前的健康环境，远程演示也被考虑在内。
请使用下面提供的提交链接提交您的演讲摘要（最多600字，不包括标题、作者姓名和参考书目）。
