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 academia and industry to conduct research on this topic. The school will present and discuss material on several related topics in this area. See Section 3 for the importance of the topic area and Section 4 for the specific topics and speakers. Specifically, the panels outlined 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 speakers to address the topic from three perspectives: 1. Foundational Theory Each speaker will begin with tutorial-level background on the fundamental principles and theory underlying the problems and solutions in the topic area. With this foundational perspective, 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 the advanced 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 published top research papers on their topic in the last year or two, so these perspective allows for the rapid dissemination of important ideas that can motivate additional research. 3. Theory, in Practice Each speaker will describe how the theory and advanced techniques have informed practical tools used to make software development easier, faster, or more secure. Especially given the topic of external-world integration, the experience of the speakers in using principled engineering to apply cutting-edge research in the real world is a perspective the summer-school will emphasize.
