第二次全国计算机逻辑学术研讨会圆满成功

由计算机学会直属理论计算机科学学组委托华东化工学院计算机系主办、苏州大学工学院协办的第二次全国计算机逻辑学术研讨会于1991年5月在苏州大学召开,参加会议的有70余名代表。国内知名学者莫绍揆、陈火旺、孙永强、罗铸楷分别作了专题报告,会上交流了论文50余篇,并且与1991年在上海市举行的第五次全国“双 B”代数学术会议联合出版了《“双B”代数和计算机逻辑论文集》。会议还就计算机与逻辑的关系作了专门讨论。为促进计算机     

应对国际化挑战,提升综合竞争力——访香港科技大学计算机科学与工程系主任倪明选

2007年11月22-24日,"第十届中国计算机学院/系主任论坛"在香港科技大学举行。香港科技大学计算机科学与工程系承办了此次会议。来自全国59个计算机学院/系,以及相关企业共114名代表参加了会议。此次论坛云集了各高校计算机领域的领军人物,就培养国际化计算机人才等议题进行深入讨论,会议取得了圆满成功。其间,《计算机教育》杂志就当前计算机教育国际化等问题专访了香港科技大学计算机科学与工程系主任倪明选教授。     

21世纪计算机教育及人才培养（中）：应对国际化挑战，提升综合竞争力——访香港科技大学计算机科学与工程系主任倪明选

2007年11月22—24日,“第十届中国计算机学院／系主任论坛”在香港科技大学举行。香港科技大学计算机科学与工程系承办了此次会议。来自全国59个计算机学院／系,以及相关企业共114名代表参加了会议。此次论坛云集了各高校计算机领域的领军人物,就培养国际化计算机人才等议题进行深入讨论,会议取得了圆满成功。其间,《计算机教育》杂志就当前计算机教育国际化等问题专访了香港科技大学计算机科学与工程系主任倪明选教授。     

《IEEE第十九届国际多值逻辑会议》征文通知

IEEE第十九届国际多值逻辑会议定于1989年5月29日至31日在广州召开,会议将由IEEE计算机学会、中国计算机学会多值逻辑专业学组及华南工学院共同主办。内容包括代数与形式方法、电路/器件实现、故障检测与诊断、逻辑设计与开关理论、概率与变值系统,光计算、模糊逻辑、哲学问题、自动推理等。来稿用8.5×11英寸或A4的纸张隔行打印(Double Spaced),一式五份(英文)于1986年11月1日前寄亚太地区程序主席胡谋(通     

第二次全国容错计算会议简讯

由中国计算机学会容错计算专业学组、CAD及图形学专业委员会CAT学组及上海市计算机学会共同组织举办的第二次全国容错计算会议,于1987年10月28日～30日在上海铁道学院学术交流中心召开,来自全国各地111名代表出席了会议。 在会议开幕式上,本次会议主席郦萌、程序委员会主席徐拾义、容错学组组长魏道政、CAT学组组     

计算机工程与应用学会管理信息系统学组正式组建

<正> 为了更好地开展学组活动,本组在今年八月十五日至十八日召开的计算机学会软件分会第五届数据库会议及电子学会计算机工程与应用学会第一届管理信息系统学术交流会议     

第四届图形学研讨会在杭州召开

1989年4月25日至26日在杭州浙江大学召开了第四届图形学研讨会。会议由中国计算机学会计算机辅助设计和图形学专业委员会计算机图形学学组、中国电子学会计算机工程与应用学会计算机辅助设计与制造学组和浙江大学计算机系联合发起和主办。全国各地30余位计算机图形学专家参加了这次会议。东道主浙江大学校领导到会致词表示欢迎。     

中国第四届多值逻辑学术会议纪要

中国第四届多值逻辑学术年会,于1990年10月16—18日在杭州大学电子工程系召开,全国高等院校与科研单位的62篇学术论文参加了大会交流。重庆大学计算机研究所所长、多值逻辑学组组长陈延槐教授代表中国计算学会直属逻辑专业学组向大会作了学组工作报告,德国著名计算机科学家莫洛伽教授应邀在大会上作了有关神经网络与多     

计算机理论专业学组学术会议简讯

中国计算机学会理论专业学组于1983年11月18日至21日在长沙召开了第一次学术交流会。到会代表78名,来自全国59个单位。 会议通过大会报告和小组宣读论文广泛地进行了学术交流。报告和论文涉及到计算机理论领域的许多重要方面,如程序理论、计算机系统、形式语言和语义、可靠性理论、算     

全国计算机应用学术交流会简况

<正> “全国计算机应用学术交流会”于一九八六年九月十一日至九日十五日在山东海滨城市烟台隆重召开。参加会议的163名代表来自全国21个省、市的139个单位。本次会议由中国自动化学会计算机应用委员会、中国计算机学会计算机应用委员会、中国电子学会计算机工程与应用学会计算机在工业应用学组联合举办。     

第22次全国计算机安全学术交流会成功召开

由中国计算机学会计算机安全专业委员会、中国电子学会计算机工程与应用分会计算机安全保密学组共同主办,空军电子技术研究所承办的"第22次全国计算机安全学术交流会"于7月14日在河北张家界隆重开幕。来自国家党、政、军机关的代表以及全国各地信息网络安全领域的科学与教育人士、管理人员和企事业代表出席了会议。     

全国计算机应用学术交流会在烟台召开

中国自动化学会计算机应用委员会、中国计算机学会计算应用委员会、中国电子学会计算机工程与应用学会计算机在工业中应用学组于1986年9月11日至9月15日在山东省烟台市联合召开了“全国计算机应用学术交流会。”来自全国21个省、市的139个单位,共计163名代表出席了会议。这次     

2013年中国计算机学会人工智能会议(CCFAI2013)征文通知

中国计算机学会人工智能会议由中国计算机学会主办,中国计算机学会人工智能与模式识别专业委员会协办,每两年召开一次.本届会议将于2013年7月31日至8月2日在北京举行,会议由北京航空航天大学计算机学院承办.本次会议旨在为中国人工智能领域的学者提供一个交流最新研究成果的平台,汇聚从事人工智能理论、技术及应用研究的人员,广泛开展学术交流,研讨发展战略,以期促进人工智能理论、技术及应用的发展.会议录用的论文将推荐到《计算机研究与发展》、《模式识别与人工智能》、《计算机科学》、《计算机科学与探索》等国内权威     

第三届全国青年计算机学术会议在长沙召开

由中国计算机学会主办、国防科技大学承办的第三届全国青年计算机学术会议(NCYC’91)于5月22日至24日在湖南长沙召开。350多位来自全国各地的代表参加了此次青年学术会议。此次会议程委会共收到应征论文600余篇,它们来自全国(包括台湾省)的28个省市和自治区的230多个单位。其覆盖面很广,几乎包括了计算机所有经典研究领域和新型研究课题,全面反映了近几年来我国青年计算机工作者在计算机各领域所取得的最新     

第四届全国青年计算机会议在北京召开

由中国计算机学会主办、北京航空航天大学承办的第四届全国青年计算机会议(NCYCS’92)已于1992年11月7日至9日在北京国际会议中心(亚运村)胜利召开,会议论文集《计算机研究进展’92》已由清华大学出版社出版。第四届全国青年计算机会议自91年3月筹备以来,在国内各种学术会议上散发了征文通知三千余份,在《计算机学报》、《软件学报》、《电子学报》、《计算机研究与发展》、《人民日报》海外版、《计算机世界》等近三十家新闻媒介征集论文,在青年计算机科学工作者中得到了积极的反响,并通过计算机网向美、欧、日本等国留学生发出参加会议邀请,与港、澳、台计     

全国第二次中小型计算机网络及分布式控制系统学术交流会在江西庐山召开

中国自动化学会计算机应用委员会和中国电子学会计算机专业学会计算机在国民经济应用专业学组联合召开的全国第二次中小型计算机网络及分布式控制系统学术交流会于83年9月2日至6日在江西庐山举行。参加会议的有来自全国各地七十多个单位的110多名代表,国务院计算机和集成电路领导小组办公室胡贻志同志、全国科协学会部齐春霖同志以及铁道部计算机领导小组的负责同志参加了会议。     

全国办公自动化学术会议在沈举行

由中国自动化学会、中国仪器仪表学会、中国计算机学会和中国电子学会的办公自动化专业委员会或学组联合召开的第一届全国办公自动化学术会议于9月21至23日在沈阳召开。一百多名专家、教授及中青年科技工作者参加了会议。何文兴教授等分别在会上作了“OA系统开发问题的探讨”、“办公信息系统中的计算机科学技术问题”、“VLDB国际会议情况报告”、“关于PBX和LAN的讨论”的学术报告。在分组会上,与会同志分别对办公自动化、计算机网络与通讯、数据库及办公自动化应用、管理信息系统、人     

第三届全国计算机图形学与第一届全国工程数据库会议简讯

计算机学会计算机图形学学组及工程数据库学组于10月27日至10月30日在济南联合召开了第三届全国计算机图形学及第一届全国工程数据库学术会议。会议由山东大学计算机系主办,并得到山东师范大学、华北计算所、清华大学计算机系、北方CAD公司、山东省计算机服务公司、山东省计算中     

译者序

<正> 由美国斯坦福研究院计算机科学实验室R. S. Boyer和J S. Moore博士合著、美国79年出版的《计算逻辑》一书,系统地介绍了当今计算机科学工作者十分关注并为之积极展开研究的课题——机械定理证明与程序正确性证明的形式化理论及其在计算机上实施的机械化方法。尤其是对人所共知、难度颇大的如何实现归纳法机械化的问题进行了卓有成效的研究,并给出了各式各     

第8届全国青年计算机工作者会议(NCYCS''''00)征文通知

由中国计算机学会主办 ,南京大学计算机软件新技术国家重点实验室承办的第 8届全国青年计算机工作者会议(NCYCS'0 0 )定于 2 0 0 0年 10月 2 5日在南京举行。一、征文范围　　计算机科学理论　　计算机体系结构　　并行与分布处理　　图形与图象处理　　文字信息处理数据库软件工程网络与通信多媒体技术计算机应用计算机安全与保密计算机技术与产业器件与集成电路技术人工智能与神经元网络CAD、CAM等计算机辅助技术　　二、征文要求(1)第一作者年龄不超过 40岁 ,所投稿件必须是从未公开发表过的论文。(2 )来稿需一式 3份 ,注明所属领域…