CISE/CCF: 2013 Summer School on Formal Techniques

形式化建模和验证技术在过去二十年中取得了重大进展。像模型检查和定理证明这样的技术现在在硬件和软件行业都得到了应用。形式化技术也越来越多地用于科学建模，例如在系统生物学和复杂的网络物理系统工程中。这项技术面临的最大挑战是缺乏训练有素的用户和开发人员。为了弥补这一差距，我们开办了正式技术暑期学校。2011年和2012年的夏天，加州阿瑟顿的门洛学院（Menlo College）已经组织了两所这样的学校。这些学校吸引了约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.