Workshop: Programming: Logics, Models, Algorithms and Concurrency

研讨会：编程：逻辑、模型、算法和并发

• 批准号: 1636774
• 负责人: Lorenzo Alvisi
• 金额: $ 1.5万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-04-15 至 2017-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1636774&HistoricalAwards=false
• 关键词: Workshop; Programming; Logics; Models; Algorithms

This award will provide travel grants for US-based students to attend the two day workshop on Programming: Logics, Models, Algorithms and Concurrency to be held at the University of Texas at Austin, April 29-30, 2016. This workshop will bring together leading researchers in the area of programming theory for distributed applications, from logic to models, from algorithms to concurrency, to present recent results and tutorials, bring the current research in perspective through an historical lens, and discuss the challenges ahead. The workshop will be open to graduate and undergraduate students, who will be able to attend talks and participate in discussions. Tutorials will provide them with a unique opportunity to gain perspective on the field through the eyes of the leaders who shaped it and to interact with and be inspired by them. Special emphasis will be placed on the participation of graduate and undergraduate women computer scientists and underrepresented minorities.

该奖项将为美国学生提供旅行赠款，以参加将于2016年4月29日至30日在德克萨斯大学奥斯汀分校举行的为期两天的编程研讨会：逻辑，模型，算法和并发性。本次研讨会将汇集分布式应用程序编程理论领域的领先研究人员，从逻辑到模型，从算法到并发，展示最新的成果和教程，通过历史透镜透视当前的研究，并讨论未来的挑战。 该研讨会将向研究生和本科生开放，他们将能够参加讲座并参与讨论。Tuesday将为他们提供一个独特的机会，通过塑造它的领导者的眼睛获得对该领域的看法，并与他们互动并受到他们的启发。将特别强调研究生和本科生妇女计算机科学家和代表人数不足的少数民族的参与。