Student Travel Awards to Attend the Annual and European Summer Meetings of the ASL

摘要奖：DMS-0300055主要研究者：Charles I. Steinhorn项目为逻辑研究生提供旅行奖励，以支持他们参加符号逻辑协会的年会和欧洲夏季会议（逻辑研讨会）。这两个事件可以说是逻辑领域最重要的会议;从一开始，它们就一直是最高标准的国际科学会议。本协会努力确保这些会议全面涵盖逻辑问题，并代表这一领域正在开展的最高质量的工作。因此，它们为知识交流提供了重要的机会，从而促进了研究的进步。 对于逻辑专业的研究生来说，参加一个或两个ASL会议的机会是认真参与这个专业不可或缺的组成部分。符号逻辑协会是国际领先的逻辑学家专业协会，其成员包括计算机科学、认知科学、语言学、数学和哲学的研究人员。它组织和赞助了许多重要会议。其中最著名的是每年在北美举行的年度会议和欧洲夏季会议。该协会还会见了多年的JointMathematics会议和美国PhilosophicalAssociation。最近在亚洲、澳大利亚、欧洲和南北美洲举行了赞助的会议。在过去几年中，本协会积极寻求扩大其主办的会议的范围和次数。这一努力的一个特别目的是拥抱新的和新兴的领域，其中逻辑已经发挥了重要作用，包括计算机科学，语言学和认知科学。该项目将允许继续一个有价值的研究生旅行奖励计划，该计划自1993年以来一直由协会管理，自1997年以来一直由NSF提供部分资金。该计划已被证明是一个非常有效的手段，使学生在逻辑重要的专业会议上，他们可以满足和交流思想与领先的逻辑学家，这是一个经验，培养未来的博士的重要组成部分。在出外勤在1998 - 2001年期间，近50%的奖项由N.S.F.资助（第一届N.S.F. - 1998年获得了资助的奖项）授予了后来获得博士学位的学生。这是逻辑。关于该协会的进一步信息可在其网站上查阅：www.example.com。

AbstractAward: DMS-0300055Principal Investigator: Charles I. SteinhornThis project funds travel awards to graduate students in logic tosupport their participation in the Annual Meetings and theEuropean Summer Meetings (Logic Colloquia) of the Association forSymbolic Logic. These two events are arguably the most importantmeetings in the field of logic; since their inception, they havebeen international scientific meetings of the highest standard ofexcellence. The Association works to ensure that these meetingscover logic comprehensively and that they represent the highestquality work being done in this field. They accordingly haveprovided important opportunities for intellectual exchange, thusacting as a stimulus to advancement of research. For graduatestudents in logic, the opportunity to attend one or both of theseASL meetings is an indispensible component of seriousparticipation in the profession.The Association for Symbolic Logic is the leading internationalprofessional society for logicians, whose membership includesresearchers in computer science, cognitive science, linguistics,mathematics, and philosophy. It organizes and sponsors a numberof important meetings. Most prominent among these are its AnnualMeeting, held each year in North America, and its European SummerMeeting. The Association also has met for many years at the JointMathematics Meetings and with the American PhilosophicalAssociation. Recent sponsored meetings have taken place in Asia,Australia, Europe, and North and South America. During the lastfew years, the Association has actively sought to increase therange and number of meetings of which it is a sponsor. Aparticular aim of this effort is to embrace new and emergingfields in which logic has come to play an important role,including computer science, linguistics, and cognitivescience. This project will permit the continuation of asuccessful program of graduate student travel awards that theAssociation has administered since 1993 and that has been partlyfunded by NSF since 1997. The program has proved to be a highlyeffective means of bringing students in logic to importantprofessional meetings at which they can meet and exchange ideaswith leading logicians, an experience which is a vital componentin training future Ph.D.'s in the field. Almost fifty percent ofthe awards funded by N.S.F. during the period 1998-2001 (thefirst N.S.F.-supported awards were made in 1998) went to studentswho subsequently have earned their Ph.D.'s in logic. Furtherinformation on the Association may be found on its web site:http://www.aslonline.org.