ISSTA 2015 Student Travel (International Symposium on Software Testing and Analysis)
ISSTA 2015 Student Travel (International Symposium on Software Testing and Analysis)
批准号:
1542293
负责人:
Michal Young
金额:
$1.2万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-11-01 至 2016-04-30
中文摘要
该补助金支持大学生前往软件测试和分析国际研讨会(ISSTA 2015),将于2015年7月中旬在马里兰州的巴尔的摩举行。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
-
依托单位:
Integrated Concurrency Analysis in a Software Development Environment
-
批准号:9010135
-
项目类别:Standard Grant
-
资助金额:$5.5万
-
财政年份:1990
-
负责人:Michal Young
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于致灾因子动态变化的震后长时序滑坡危险性研究——以2015年尼泊尔地震为例
-
批准号:42307268
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:田颖颖
-
依托单位:
2015年以来格陵兰海溢流快速减弱的机理与影响
-
批准号:--
-
项目类别:面上项目
-
资助金额:56万元
-
批准年份:2022
-
负责人:王晓宇
-
依托单位:
青藏高原及周边2002-2015地下水储量变化的分离研究
-
批准号:42004007
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:相龙伟
-
依托单位:
2015年尼泊尔地震震后形变动力学机理及岩石流变性质研究
-
批准号:42074116
-
项目类别:面上项目
-
资助金额:59.0万元
-
批准年份:2020
-
负责人:赵斌
-
依托单位:
卷柏属同穗亚属Selaginella subg. Stachygynandrum sensu Zhou & Zhang (2015) 的分子系统学和分类学研究
-
批准号:31900186
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2019
-
负责人:周新茂
-
依托单位:
2015年Mw6.4 皮山地震震后变形及其对岩石圈流变结构的制约
-
批准号:41904094
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2019
-
负责人:王洵
-
依托单位:
中国援外建筑研究 1960-2015
-
批准号:51878584
-
项目类别:面上项目
-
资助金额:61.0万元
-
批准年份:2018
-
负责人:薛求理
-
依托单位:
面向MOSAIC气溶胶机制的GSI同化系统开发及对2015-2017年冬季京津冀地区污染变化特征的研究
-
批准号:41807312
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:陈丹
-
依托单位:
基于大地测量观测的 2015年 Mw 7.8尼泊尔地震震后变形研究
-
批准号:41674023
-
项目类别:面上项目
-
资助金额:70.0万元
-
批准年份:2016
-
负责人:刁法启
-
依托单位:
2015年尼泊尔地震影响珠峰地区垂向变化的大地测量监测及反演研究
-
批准号:41674015
-
项目类别:面上项目
-
资助金额:70.0万元
-
批准年份:2016
-
负责人:陈刚
-
依托单位: