Milner Symposium 2012

这项研究补助金的目的是支持一个独特的事件，来自世界各地的领先的计算机科学家聚集在爱丁堡举行的纪念研讨会，以纪念世界领先的计算机科学家之一，罗宾米尔纳，谁在2010年去世。研讨会上的发言者与罗宾米尔纳的工作和他的遗产有着密切的联系。他们跨越了人工智能和计算机科学的广泛专业领域，从自动定理证明到编程语言设计，从并发和通信系统理论到建模和理解复杂的普遍和普遍存在的系统。许多演讲者本身都是非常杰出和高度重视的研究人员，但他们都受到了罗宾米尔纳思想的启发和影响，他的方法和工作由于拥有如此杰出的演讲者计划是极不寻常的，研讨会为学生，早期职业研究人员或更资深的研究人员提供了一个独特的机会，从具有巨大意义和影响的开创性工作中学习并受益。除了来自研究实验室和大学的演讲者，研讨会还将邀请工业界的与会者参加，他们遵循的道路是罗宾米尔纳毕生的信念，即理论计算机科学的工作应该为以下方面提供坚实的基础：计算实践，软件工程，以及在计算机和通信系统的设计，开发和维护方面的应用实践工作。米尔纳研讨会上的工业演讲者是理论如何应用于实践并带来意想不到和令人惊讶的好处的主要例子。这些活动是思想的熔炉，它们既提供信息又激发灵感。科学的进步是在此类活动中取得的，参与者聚集在一起讨论和交流想法。以前不相关的研究人员之间的合作可以在这样的活动中开始，导致新的研究项目，新的发现和新的突破。与传统的会议不同，在传统的会议中，与会者是一个社区的成员，并专注于解决特定问题的特定方法，米尔纳研讨会跨越了社区之间的许多界限，就像罗宾米尔纳的工作一样。在这样的环境中，偶然的会议可以产生新的想法和非凡的见解。

The purpose of this research grant is to support a unique event where leading computer scientists from around the world come together at a memorial symposium held in Edinburgh in honour of one of the world's leading computer scientists, Robin Milner, who died in 2010. The speakers at the symposium have strong connections to Robin Milner's work and his legacy. They cross a broad spectrum of specialisms across artificial intelligence and computer science from automatic theorem proving to programming language design to the theory of concurrent and communicating systems to modelling and understanding complex pervasive and ubiquitous systems.Many of the speakers are themselves very distinguished and highly regarded researchers in their own right but they are united in having been inspired and influenced by Robin Milner's ideas, his methods, and his work. Because it is highly unusual to have such a distinguished programme of speakers, the symposium provides a unique opportunity for students, early career researchers, or more senior researchers to learn from, and benefit from, pioneering work of huge significance and impact.In addition to speakers from research labs and universities, the symposium will also feature industrial participants who have followed a path which has been shaped by Robin Milner's lifelong belief that work in theoretical computer science should provide strong foundations for computing practice, software engineering, and applied practical work in the design, development and maintenance of computer and communication systems. The industrial speakers at the Milner symposium are leading examples of how theory can be applied in practice and bring unexpected and surprising benefits.Events such as these are a melting pot for ideas and they both inform and inspire. Progress in science is made at events such as these where participants come together and discuss and exchange ideas. Collaborations between previously unrelated researchers can be started at events such as these, leading to new research projects, new discoveries and new breakthroughs. Different from a conventional conference, where the participants are members of one community and are focused on a particular approach to a particular problem, the Milner symposium crosses many boundaries between communities, as Robin Milner's work did. In such a setting, serendipitous meetings can take place leading to fresh ideas and remarkable insights.