Amir Pnueli Memorial Symposium

阿米尔·普努埃利纪念研讨会

• 批准号: 1034814
• 负责人: Clark Barrett
• 金额: $ 3.35万
• 依托单位: New York University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-07-01 至 2011-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1034814&HistoricalAwards=false
• 关键词: Amir; Pnueli; Memorial; Symposium

This award supports the Amir Pnueli Memorial Symposium, held May 8-9, 2010 at New York University. The symposium brings together scientists from around the world in a retrospective and prospective on the use of logics, particularly temporal logic, in computer science. Amir Pnueli received the Turing Award for his seminal work in temporal logics and computer science. The symposium provides a singular opportunity for faculty, students, and industrial researchers to hear from researchers who are shaping the future of their fields. It is open to all who wish to attend, and video recordings of the talks are made available online for those who are unable to attend in person.

该奖项支持2010年5月8日至9日在纽约大学举行的阿米尔·普努埃利纪念研讨会。该研讨会汇集了来自世界各地的科学家，回顾和展望了逻辑，特别是时态逻辑在计算机科学中的应用。 Amir Pnueli因其在时间逻辑和计算机科学方面的开创性工作而获得图灵奖。研讨会为教师，学生和工业研究人员提供了一个独特的机会，听取正在塑造其领域未来的研究人员的意见。所有希望参加的人都可以参加，不能亲自参加的人可以在网上查阅会谈录像。