2017年12月13--14日,由重点实验室主办的第七届高可信软件技术研讨会暨高可信软件技术学科引智基地学术研讨会在北京大学召开,会议由引智基地的国内外重要成员共同主持。
首先，高可信软件技术研讨会的主席谢涛、张路教授致欢迎词。高可信软件技术教育部重点实验室每年召开高可信软件技术研讨会，旨在召集海内外专家，一同研讨高可信软件技术的构造和运行机理等重要挑战性问题。今年创新地与引智基地专家的学术研讨相结合，明显增加了国际交流与合作的机会。
随后，高可信软件引智基地学术大师张可昭教授和引智基地国内负责人谢冰教授就引智基地和基地建设平台做了简要的介绍。
会议期间，多位引智基地专家，英国兰卡斯特大学教授Sumi Helal(IEEE Fellow)、卡耐基梅
