SHF: ESEC/FSE 2018 Doctoral Consortium, Mentorship, and Conference Travel Support
SHF: ESEC/FSE 2018 Doctoral Consortium, Mentorship, and Conference Travel Support
批准号:
1837807
负责人:
Gary Leavens
金额:
$3.4万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-09-01 至 2019-02-28
中文摘要
该基金为参加ESEC/FSE的学生和初级教师提供旅费支持,ESEC/FSE是最近合并的两个顶级软件工程会议的结果——软件工程基础国际研讨会(FSE)和它的欧洲同行,欧洲软件工程会议(ESEC)。旅行支持是针对博士研讨会的与会者和第一次与会者,他们将参加由组织者提供的指导计划。该资助使参与者能够参与技术信息交流和研究对话/合作,从而推动该领域的发展。参与是一种重要的教育、培训和指导经验。本次会议的国际性质有助于在美国培养具有全球意识的研究和教育工作者队伍,并有助于建立软件工程领域的研究人员社区。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
The grant provides travel support to students and junior faculty to attend ESEC/FSE, the result of a recent merger of two, top-tier conferences in Software Engineering -- the International Symposium on the Foundations of Software Engineering (FSE) and its European counterpart, the European Software Engineering Conference (ESEC)). The travel support is aimed at attendees of the Doctoral Symposium and first-time attendees, who will participate in a mentorship program provided by the organizers. The grant enables participants to engage in technical exchange of information and research conversations/collaborations leading to advances the field. Participation is an important education, training and mentoring experience. The international nature of this conference helps develop a globally-aware workforce of research and educators within the US and helps build the community of researchers in the field of Software Engineering.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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF:Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise
-
批准号:1518789
-
项目类别:Standard Grant
-
资助金额:$32.0万
-
财政年份:2015
-
负责人:Gary Leavens
-
依托单位:
TWC: Medium: Collaborative: Flexible and Practical Information Flow Assurance for Mobile Apps
-
批准号:1228695
-
项目类别:Standard Grant
-
资助金额:$32.57万
-
财政年份:2012
-
负责人:Gary Leavens
-
依托单位:
SHF: Small: Collaborative Research: Balancing Expressiveness and Modular Reasoning for Aspect-Oriented Programming
-
批准号:1017262
-
项目类别:Continuing Grant
-
资助金额:$24.1万
-
财政年份:2010
-
负责人:Gary Leavens
-
依托单位:
SHF: Small: Collaborative Research: Specification Language Foundations for Modular Reasoning Methodologies
-
批准号:0916715
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2009
-
负责人:Gary Leavens
-
依托单位:
SHF: Small: Collaborative Research: Specification and Verification of Safety Critical Java
-
批准号:0916350
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2009
-
负责人:Gary Leavens
-
依托单位:
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research
-
批准号:0709217
-
项目类别:Continuing Grant
-
资助金额:$27.5万
-
财政年份:2007
-
负责人:Gary Leavens
-
依托单位:
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research
-
批准号:0808913
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Gary Leavens
-
依托单位:
Collaborative Research: Formal Methods for Behavioral Subclassing and Callbacks
-
批准号:0429567
-
项目类别:Continuing Grant
-
资助金额:$12.0万
-
财政年份:2004
-
负责人:Gary Leavens
-
依托单位:
More Modular Reasoning for Aspect-Oriented Programs
-
批准号:0428078
-
项目类别:Standard Grant
-
资助金额:$5.5万
-
财政年份:2004
-
负责人:Gary Leavens
-
依托单位:
Formal Methods for Extensible Object-Oriented Software
-
批准号:0097907
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2001
-
负责人:Gary Leavens
-
依托单位:
Formal Methods for Multimethod Software Components
-
批准号:9803843
-
项目类别:Standard Grant
-
资助金额:$21.0万
-
财政年份:1998
-
负责人:Gary Leavens
-
依托单位:
A Theoretical and Practical Basis for Applying Formal Methods to Object-Oriented Programming and C++
-
批准号:9503168
-
项目类别:Continuing Grant
-
资助金额:$24.0万
-
财政年份:1995
-
负责人:Gary Leavens
-
依托单位:
Formal Specification for C++ Programs
-
批准号:9108654
-
项目类别:Standard Grant
-
资助金额:$5.53万
-
财政年份:1991
-
负责人:Gary Leavens
-
依托单位:
海外基金