Midwest Verification Day (MVD) 2013
Midwest Verification Day (MVD) 2013
批准号:
1341855
负责人:
Lenore Zuck
金额:
$1.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-08-01 至 2015-01-31
中文摘要
该奖项将支持学生前往2013年9月在伊利诺伊大学芝加哥分校举行的第五届中西部验证日(MVD)。MVD是一个非正式的区域讲习班,其目标是在核查和正式方法方面培养一个区域研究网络。这些资金将帮助支持美国学生,重点是在其项目的高级阶段的博士生和学生,否则将无法参加MVD。支持学生参加专业会议和研讨会是NSF的一项非常重要的任务。更广泛的影响包括培训这一重要研究领域的下一代研究人员。
英文摘要
This award will support student travel to the fifth Midwest Verification Day (MVD), to be held at the University of Illinois at Chicago in September 2013. MVD is an informal regional workshop with the goal of cultivating a regional research network in verification and formal methods. The funds will help support U.S. students, focusing on Ph.D. students at an advanced stage in their program and students who would otherwise not be able to attend MVD. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. Broader impacts include training the next generation of researchers in this important research area.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: A Roadmap for research towards verification of NextG technologies
-
批准号:2140207
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2021
-
负责人:Lenore Zuck
-
依托单位:
FMitF: Track I: Injecting Formal Methods into Internet Standardization
-
批准号:1918429
-
项目类别:Standard Grant
-
资助金额:$74.97万
-
财政年份:2019
-
负责人:Lenore Zuck
-
依托单位:
SHF: Medium: Self-certifying Compilation and its Applications
-
批准号:1564296
-
项目类别:Standard Grant
-
资助金额:$85.45万
-
财政年份:2016
-
负责人:Lenore Zuck
-
依托单位:
TWC: Medium: Collaborative: Foundations of Application-Sensitive Access Control Evaluation
-
批准号:1228947
-
项目类别:Standard Grant
-
资助金额:$65.33万
-
财政年份:2012
-
负责人:Lenore Zuck
-
依托单位:
EAGER: From Devlopment Tools to Secure Web Applications
-
批准号:1141863
-
项目类别:Standard Grant
-
资助金额:$22.82万
-
财政年份:2011
-
负责人:Lenore Zuck
-
依托单位:
Translation Validation of Advanced Compiler Optimizations
-
批准号:0456163
-
项目类别:Continuing Grant
-
资助金额:$11.38万
-
财政年份:2004
-
负责人:Lenore Zuck
-
依托单位:
Translation Validation of Advanced Compiler Optimizations
-
批准号:0306538
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:2003
-
负责人:Lenore Zuck
-
依托单位:
CCR: The First Annual Conference on Verification, Model Checking and Abstract Interpretation 2003
-
批准号:0223760
-
项目类别:Standard Grant
-
资助金额:$0.65万
-
财政年份:2002
-
负责人:Lenore Zuck
-
依托单位:
Translation Validation of Advanced Compiler Optimizations
-
批准号:0098299
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2001
-
负责人:Lenore Zuck
-
依托单位:
Applications of Knowledge Theory to Distributed Systems
-
批准号:8910289
-
项目类别:Standard Grant
-
资助金额:$4.12万
-
财政年份:1989
-
负责人:Lenore Zuck
-
依托单位:
海外基金