欢迎访问江苏省计算机学会网站!    设为首页  |  收藏本站
江苏省计算机学会
  •  当前位置首页 > 新闻中心 > 通知公告
    新闻中心  
    学会动态
    政策法规
    行业新闻
    图片新闻
    通知公告
     
    通知公告
    学术报告Formal Proof of Tarjan’s Strongly Connected Components Algorithm in Why3, Coq, and Isabelle​
    发布时间:2019-06-26 09:40:53
    报计算机软件新技术国家重点实验室        
    摘 要:
    Comparing provers on a formalization of the same problem is always a valuable exercise. In this talk, we present the formal proof of correctness of a non-trivial algorithm from graph theory that was carried out in three proof assistants:Why3, Coq, and Isabelle.
    告人简介:
    Jean-Jacques Lévy graduated from the Ecole polytechnique in Paris, PhD at Univ. of Paris 7. He worked on optimal reductions in the lambda-calculus, on properties of term rewriting systems, and on concurrency theory. He has been appointed as a professor of Computer Science at the Ecole polytechnique in Palaiseau (1992-2008) and as the managing director of the new Microsoft Research-Inria Joint Centre in Paris (2006-2012). He is presently Senior Researcher emeritus at Inria in Univ. of Paris 7. His current research is on formal proofs of programs. He also participated to the debugging of the embedded code of the Ariane 5 (after its explosion in 1996) and directed the review of the embedded code of the Columbus module of the ISS (1998). He was a member of the research staff at DEC (1986-1988), and visiting professor at Iscas (2013-2014).
    时间:6月26日(星期三) 10:00
    地点:计算机科学技术楼203室

    上一篇:青年学者学术报告Stop the bleeding from the heart
    下一篇:技术创新论坛——基于区块链和物联网技术的银行供应链金融新实践
    友情链接:
    江苏省科学技术协会 中国计算机学会 南京大学 南京大学计算机科技与技术系 南京大学软件学院 东南大学计算机科学与工程学院 江苏经贸职业技术学院 南京信息职业技术学院 南京工业职业技术学院 江苏海事职业技术学院 常州信息职业技术学院 国网电力科学研究院 电子科技集团第28研究所 江南计算技术研究所 
       
     

    Copyright (c) 版权所有 江苏省计算机学会         【后台管理】    南京网站建设公司
    秘书处办公室       地址: 江苏省南京市仙林大道163号  邮编:210023   电话/传真:025-89680909   
    秘书处市内联络点   地址: 江苏省南京市汉口路22号     邮编:210093   电话/传真:025-86635622
    电子邮箱:jscs@nju.edu.cn   网址:www.jscs.org.cn    技术支持:南京成旭通信息技术有限公司  

    网站备案号:苏ICP备14049275号

    您是本站第5035871位来客!

    在线客服

    点击这里给我发消息