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

该奖项将支持符号逻辑协会运营的项目，为博士生提供旅行支持，允许他们在2020-2024年期间每年参加数理逻辑的两次主要会议。这两个会议，北美ASL年会和逻辑学术讨论会(或欧洲夏季会议)，涵盖了逻辑的方方面面：复杂性理论、理论计算机科学、算术片段、哲学逻辑、纯模型理论和应用模型理论、证明论、可计算性理论、集合论、分析子系统、拓朴理论等等。它们得到了各行各业的逻辑学家的很好的参与，对于进入逻辑的年轻研究人员来说是至关重要的。ASL使用该奖项提供的助学金将允许美国学生参加每一次会议，并将支持外国博士生来美国参加北美年会。在过去的21年里，这种情况一直存在，因为自1998年以来，一系列持续不断的NSF奖项使ASL能够不断提供此类赠款。在这笔赠款的赞助下举行的第一次会议将是2020年3月在加州大学欧文分校举行的ASL 2020年北美年会。这些会议促进现代数理逻辑的所有领域及其应用到数学的其他领域，甚至更远。被邀请的演讲提供了讨论该领域最新发展的机会，而演讲环节为研究生和年轻研究人员提供了介绍自己工作的机会，从而促进了他们的培训和专业发展。参加会议的经济资助将优先提供给逻辑和数学方面代表性较低的群体的学生，以及可能无法参加会议的学生。ASL网站：asLonline.org该奖项反映了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.