Summer School on Language-Based Techniques for Integrating with the External World

我们建议开发和开办一个暑期班，介绍融入外部世界的基于语言的技术。该学院的目标是培养研究生、博士后和学术界和产业界的研究人员进行这一主题的研究。学院将提出并讨论这一领域的几个相关主题的材料。有关主题区域的重要性，请参阅第3节；具体主题和发言者，请参阅第4节。具体来说，第四节末尾的小组讨论显示了许多主题的相互关联和协同性质。每个主题将涵盖大约四个小时的讲座，为演讲者提供充足的时间从三个角度阐述主题：1.基础理论每位演讲者将从教程级别的背景开始，了解主题领域中潜在的问题和解决方案的基本原则和理论。有了这个基础观点，暑期班将涵盖类型系统、逻辑、流分析、统计和分布式计算等领域的关键问题。这些基础很重要，因为它们激发了先进的技术，并为参与者提供了解决新问题所需的技能。每一位演讲者将讲述经典理论的扩展，使学生了解前沿研究的最新结果。演讲者在过去的一两年里都发表了关于他们主题的顶级研究论文，因此这些观点允许重要思想的快速传播，从而推动更多的研究。理论，在实践中，每个演讲者都将描述理论和先进技术是如何为使软件开发更容易、更快或更安全而提供实用工具的。特别是考虑到外部世界一体化的主题，演讲者在使用原则性工程将尖端研究应用于现实世界的经验是暑期学校将强调的一个视角。

We propose to develop and run a summer school on Language-Based Techniques for Integrating with the External World. The aim of the school is to prepare graduate students, post-docs, and researchers in academiaand industry to conduct research on this topic.The school will present and discuss material on several related topics in this area. See Section 3 forthe importance of the topic area and Section 4 for the specific topics and speakers. Specifically, the panelsoutlined at the end of Section 4 show the interrelated and synergistic nature of many of the topics.Each topic will be covered for approximately four hours of lectures, providing ample time for speakersto address the topic from three perspectives:1. Foundational Theory Each speaker will begin with tutorial-level background on the fundamentalprinciples and theory underlying the problems and solutions in the topic area. With this foundationalperspective, the summer-school will cover key issues in areas such as type systems, logic, flow analysis,statistics, and distributed computing. These foundations are important because they motivate theadvanced techniques and provide participants the skills they need to attack new problems.2. Advanced Techniques Each speaker will cover extensions to the classic theory that bring students upto-speed with respect to the latest results from cutting-edge research. The speakers have all publishedtop research papers on their topic in the last year or two, so these perspective allows for the rapiddissemination of important ideas that can motivate additional research.3. Theory, in Practice Each speaker will describe how the theory and advanced techniques have informedpractical tools used to make software development easier, faster, or more secure. Especiallygiven the topic of external-world integration, the experience of the speakers in using principled engineeringto apply cutting-edge research in the real world is a perspective the summer-school willemphasize.