NSF Student Travel Grant for Logic Mentoring Workshop 2019 (LMW)

2019 年逻辑指导研讨会 NSF 学生旅费补助金 (LMW)

• 批准号: 1926333
• 负责人: Eric Koskinen
• 金额: $ 1.46万
• 依托单位: Stevens Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-05-15 至 2020-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1926333&HistoricalAwards=false
• 关键词: NSF; Student; Travel; Grant; Logic

This grant will enable students to attend the Logic Mentoring Workshop (LMW 2019) which will be co-located with the International Conference on Logic in Computer Science (LICS) to be held in July in Vancouver, British Columbia. LICS is the flagship conference in logic and semantics. LMW seeks to introduce and mentor students who have already shown interest in logic and semantics research by bringing them to LICS so they can learn about current research problems, make connections with their contemporaries, and interact with leaders in the field. Funded students will benefit greatly from the opportunity to engage in the critical technical, professional, and social exchanges that both conferences foster. The LMW workshop will focus on mentoring and career advice to enable undergraduate and graduate students, and especially women, and underrepresented minorities to pursue and thrive in research careers both in logic/semantics specifically and in computer science generally. This travel grant will enable career development and learning opportunities for US-based and/or US citizen graduate students. Attending conferences is an important component of graduate school education for our society's future computer science researchers. Students have the opportunity to discuss leading edge research with world-class researchers, and establish networks, connections, and mentoring relationships that will serve them well during their research careers.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该补助金将使学生能够参加逻辑指导研讨会（LMW 2019），该研讨会将与7月在不列颠哥伦比亚省温哥华举行的计算机科学逻辑国际会议（LICS）共同举办。LICS是逻辑和语义学的旗舰会议。LMW旨在介绍和指导那些已经对逻辑和语义研究感兴趣的学生，将他们带到LICS，以便他们能够了解当前的研究问题，与同时代人建立联系，并与该领域的领导者互动。受资助的学生将从参与这两个会议所促进的关键技术，专业和社会交流的机会中受益匪浅。LMW研讨会将侧重于指导和职业建议，使本科生和研究生，特别是女性，以及代表性不足的少数民族能够在逻辑/语义学和计算机科学领域的研究生涯中追求和发展。这项旅行补助金将为美国和/或美国公民研究生提供职业发展和学习机会。参加会议是我们社会未来计算机科学研究人员研究生院教育的重要组成部分。学生有机会与世界一流的研究人员讨论前沿研究，并建立网络，联系和指导关系，这将有助于他们在研究生涯中的良好服务。该奖项反映了NSF的法定使命，并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。