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

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