5月23日下午2点，在南校区信息楼三楼会议室，开展了一场关于“知识处理与可信软件”的研讨会。此次研讨会由知识处理与网络化制造湖南省普通高校重点实验室，计算机科学与工程学院主办。学院刘建勋副院长主持了此次研讨会。
此次研讨会上，针对教授做的四个报告，展开了热烈的讨论。报告一，由北京航空航天大学计算机学院李舟军教授进行“协议与软件安全漏洞的分析和验证”。他介绍了安全协议的背景与意义、安全协议的类型、性质，剖析了某些安全协议失败的原因，并提出了安全协议的精确建模与高效验证方法；报告二由美国Georgia大学计算机系助理教授刘天明讲述“关于老年痴呆症的科学知识”,他说明可利用计算机技术完成预测，结合脑科学及以往的经验，治疗老年痴呆症，建立知识模块，也可运用到其他领域中；报告三由中南大学王国军教授阐述自己在“可信网络计算环境中的信任模型及信任传递机制的研究”，对时间相关的信任模型，小世界网络的形成等研究成果进行了展示；报告四由澳大利亚Swinbarne科技大学助理教授陈金俊博士讲述了科学工作与其他工作的不同，及工作中的自动化等内容。
报告后，教授、老师们对报告内容进行了热烈的讨论，现场气氛高涨。经过了四个小时的讨论，此次研讨会圆满结束。
