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.