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

摘要奖：DMS-0300055首席研究员：Charles I.Steinhorn该项目为逻辑学研究生提供旅行奖励，以支持他们参加符号逻辑协会的年会和欧洲夏季会议(Logic Colloquia)。这两个活动可以说是逻辑领域最重要的会议；自成立以来，它们一直是具有最高卓越标准的国际科学会议。该协会努力确保这些会议全面涵盖逻辑，并代表该领域正在进行的最高质量的工作。因此，它们为智力交流提供了重要机会，从而促进了研究的进步。对于逻辑专业的毕业生来说，有机会参加其中一个或两个ASL会议是认真参与该专业不可缺少的组成部分。符号逻辑协会是国际领先的逻辑学家专业协会，其成员包括计算机科学、认知科学、语言学、数学和哲学的研究人员。它组织和赞助了许多重要的会议。其中最突出的是每年在北美举行的年度会议和欧洲夏季会议。多年来，该协会还在联合数学会议和美国哲学学会上举行了会议。最近在亚洲、澳大利亚、欧洲以及北美和南美洲举行了赞助会议。在过去的几年里，协会积极寻求增加它是赞助商的会议的范围和次数。这一努力的特别目标是拥抱逻辑已经开始发挥重要作用的新的和新兴的领域，包括计算机科学、语言学和认知科学。这个项目将允许一个成功的研究生旅行奖励计划继续下去，该计划自1993年以来一直由协会管理，自1997年以来一直由国家科学基金会提供部分资金。事实证明，这个项目是一种高效的方式，可以让逻辑专业的学生参加重要的专业会议，在那里他们可以与顶尖的逻辑专家见面并交流思想，这段经历是培养未来该领域博士的重要组成部分。S说。1998年至2001年期间，国家科学基金会资助的奖项中，近50%颁发给了后来获得博士学位的学生。S逻辑。有关该协会的更多信息，请访问其网站：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.