由中国科学院数学与系统科学研究院主办,法国巴黎六大、广西民族大学协办的“可信计算国际会议”(International Workshop on Certified and Reliable Computation)于2011年7月17-20日在广西南宁召开。来自美国、法国、英国、加拿大、比利时、中国香港和内地近60名专家学者和研究生参加了此次会议。大会共邀请9位国际知名学者作邀请报告,23人作会议报告。会议的召开为更好地发挥我国在符号和数值计算已有的优势,继续研究快速、稳定、误差可控的算法,以及我国可信计算软件的开发和研制提供更有效的数学方法。本次会议的圆满召开,得到中国科学院数学与系统科学研究院,科技部973项目,国家基金委中法合作项目,中法计算科学、自动化和应用数学联合实验室,广西民族大学,数学机械化重点实验室的大力支持。