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,这是最近两个软件工程顶级会议合并的结果-软件工程基础国际研讨会(FSE)及其欧洲同行,欧洲软件工程会议(ESEC))。 旅行支持是针对博士研讨会的与会者和首次与会者,谁将参加由组织者提供的导师计划。该补助金使参与者能够参与信息的技术交流和研究对话/合作,从而推动该领域的发展。 参与是一种重要的教育、培训和指导经验。该会议的国际性质有助于在美国培养具有全球意识的研究和教育工作者队伍,并有助于建立软件工程领域的研究人员社区。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
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
-
依托单位:
海外基金