Workshop: Programming: Logics, Models, Algorithms and Concurrency

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

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.