Student Travel Awards to Attend Official Meetings and Sponsored Meetings of the ASL

该项目为逻辑学研究生提供旅行奖励，以支持他们参加符号逻辑协会（ASL）的会议和该协会赞助的会议。该协会的两个主要会议，可以说是逻辑领域最重要的会议，是北美年会和欧洲夏季会议（也称为逻辑讨论会）。该协会还每年举行一次联合数学会议，在那里它通常与美国数学学会和/或美国数学协会共同赞助一个或多个活动，并与美国哲学协会的三个部门之一轮流。美国律师协会主办的会议在世界各地举行。本协会努力确保其会议及其主办的会议全面涵盖逻辑及其应用，并确保这些会议代表该领域正在进行的最高质量的工作。因此，它们为认真的知识交流提供了重要的机会，从而促进了研究的进步。对于逻辑专业的研究生来说，参加这些会议的机会是他们接受培训和随后进入该专业的重要组成部分。符号逻辑协会是国际领先的逻辑学家专业协会，其成员包括计算机科学，认知科学，语言学，数学和哲学的研究人员。它组织和主办了一些重要会议。其中最突出的是每年举行的北美年会和欧洲夏季会议。最近在亚洲、澳大利亚、欧洲和南北美洲举行了赞助的会议。该协会积极寻求增加其赞助的会议的范围和数量，其特别目的是拥抱逻辑已经开始发挥重要作用的新的和新兴的领域，包括计算机科学，语言学和认知科学。该项目将允许继续和适当扩大一个成功的研究生旅行奖励方案，该方案自1993年以来一直由协会管理，自1997年以来一直由国家科学基金会提供部分资金。该计划已被证明是一个非常有效的手段，使学生在逻辑重要的专业会议上，他们可以满足和交流思想与领先的逻辑学家，以及目前的论文对他们的原始研究。在1998 - 2005年期间，大约84%的奖学金由国家科学基金会资助（第一届国家科学基金会- 1998年获得资助的奖项）授予后来获得博士学位的学生。这是逻辑。这些获奖者中有许多人获得了优秀的博士后和永久职位。一些早期的获奖者已经在ASL或ASL赞助的会议计划委员会任职，并被任命为协会的常务委员会成员。关于该协会的进一步资料可在其网站上查阅：www.aslonline.org。

This project funds travel awards to graduate students in logic to support their participation in meetings of the Association for Symbolic Logic (ASL) and those sponsored by the Association. The two main meetings of the Association, arguably the most important meetings in the field of logic, are the North American Annual Meeting and the European Summer Meeting (also known as the Logic Colloquium). The Association also meets annually at the Joint Mathematics Meetings, where it typically co-sponsors one or more events with the American Mathematical Society and/or the Mathematical Association of America, and on a rotating basis with one of the three divisions of the American Philosophical Association. ASL-sponsored meetings are held throughout the world. The Association works to ensure that its meetings and those it sponsors cover logic and its applications comprehensively, and that they represent the highest quality work being done in the field. They accordingly provide important opportunities for serious intellectual exchange, thereby serving as a stimulus to advancement of research. For graduate students in logic, the opportunity to attend any of these meetings is a vital component of their training and subsequent entry into the profession.The Association for Symbolic Logic is the leading international professional society for logicians, whose membership includes researchers in computer science, cognitive science, linguistics, mathematics, and philosophy. It organizes and sponsors a number of important meetings. Most prominent among these are its North American Annual Meeting and European Summer Meeting, both held annually. Recent sponsored meetings have taken place in Asia, Australia, Europe, and North and South America. The Association has actively sought to increase the range and number of meetings that it sponsors, a particular aim of which is to embrace new and emerging fields in which logic has come to play an important role, including computer science, linguistics, and cognitive science. This project will permit the continuation and appropriate expansion of a successful program of graduate student travel awards that the Association has administered since 1993 and that has been partially funded by NSF since 1997. The program has proved to be a highly effective means of bringing students in logic to important professional meetings at which they can meet and exchange ideas with leading logicians, as well as present papers on their original research. Approximately eighty-four percent of the awards funded by N.S.F. during the period 1998-2005 (the first N.S.F.-supported awards were made in 1998) went to students who subsequently have earned their Ph.D.'s in logic. Many of these awardees have obtained excellent postdoctoral and permanent positions. Several of the early award recipients already have served on ASL or ASL-sponsored meeting program committees and have been appointed to standing committees of the Association. Further information on the Association may be found on its web site: www.aslonline.org.