第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年