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 资助。事实证明，该计划是一种非常有效的手段，可以让逻辑学学生参加重要的专业会议，在这些会议上他们可以与领先的逻辑学家会面并交流想法，并发表有关他们原创研究的论文。大约 84% 的奖项由 N.S.F. 资助。 1998 年至 2005 年期间（第一个 N.S.F. 支持的奖项于 1998 年颁发）授予了随后获得逻辑学博士学位的学生。其中许多获奖者获得了优秀的博士后和永久职位。一些早期获奖者已经在 ASL 或 ASL 赞助的会议计划委员会任职，并被任命为协会的常务委员会成员。有关该协会的更多信息，请访问其网站：www.aslonline.org。