Student Support for 2019 International Conference on Logic Programming

2019年国际逻辑编程会议学生支持

• 批准号: 1922863
• 负责人: Son Tran
• 金额: $ 1.02万
• 依托单位: New Mexico State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-08-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1922863&HistoricalAwards=false
• 关键词: Student; Support; 2019; International; Conference

This student travel grant is to enhance the education of selected US graduate students in the research area of Logic Programming. This will be realized by enabling them to attend the 2019 International Conference in Logic Programming (ICLP), which will include a logic programming Doctoral Consortium (DC) and a Fall School in Logic Programming (FSLP) for these students. An important focus of the conference is to improve student education in the field of Logic Programming. The conference organization and governance include many prominent researchers in the area. The conference will help nurture the next generation of ICLP researchers by enabling students to meet senior researchers at the conference and take part in face-to-face discussions with them. The proposed activity furthers technological advancement in the area of logic programming, which is currently seeing substantial industrial interest. ICLP has been the premier international event for presenting research in logic programming in areas including foundations, languages, declarative programming, logic solver implementation, and applications. Contributions are sought in all areas of logic programming. Supporting the educational mission of the conference will bring long-term benefits to both industry and academia.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.

这笔学生旅费补助金旨在加强选定的美国研究生在逻辑编程研究领域的教育。这将通过让他们参加 2019 年逻辑编程国际会议 (ICLP) 来实现，其中包括为这些学生设立的逻辑编程博士联盟 (DC) 和逻辑编程秋季学校 (FSLP)。 会议的一个重要焦点是改善逻辑编程领域的学生教育。 会议组织和治理包括该领域的许多著名研究人员。该会议将使学生能够在会议上见到高级研究人员并与他们进行面对面的讨论，从而帮助培养下一代 ICLP 研究人员。 拟议的活动进一步推动了逻辑编程领域的技术进步，该领域目前引起了巨大的工业兴趣。 ICLP 是展示逻辑编程研究的首要国际活动，涉及基础、语言、声明性编程、逻辑求解器实现和应用等领域。寻求逻辑编程所有领域的贡献。 支持会议的教育使命将为工业界和学术界带来长期利益。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，认为值得支持。