课题基金 / 基金详情

ISSTA 2015 Student Travel (International Symposium on Software Testing and Analysis)

ISSTA 2015 Student Travel (International Symposium on Software Testing and Analysis)
ISSTA 2015学生游记(软件测试与分析国际研讨会)
批准号:
1542293
负责人:
Michal Young
金额:
$1.2万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-11-01 至 2016-04-30

项目摘要

项目成果

Michal Young的其他基金

相似基金

相关文献

中文摘要
翻译
这笔助学金支持大学生参加将于2015年7月中旬在马里兰州巴尔的摩举行的软件测试和分析国际研讨会(ISSTA 2015)。ISSTA是这一研究领域的顶级会议,该领域是软件工程的关键领域。在遴选过程中,将适当考虑代表性不足的群体。这笔资金对学生推进他们的研究生涯和国家在科学和工程领域的优先事项非常重要。
英文摘要
This grant supports university students to travel to the International Symposium on Software Testing and Analysis (ISSTA 2015) which will take place in Baltimore, Maryland in mid-July, 2015. ISSTA is a top conference in this research area, which is a key area of Software Engineering. In the selection process, due consideration will be given to underrepresented groups. The funding is important for students advance their research careers and to the nation's priorities in science and engineering.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Collaborative Research: Dynamic Invariant Inference, Enhanced
  • 批准号:
    0917391
  • 项目类别:
    Standard Grant
  • 资助金额:
    $16.7万
  • 财政年份:
    2009
  • 负责人:
    Michal Young
  • 依托单位:
CSEM Scholars: Options in Mathematics and Computer Science
  • 批准号:
    9986652
  • 项目类别:
    Standard Grant
  • 资助金额:
    $22.0万
  • 财政年份:
    2000
  • 负责人:
    Michal Young
  • 依托单位:
U.S.-Italy Cooperative Research: Multi-Formalism Support forDesign and Analysis of Concurrent Software
  • 批准号:
    9217432
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.69万
  • 财政年份:
    1993
  • 负责人:
    Michal Young
  • 依托单位:
PYI: Improving the Dependability of Large-Scale Concurrent Software
  • 批准号:
    9157629
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $25.2万
  • 财政年份:
    1991
  • 负责人:
    Michal Young
  • 依托单位:
国内基金
海外基金
基于致灾因子动态变化的震后长时序滑坡危险性研究——以2015年尼泊尔地震为例
  • 批准号:
    42307268
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    30.00万元
  • 批准年份:
    2023
  • 负责人:
    田颖颖
  • 依托单位:
2015年以来格陵兰海溢流快速减弱的机理与影响
  • 批准号:
    --
  • 项目类别:
    面上项目
  • 资助金额:
    56万元
  • 批准年份:
    2022
  • 负责人:
    王晓宇
  • 依托单位:
青藏高原及周边2002-2015地下水储量变化的分离研究
  • 批准号:
    42004007
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    24.0万元
  • 批准年份:
    2020
  • 负责人:
    相龙伟
  • 依托单位:
2015年尼泊尔地震震后形变动力学机理及岩石流变性质研究
  • 批准号:
    42074116
  • 项目类别:
    面上项目
  • 资助金额:
    59.0万元
  • 批准年份:
    2020
  • 负责人:
    赵斌
  • 依托单位: