Student Travel Support to Attend the North American Annual and European Summer Meetings of the Association For Symbolic Logic

该奖项将用于支持符号逻辑协会的项目，资助博士生在2020-2024年期间每年参加数理逻辑领域的两次主要会议。这两个会议，即ASL北美年会和逻辑讨论会（或欧洲夏季会议），涵盖了逻辑的所有方面：复杂性理论、理论计算机科学、算术碎片、哲学逻辑、纯粹和应用模型论、证明论、可计算论、集合论、分析子系统、拓扑理论等等。他们很好地参加了各条逻辑学家，是最重要的年轻研究人员进入逻辑。美国手语学会提供的资助将允许美国学生参加这些会议，也将支持来美国参加北美年会的外国博士生。这是过去21年的情况，因为美国国家科学基金会（NSF）的一系列奖励使美国国家科学实验室（ASL）自1998年以来一直提供此类资助。在此资助下举行的第一次会议将是2020年3月在加州大学欧文分校举行的美国手语学会2020年北美年会。这些会议促进了现代数理逻辑的所有领域及其在其他数学领域的应用，甚至超越了这些领域。特邀演讲为讨论该领域的最新发展提供了机会，而专题演讲则为研究生和年轻研究人员提供了展示自己工作的机会，从而有助于他们的培训和专业发展。参加会议的资金支持将优先给予逻辑和数学领域代表性不足的学生，以及可能无法参加会议的学生。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

This award will support the program run by the Association for Symbolic Logic, granting travel support to doctoral students to allow them to attend the two principal conferences in mathematical logic each year during the period 2020-2024. These two meetings, the North American Annual Meeting of the ASL and the Logic Colloquium (or European Summer Meeting), cover all aspects of logic: complexity theory, theoretical computer science, fragments of arithmetic, philosophical logic, pure and applied model theory, proof theory, computability theory, set theory, subsystems of analysis, topos theory and more. They are well attended by logicians of all stripes, and are of paramount importance to young researchers entering logic. The grants supplied by the ASL using this award will allow American students to attend each of these meetings, and will also support foreign PhD students coming to the U.S. for the North American Annual Meeting. This has been the case for the past 21 years, as an ongoing series of NSF awards has allowed the ASL to offer such grants continuously since 1998. The first meeting held under the auspices of this grant will be the 2020 North American Annual Meeting of the ASL, to be held at the University of California at Irvine in March 2020. These conferences promote all areas of modern mathematical logic and their applications to other areas of mathematics, and beyond. The invited presentations provide an opportunity for discussion of the latest developments in the field, and the contributed talk sessions give graduate students and young researchers an opportunity to present their own work, thereby contributing to their training and professional development. Financial support to attend the conference will preferentially be given to students from groups underrepresented in logic and mathematics, as well as to students who may not otherwise be able to attend the conference. ASL website: aslonline.orgThis award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.