课题基金 / 基金详情

1999 Dagstuhl Seminar on Deduction; March 1-5, l999; Wadern, Germany

1999 Dagstuhl Seminar on Deduction; March 1-5, l999; Wadern, Germany
1999 Dagstuhl 演绎研讨会；
批准号：
9971647
负责人：
Deepak Kapur
金额：
$0.0万
依托单位：
SUNY at Albany
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1999
资助国家：
美国
项目状态：
已结题
起止时间：
1999-01-01 至 1999-03-29
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9971647&HistoricalAwards=false
关键词：
1999DagstuhlSeminarDeductionMarch

项目摘要

项目成果

Deepak Kapur的其他基金

相似基金

相关文献

中文摘要
翻译
由Ulrich Furbach教授（德国科布伦茨大学）、Harald Ganzinger教授（德国萨尔布吕肯MPI）、Ryuzo Hasegawa教授（日本九州大学）和Deepak Kapur教授（纽约州立大学奥尔巴尼分校）组织的国际演出法研讨会将于1999年3月1日至5日在德国瓦登的Dagstuhl研讨会中心举行。来自世界各地的大约70名自动推理研究人员被邀请参加。该奖项支持应邀参加研讨会的美国人的旅费。
英文摘要
An International seminar on deduction - organized by Prof. Ulrich Furbach (University of Koblenz, Germany), Prof. Harald Ganzinger (MPI Saarbrucken, Germany), Prof. Ryuzo Hasegawa (Kyushu University, Japan), and Prof. Deepak Kapur (SUNY at Albany) - will be help March 1-5, l999 at the Dagstuhl Seminar Center in Wadern, Germany. About 70 automated deduction researchers from around the world have been invited to participate. This award supports the travel of American invitees to attend the seminar.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: Comprehensive Groebner, Parametric GCD Computations and Real Geometric Reasoning
  • 批准号：
    1908804
  • 项目类别：
    Standard Grant
  • 资助金额：
    $30.0万
  • 财政年份：
    2019
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
Generating Octagonal Invariants using Quantifier Elimination Heuristics
  • 批准号：
    1248069
  • 项目类别：
    Standard Grant
  • 资助金额：
    $8.32万
  • 财政年份：
    2012
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
Math: Algorithms for Parametric (Comprehensive) Groebner Computations
  • 批准号：
    1217054
  • 项目类别：
    Standard Grant
  • 资助金额：
    $29.95万
  • 财政年份：
    2012
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools
  • 批准号：
    0905222
  • 项目类别：
    Standard Grant
  • 资助金额：
    $24.0万
  • 财政年份：
    2009
  • 负责人：
    Deepak Kapur
  • 依托单位：
    University of New Mexico
海外基金