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

参加 ASL 北美年会和欧洲夏季会议的学生旅行奖

• 批准号: 1317262
• 负责人: Russell Miller
• 金额: $ 12.5万
• 依托单位: Association For Symbolic Logic
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-06-15 至 2022-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1317262&HistoricalAwards=false
• 关键词: Student; Travel; Awards; Attend; North

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.

该项目为逻辑研究生提供了旅行奖，以支持他们参加符号逻辑协会（ASL）和协会赞助的会议。该协会的两个主要会议，可以说是逻辑领域中最重要的会议，是北美年度会议和欧洲夏季会议（也称为逻辑座谈会）。该协会还每年在共同的数学会议上开会，通常共同赞助美国数学社会和/或美国数学协会的一个或多个事件，并与美国哲学的三个师之一一起旋转基础协会。全世界举行了ASL赞助的会议。该协会致力于确保其会议及其赞助商全面涵盖逻辑及其应用程序，并代表了该领域正在完成的最高质量工作。因此，他们为认真的智力交流提供了重要的机会，从而刺激了研究的进步。对于逻辑研究生而言，参加这些会议中的任何一个都是他们培训和随后进入专业的重要组成部分。符号逻辑协会是领先的国际逻辑学家学会，其成员包括计算机科学，认知科学，语言学，数学和哲学的研究人员。它组织和赞助许多重要的会议。其中最突出的是北美年度会议和欧洲夏季会议，每年一次举行。最近的赞助会议在亚洲，澳大利亚，欧洲以及北美和南美举行。该协会积极寻求增加其赞助商的范围和数量，其中一个特别的目的是拥抱新的和新兴领域的逻辑，其中逻辑起着重要作用，包括计算机科学，语言学和认知科学。该项目将允许该协会自1993年以来一直在该协会管理的研究生旅行奖的成功计划继续进行，并自1997年以来一直由NSF进行部分资助。该计划已被证明是将学生带入学生的一种非常有效的手段逻辑到重要的专业会议，他们可以在这些会议上与主要的逻辑学家见面并交换想法，并就其原始研究提供了论文。 N.S.F.资助的奖项中约有84％在1998 - 2005年期间（第一个N.S.F.颁发的奖项是在1998年颁发的）。随后获得了逻辑博士学位的学生。这些获奖者中有许多获得了出色的博士后和永久职位。一些早期的奖励获得者已经在ASL或ASL赞助的会议计划委员会任职，并已任命为协会的常设委员会。有关协会的更多信息，请参见其网站：www.aslonline.org。