课题基金 / 基金详情

Venia legendi: Informatik

Venia legendi: Informatik
Venia legendi:计算机科学
批准号:
5256666
负责人:
Professor Dr. Michael Kohlhase
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Heisenberg Fellowships
财政年份:
2000
资助国家:
德国
项目状态:
已结题
起止时间:
1999-12-31 至 2002-12-31
关键词:

项目摘要

项目成果

Professor Dr. Michael Kohlhase的其他基金

相似基金

相关文献

中文摘要
翻译
海森堡方案资助的先决条件是国际上研究项目的高科学质量和原创性,以及是否适合进一步获得大学教师资格。申请者需要满足被任命为永久教授的所有要求。该计划的目的是使杰出的科学家能够为科学领导职能做准备,同时在进一步的研究课题上工作。这项研究不一定需要以项目的形式规划和进行,因此,与其他资助方案的程序不同,这项研究不需要申请摘要和最终报告,因此不会在GEPRIS中公布。
英文摘要
The precondition for a Heisenberg Programme funding is high scientific quality and originality of the research project at international level and suitability for further qualification as a university teacher. Applicants need to meet all the requirements for appointment to a permanent professorship.The aim of this programme is to enable outstanding scientists to prepare for a scientific leadership function, and simultaneously work on further research topics. This research does not necessarily need to be planned and carried out in the form of a project.For this reason, and unlike the procedure in other funding programmes, both the abstracts of applications and final reports are not required and will therefore not be published in GEPRIS.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
ALMANAC: Argumentation Logics Manager & Argument Context Graph
  • 批准号:
    375503251
  • 项目类别:
    Priority Programmes
  • 资助金额:
    $0.0万
  • 财政年份:
    2017
  • 负责人:
    Professor Dr. Michael Kohlhase
  • 依托单位:
OAF: An Open Archive of Formalizations
  • 批准号:
    247572299
  • 项目类别:
    Research Grants
  • 资助金额:
    $0.0万
  • 财政年份:
    2014
  • 负责人:
    Professor Dr. Michael Kohlhase
  • 依托单位:
Formal Methods and Semantic Technologies for Engineering Design Processes
  • 批准号:
    202210179
  • 项目类别:
    Research Grants
  • 资助金额:
    $0.0万
  • 财政年份:
    2011
  • 负责人:
    Professor Dr. Michael Kohlhase
  • 依托单位:
Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics and software engineering
  • 批准号:
    153521782
  • 项目类别:
    Research Grants
  • 资助金额:
    $0.0万
  • 财政年份:
    2009
  • 负责人:
    Professor Dr. Michael Kohlhase
  • 依托单位:
海外基金