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

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

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.