课题基金 / 基金详情

Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2012

Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2012
俄勒冈编程语言暑期学校会议支持，2012 年
批准号：
1240237
负责人：
Benjamin Pierce
金额：
$1.5万
依托单位：
University of Pennsylvania
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2012
资助国家：
美国
项目状态：
已结题
起止时间：
2012-06-15 至 2013-05-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1240237&HistoricalAwards=false
关键词：
ConferenceSupportOREGONPROGRAMMINGLANGUAGES

项目摘要

项目成果

Benjamin Pierce的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This grant provides student travel and subsistence for the Oregon Programming Languages Summer School (OPLSS), which provides an important and valuable educational opportunity for students to study theoretical topics related to programming languages and methods/verification. The students who attend are from a large number of countries. The NSF support ensures participation of US students while paying attention to underrepresented groups. The broader impacts are include building international community and cooperation in foundational research areas, and enhancing education of students with exposure to and interaction with leading-edge research and researchers.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: Bringing Python Up to Speed
  • 批准号：
    1955565
  • 项目类别：
    Standard Grant
  • 资助金额：
    $43.8万
  • 财政年份：
    2020
  • 负责人：
    Benjamin Pierce
  • 依托单位：
    University of Pennsylvania
Collaborative Research: RAPID: Virtual Conference Platform
  • 批准号：
    2035101
  • 项目类别：
    Standard Grant
  • 资助金额：
    $3.65万
  • 财政年份：
    2020
  • 负责人：
    Benjamin Pierce
  • 依托单位：
    University of Pennsylvania
TWC: Medium: Micro-Policies: A Framework for Tag-Based Security Monitors
  • 批准号：
    1513854
  • 项目类别：
    Standard Grant
  • 资助金额：
    $120.0万
  • 财政年份：
    2015
  • 负责人：
    Benjamin Pierce
  • 依托单位：
    University of Pennsylvania
SHF: Small: Random Testing for Language Design
  • 批准号：
    1421243
  • 项目类别：
    Standard Grant
  • 资助金额：
    $50.0万
  • 财政年份：
    2014
  • 负责人：
    Benjamin Pierce
  • 依托单位：
    University of Pennsylvania
国内基金
海外基金
两性离子载体（zwitterionic support）作为可溶性支载体在液相有机合成中的应用
  • 批准号：
    21002080
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    19.0万元
  • 批准年份：
    2010
  • 负责人：
    霍聪德
  • 依托单位：
    西北师范大学
基于Support Vector Machines（SVMs)算法的智能型期权定价模型的研究
  • 批准号：
    70501008
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    17.0万元
  • 批准年份：
    2005
  • 负责人：
    曹丽娟
  • 依托单位：
    复旦大学