形式化系统的描述性复杂性

DCFS，形式化系统的描述性复杂性国际研讨会是计算机科学领域的年度学术会议。从2011年开始，研讨会的论文集出现在《计算机科学讲义》系列中。2002年，DCFS由DCAGRS（自动机、文法和相关结构的描述复杂性）和FDSR（形式描述和软件可靠性）研讨会合并而来。该研讨会经常与相关领域的国际会议，如ICALP、DLT和CIAA，同场举行。

典型的主题包括自动机、文法、语言和相关系统的描述复杂性的各种措施描述复杂性和操作模式之间的权衡布尔函数的电路复杂性和相关措施描述（有限）对象的简洁性有限自动机的状态复杂性资源受限或结构受限环境中的描述复杂性结构复杂性正式系统应用的描述复杂性（如例如，软件可靠性、软件和硬件测试、自然语言建模）的描述复杂性方面的自然动机（生物启发）架构和非常规的计算模型Kolmogorov-Chaitin复杂性和描述复杂性，因此，会议的主题与国际信息处理联合会1.2工作组的描述复杂性的主题重叠。

Holzer&Kutrib(2010)在关于描述性复杂性的调查中指出，十多年来，”形式系统的描述性复杂性”（DCFS）研讨会，[…]对[其]研究领域的发展做出了巨大贡献。Dassow(2009)在研讨会10周年之际发表的演讲中指出，harvtxt错误：没有目标。CITEREFDassow2009(help)概述了在DCFS上发表的研究论文的趋势和方向。

DCFS系列研讨会的指导委员会的主席。关于每次DCFS活动以及其前身DCAGRS和FSDR的基本信息包括在以下表格中。