SHF: ESEC/FSE 2018 Doctoral Consortium, Mentorship, and Conference Travel Support

SHF:ESEC/FSE 2018 博士联盟、指导和会议差旅支持

基本信息

项目摘要

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

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Gary Leavens其他文献

Gary Leavens的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Gary Leavens', 18)}}的其他基金

SHF:Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise
SHF:大型:协作研究:利用数据和集体社区专业知识从开源存储库推断软件规范
  • 批准号:
    1518789
  • 财政年份:
    2015
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Standard Grant
TWC: Medium: Collaborative: Flexible and Practical Information Flow Assurance for Mobile Apps
TWC:媒介:协作:灵活实用的移动应用信息流保障
  • 批准号:
    1228695
  • 财政年份:
    2012
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Balancing Expressiveness and Modular Reasoning for Aspect-Oriented Programming
SHF:小型:协作研究:平衡面向方面编程的表达性和模块化推理
  • 批准号:
    1017262
  • 财政年份:
    2010
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Continuing Grant
SHF: Small: Collaborative Research: Specification Language Foundations for Modular Reasoning Methodologies
SHF:小型:协作研究:模块化推理方法的规范语言基础
  • 批准号:
    0916715
  • 财政年份:
    2009
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Specification and Verification of Safety Critical Java
SHF:小型:协作研究:安全关键 Java 的规范和验证
  • 批准号:
    0916350
  • 财政年份:
    2009
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Standard Grant
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research
协作研究:CRI:CRD:JML 社区基础设施——振兴工具和文档以帮助形式化方法研究
  • 批准号:
    0709217
  • 财政年份:
    2007
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Continuing Grant
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research
协作研究:CRI:CRD:JML 社区基础设施——振兴工具和文档以帮助形式化方法研究
  • 批准号:
    0808913
  • 财政年份:
    2007
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Continuing Grant
Collaborative Research: Formal Methods for Behavioral Subclassing and Callbacks
协作研究:行为子类化和回调的形式化方法
  • 批准号:
    0429567
  • 财政年份:
    2004
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Continuing Grant
More Modular Reasoning for Aspect-Oriented Programs
面向方面的程序的更多模块化推理
  • 批准号:
    0428078
  • 财政年份:
    2004
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Standard Grant
Formal Methods for Extensible Object-Oriented Software
可扩展的面向对象软件的形式化方法
  • 批准号:
    0097907
  • 财政年份:
    2001
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Standard Grant

相似海外基金

Travel: NSF Student Travel Grant for 2023 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
旅费:2023 年 ACM 欧洲软件工程联合会议和软件工程基础研讨会 (ESEC/FSE) 的 NSF 学生旅费补助
  • 批准号:
    2336361
  • 财政年份:
    2023
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Standard Grant
Travel Grant to ESEC/FSE Doctoral Symposia
ESEC/FSE 博士研讨会旅费资助
  • 批准号:
    1138306
  • 财政年份:
    2011
  • 资助金额:
    $ 3.4万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了