Milner Symposium 2012

2012 年米尔纳研讨会

• 批准号: EP/J019712/1
• 负责人: Gordon Plotkin
• 金额: $ 2.84万
• 依托单位: University of Edinburgh
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2012
• 资助国家: 英国
• 起止时间: 2012 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FJ019712%2F1
• 关键词: Milner; Symposium; 2012

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.

这项研究赠款的目的是支持一项独特的活动，在该活动中，来自世界各地的领先计算机科学家在爱丁堡举行的纪念研讨会上汇聚在一起，以纪念世界领先的计算机科学家之一罗宾·米尔纳（Robin Milner），他于2010年去世。他们跨越了人工智能和计算机科学的广泛专家，从自动定理到编程语言设计，再到并发和通信系统的理论，再到建模和理解复杂的普遍存在和普遍存在的系统。演讲者的许多人本身是非常杰出的，备受尊敬的研究人员，但他们本身就受到了既受到启发又受影响的作品的启发，而他的工作却又受到了启发，而他的思想又是他的思想，他的思想是他的理想的，他的思想是他的理由，他的思想是他的善意，他的思想是他的友好的理想。由于拥有如此杰出的演讲者计划是非常不寻常的，所以研讨会为学生，早期的职业研究人员或更多的高级研究人员提供了一个独特的机会用于计算实践，软件工程以及计算机和通信系统的设计，开发和维护方面的实用工作。米尔纳研讨会上的工业演讲者是如何在实践中应用理论并带来意想不到和令人惊讶的好处的主要例子。诸如此类的事件是思想的熔炉，它们既有信息又可以启发。科学方面的进步是在像参与者聚集在一起并讨论和交流思想的这样的活动中取得的。可以在此类活动中开始以前无关的研究人员之间的合作，从而导致新的研究项目，新发现和新的突破。与传统会议不同，在传统会议上，参与者是一个社区的成员，并专注于特定问题的特定方法，米尔纳研讨会像罗宾·米尔纳（Robin Milner）的工作一样，跨越了社区之间的许多界限。在这种情况下，可以举行偶然的会议，从而导致新的想法和非凡的见解。