• 网站首页

    HOME

  • 平台介绍

    INTRODUCTION

  • 会议申报

    APPLICATION

  • 会议服务

    SERVICE

  • 学术动态

    JOURNAL

  • 学术仓储

    REPOSITORY

  • 关于我们

    ABOUT US

  • 刊名: 国际学术动态

    主办单位:  华中科技大学

    出版周期:  双月

    出版地:湖北省武汉市

    语种:  中文

    开本:  大16开

    创刊时间:  1983

    第7届Domain理论国际研讨会

    【期数】:2005年03期

    【作者】:梁基华

    【摘要】:第7届Domain理论国际研讨会(Domains Ⅶ)于2004年8月29日至9月2日在德国Darmstadt技术大学举行。与会学者 45人,来自10余个国家,主要是德国、英国、法国和美国。中国有两位学者参会。 Domain理论国际研讨会始于1994年,由德国Darmstadt技术大学的Klaus Keimel教授发起,并在该校举办了第1届。随后轮流在德国、英国举行。本届研讨会又回到Darmstadt技术大学举行,为庆祝Keimel教授65周岁生日。 Domain理论属于理论计算机科学最重要的内容,其目的是为程序语言的语义学奠定数学基础。该学科产生于20世纪70年