Student Support for 2019 International Conference on Logic Programming

这个学生旅费补助金是为了加强在逻辑编程的研究领域选定的美国研究生的教育。这将通过使他们能够参加2019年逻辑编程国际会议（ICLP）来实现，该会议将包括逻辑编程博士联盟（DC）和逻辑编程秋季学校（FSLP）。 会议的一个重要焦点是提高逻辑编程领域的学生教育。 会议的组织和管理包括该领域的许多杰出研究人员。该会议将有助于培养下一代ICLP研究人员，使学生能够在会议上与高级研究人员见面，并与他们进行面对面的讨论。 拟议的活动进一步推动了逻辑编程领域的技术进步，目前该领域正引起工业界的极大兴趣。ICLP一直是国际上首屈一指的逻辑编程研究活动，其领域包括基础，语言，声明式编程，逻辑求解器实现和应用。在逻辑编程的所有领域寻求贡献。 支持会议的教育使命将为工业界和学术界带来长期利益。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

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.