CISE/CCF: 2013 Summer School on Formal Techniques

形式化建模和验证技术在过去二十年中取得了重大进展。 模型检查和定理证明等技术现在已在硬件和软件行业中使用。 形式技术也越来越多地用于科学建模，例如系统生物学和复杂网络物理系统的工程。 这项技术面临的最大挑战是缺乏训练有素的用户和开发人员。 为了解决这一差距，我们开设了正式技术暑期学校。 2011 年和 2012 年夏季，加利福尼亚州阿瑟顿的门洛学院举办了两所这样的学校。这些学校吸引了大约 80 名具有不同兴趣和背景的参与者。 讲座得到了实践实验室的支持。 两所学校都受到了参与者的热烈欢迎。 2013 年形式技术暑期学校继续致力于发展一个由有兴趣学习形式建模和验证前沿技术的研究人员组成的紧密社区。学校的与会者有机会展示自己的研究想法，并与讲师和其他学生密切互动。

Formal modeling and verification technology has madesignificant advances in the last two decades. Techniques like modelchecking and theorem proving are now used in both the hardware andsoftware industries. Formal techniques are also increasingly beingused in scientific modeling, as for example in systems biology and inthe engineering of complex cyber-physical systems. The biggestchallenge facing this technology is the lack of trained users anddevelopers of this technology. To address this gap, we started the Summer School in Formal Techniques. Two such schools have been organized, during the summers of 2011 and 2012, at Menlo College in Atherton, California. These schools attracted around 80participants with a diverse range of interests and backgrounds. Thelectures were supported by hands-on laboratories. Both schools havebeen received enthusiastically by the participants. The 2013Summer School on Formal Techniques continues the work of developing awell-knit community of researchers who are interested in learningcutting-edge techniques in formal modeling and verification.Attendees at the school have the opportunity to present their ownresearch ideas and to interact closely with both the lecturers andother students.