周巢尘人才培养学术报告2005年9月5日，周巢尘在“科学与中国”、四川青年创新论坛上作了题为《程序验证——解决老问题的新方略》的报告
2011年8月29日，周巢尘在长安大学信息工程学院二楼会议室作题为《混成系统的建模与验证》的学术报告
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
