由我院主办，法国巴黎六大和广西民族大学协办的“可信计算国际会议”（International Workshop on Certified and Reliable Computation）于2011年7月17日～20日在广西南宁召开。来自国内外近60名学者专家和研究生参加会议。

大会共邀请9位国际知名学者做邀请报告，23人作会议报告，报告围绕如何为科学工程计算和信息技术领域出现的实际问题提供可靠的或可验证的解决方案展开，汇报了基于符号计算、数值计算、符号和数值混合计算的可信算法在机器人、生物、信号处理、密码学中的最新进展。

此次会议得到中科院数学院、科技部973项目、国家基金委中法合作项目、中法计算科学、自动化和应用数学联合实验室、广西民族大学、数学机械化重点实验室的大力支持。