Travel: Student Travel Support for Logic Mentoring Workshops 2024

旅行：2024 年逻辑辅导研讨会的学生旅行支持

• 批准号: 2408942
• 负责人: Michaël Cadilhac
• 金额: $ 1.63万
• 依托单位: DePaul University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2024
• 资助国家: 美国
• 起止时间: 2024-02-15 至 2024-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2408942&HistoricalAwards=false
• 关键词: Travel; Student; Support; Logic; Mentoring

This conference grant will enable students to attend the Logic Mentoring Workshop (LMW 2024), which will be co-located with Computer Science Logic (CSL) Conference, in Naples, Italy, in February 2024, and Logic in Compute Science (LICS) conference in Tallinn, Estonia in July 2024. LMW seeks to introduce and mentor students who have already shown interest in logic and semantics research by bringing them to CSL and 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 the conference and the workshop foster. The LMW workshop will focus on mentoring and career advice to enable undergraduate and graduate students, including women and students from other underrepresented groups, to pursue and thrive in research careers both in logic/semantics specifically and in computer science more 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 2024），该研讨会将与计算机科学逻辑（CSL）会议共同划分，在2024年2月在意大利的那不勒斯举行，并在Compute Science（LICS）会议（LICS）在塔利亚尼亚（Tallinia）的Compute Science（LICS）会议上，以介绍了LMW，并介绍了LMW的逻辑。 CSL和LIC，因此他们可以了解当前的研究问题，与同时代人建立联系，并与该领域的领导者进行互动。资金资助的学生将从参与会议和研讨会寄养的关键技术，专业和社交交流的机会中受益匪浅。 LMW研讨会将专注于指导和职业建议，以使本科生和研究生（包括其他代表性不足的群体的妇女和学生）能够更普遍地从事逻辑/语义学的研究职业。该旅行赠款将为美国和/或美国公民研究生提供职业发展和学习机会。参加会议是我们社会未来计算机科学研究人员研究生院教育的重要组成部分。学生有机会与世界一流的研究人员讨论领先的研究，并建立网络，联系和指导关系，在他们的研究职业期间将为他们提供良好的服务。该奖项反映了NSF的法定任务，并被认为值得通过基金会的知识分子优点评估来获得支持，并具有更广泛的影响。