课题基金 / 基金详情

Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2013

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

项目摘要

项目成果

Benjamin Pierce的其他基金

相似基金

相关文献

中文摘要
翻译
该奖项为2013年俄勒冈州编程语言暑期学校（OPLSS）的学生提供旅费和生活费。这个暑期学校为学生提供了一个重要的和有价值的教育机会来学习与编程语言和方法/验证相关的理论主题。参加的学生来自许多国家。美国国家科学基金会的支持确保了美国学生的参与，同时关注了代表性不足的群体。更广泛的影响包括在基础研究领域建立国际社会和合作，以及加强学生接触和互动前沿研究和研究人员的教育。
英文摘要
This award provides student travel and subsistence for the 2013 Oregon Programming Languages Summer School (OPLSS). This summer school 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
  • 负责人：
    曹丽娟
  • 依托单位：
    复旦大学