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

摘要：项目资助：dms -0300055项目负责人：Charles I. steinhorn为参加符号逻辑协会年会和欧洲夏季会议（logic Colloquia）的逻辑学研究生提供旅游奖励。这两个事件可以说是逻辑领域中最重要的会议；自成立以来，它们一直是最高标准的国际科学会议。该协会致力于确保这些会议全面发现逻辑，并代表该领域正在进行的最高质量的工作。因此，它们为知识交流提供了重要的机会，从而刺激了研究的进步。对于逻辑专业的研究生来说，有机会参加其中一个或两个会议是认真参与该专业的不可缺少的组成部分。符号逻辑协会是国际领先的逻辑学家专业协会，其成员包括计算机科学、认知科学、语言学、数学和哲学方面的研究人员。它组织和赞助了一些重要会议。其中最突出的是每年在北美举行的年会和欧洲夏季会议。该协会还在联合数学会议和美国哲学协会举行了多年的会议。最近主办的会议在亚洲、澳大利亚、欧洲以及北美和南美举行。在过去几年中，该协会积极寻求增加其主办的会议的范围和次数。这项工作的具体目标是拥抱新的和新兴的领域，其中逻辑已经开始发挥重要作用，包括计算机科学，语言学和认知科学。该项目将允许研究生旅行奖励计划的延续，该计划自1993年以来一直由该协会管理，自1997年以来部分由NSF资助。该计划已被证明是一种非常有效的手段，将逻辑专业的学生带到重要的专业会议上，在这些会议上，他们可以与领先的逻辑学家见面并交流思想，这种经历是培养该领域未来博士的重要组成部分。在1998-2001年期间，国家科学基金资助的近50%的奖项（第一个国家科学基金资助的奖项是在1998年颁发的）授予了后来获得逻辑学博士学位的学生。有关协会的更多信息可在其网站上找到：http://www.aslonline.org。

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.