• 学习新思想,千万师生同上一堂课 2019-05-14
  • 唐山一男子酒驾撞人逃逸中再撞人致4死11伤 已被刑拘 2019-05-14
  • 周边景区邀你开心过节 2019-05-13
  • 西安幼升小反映问题是去年近3倍 花式上学难案例层出不穷学位学区-西安新闻 2019-05-13
  • 习近平要求把这项工作作为重大政治任务 2019-05-12
  • 吕梁:交口公安侦破“5.24”疯狂砸车玻璃盗窃案 2019-05-12
  • 毛丹青:故乡是文学的起跑线 2019-05-11
  • 河北省交通运输厅:平安交通一路同行 2019-05-10
  • 中国健康促进基金会心脑血管疾病防治专家委员会成立 2019-05-09
  • 小学生和父亲历时三年半携手完成10万字小说 2019-05-09
  • 【见证西安】NO.9西安首届农民节,记录西安农村新生活! 2019-05-08
  • 环境部对土壤及地下水实施统一监管 2019-05-08
  • 忻州召开“雪亮工程”建设现场会 2019-05-07
  • 端午假期 广东南部多雷雨局部暴雨 2019-05-07
  • 社会主义社会按劳分配是建立在公有制和私有制并存基础上的,共产主义社会按需分配是建立在公有制基础上的,所有制基础不同,其分配形式也就不同。所谓“共产主义... 2019-05-06
  • 【11-19】First VIP meeting

    文章来源:  |  发布时间:2018-11-02  |  【打印】 【关闭

      

    老时时彩20110601001 www.egmp.com.cn   Verification, Interaction and Proofs 

      https://www.irif.fr/en/vip2018 

      

        First VIP meeting 

      November 19 - 24, 2018 

      IRIF 

      University Paris Diderot, CNRS and INRIA 

      Paris, France 

      ******************************************************* 

        

        

      VIP (Verification, Interaction and Proofs) is a French - Chinese 

      research project involving 

      - INRIA Paris, pir2 team at IRIF, Paris 

      - State Key Laboratory of Computer Science Institute 

      of Software, Chinese Academy of Science, Beijing 

        

      Its scientific program is built upon a cross-fertilization 

      of a culture of verification (with automata theory as a 

      main conceptual framework) and a culture of proofs and programs. 

        

      Its main themes are 

      - Verification (linearizability, verification of data 

      structures, program verification techniques). 

      - Complex systems and theories of interaction (general theory 

      of interaction, structural information theory, concurrency, 

      causal models of computation). 

      - Deductive methods and formal proofs (bridging finite and 

      infinite proofs, bridging saturation and cut-elimination, 

      readable formal proofs of algorithms). 

        

      Our first meeting will take place in Paris, at the IRIF laboratory 

      (www.irif.fr), University Paris Diderot on November 19 - 24. 

        

      The program will consist of a three day formal meeting (Mon - Wed) 

      whose program is already settled, and of two days (Thu - Fri) of 

      informal discussions. The speakers of the formal meeting are announced 

      on the web page. 

        

      You can still propose talks for the informal part of the meeting using 

      a form reachable from the web page of the meeting: 

        

      https://www.irif.fr/en/vip2018 

        

        

      ** Registration 

        

      Registration is free but mandatory. If you wish to attend, please fill in 

      the following form: 

        

      https://framaforms.org/first-vip-meeting-paris-november-19-24-2018-registration-form-1533746493 

        

      before November 10th, 2018. 

        

      Thomas Ehrhard and Jean Krivine 

      [email protected] 

      [email protected] 

      (for any question or request, please send an email to both addresses) 

      IRIF, UMR 8243, Univ Paris Diderot and CNRS 

  • 学习新思想,千万师生同上一堂课 2019-05-14
  • 唐山一男子酒驾撞人逃逸中再撞人致4死11伤 已被刑拘 2019-05-14
  • 周边景区邀你开心过节 2019-05-13
  • 西安幼升小反映问题是去年近3倍 花式上学难案例层出不穷学位学区-西安新闻 2019-05-13
  • 习近平要求把这项工作作为重大政治任务 2019-05-12
  • 吕梁:交口公安侦破“5.24”疯狂砸车玻璃盗窃案 2019-05-12
  • 毛丹青:故乡是文学的起跑线 2019-05-11
  • 河北省交通运输厅:平安交通一路同行 2019-05-10
  • 中国健康促进基金会心脑血管疾病防治专家委员会成立 2019-05-09
  • 小学生和父亲历时三年半携手完成10万字小说 2019-05-09
  • 【见证西安】NO.9西安首届农民节,记录西安农村新生活! 2019-05-08
  • 环境部对土壤及地下水实施统一监管 2019-05-08
  • 忻州召开“雪亮工程”建设现场会 2019-05-07
  • 端午假期 广东南部多雷雨局部暴雨 2019-05-07
  • 社会主义社会按劳分配是建立在公有制和私有制并存基础上的,共产主义社会按需分配是建立在公有制基础上的,所有制基础不同,其分配形式也就不同。所谓“共产主义... 2019-05-06