5月17日至20日，计算与逻辑研究组在北京香山举办了“计算与逻辑北京夏季国际研讨会”。本次研讨会是国家自然科学基金委员会资助的重大国际(地区)合作项目“计算的模型、理论和应用中的新方向”2004年学术活动的组成部分。

    会议由李昂生研究员主持，国家自然科学基金委会信息科学部徐琳、软件所副所长黄涛、科技处处长操云甫等到会祝贺并致词。会议有幸邀请到图灵奖获得者姚期智教授的与会指导。近40位国内外专家学者参加了会议，他们分别来自美国康奈尔大学、伊利诺斯大学等、英国利兹大学、意大利西耶纳大学、新加坡国立大学、新西兰惠灵顿维多利亚大学、软件所、北京师范大学、上海交通大学、南京大学、中山大学、华东船舶工业学院、贵州大学、山东大学和云南师范大学。会上，国内外专家作了16个“一小时报告”，以及4个“三十分钟专题报告”。会议主要交流了可计算性理论及其应用的最新成果，介绍了一些领域内新的方向和方法，增进了国内外的学术交流与合作。会议期间还组织了项目组成员的座谈会，就项目执行情况等进行了讨论。