• 中欧班列让开放之路越走越宽 2019-04-13
  • “电商定制”价廉未必物美 成为“低价劣质”代名词 2019-04-13
  • 菜鸟世界杯送出50吨包裹-热门标签-华商网数码 2019-04-12
  • 曾祖父、曾祖母、祖父、祖母、父亲、母亲、重孙。一家7人,如果两家联姻,两家共十四人,请问:“看着就想笑”你那15人是咋算出来的? 2019-04-12
  • 权威解读!养老保险基金 中央怎么调剂? 2019-04-10
  • 欢乐“粽”情过端午 尽情放“粽”嗨起来 2019-04-05
  • 南昌重拳整治酒驾毒驾 2019-04-04
  • 德国:网上发布不当言论最高可获刑5年 2019-04-04
  • 哭泣的是鸿茅药酒,受伤的是中华医药!(原创首发) 2019-04-01
  • 不动产登记全国联网 名下多少套房一查就知道 2019-04-01
  • 重庆市南川区:社区“法律诊所”推进普法依法治理 2019-03-29
  • 国家税务总局天津市税务局正式对外挂牌 2019-03-29
  • 新华保险荆州中支助力首届荆楚文化旅游节开幕 2019-03-24
  • 英媒美国父母诉诸法院赶走"啃老"子女 中英均有类似问题 2019-03-24
  • 吕梁:女子被贴罚单心怀不满 朋友圈恶意辱警被查 2019-01-10
  • 【11-19】First VIP meeting

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

      

    全程打闲一年100万 www.edria.net   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-04-13
  • “电商定制”价廉未必物美 成为“低价劣质”代名词 2019-04-13
  • 菜鸟世界杯送出50吨包裹-热门标签-华商网数码 2019-04-12
  • 曾祖父、曾祖母、祖父、祖母、父亲、母亲、重孙。一家7人,如果两家联姻,两家共十四人,请问:“看着就想笑”你那15人是咋算出来的? 2019-04-12
  • 权威解读!养老保险基金 中央怎么调剂? 2019-04-10
  • 欢乐“粽”情过端午 尽情放“粽”嗨起来 2019-04-05
  • 南昌重拳整治酒驾毒驾 2019-04-04
  • 德国:网上发布不当言论最高可获刑5年 2019-04-04
  • 哭泣的是鸿茅药酒,受伤的是中华医药!(原创首发) 2019-04-01
  • 不动产登记全国联网 名下多少套房一查就知道 2019-04-01
  • 重庆市南川区:社区“法律诊所”推进普法依法治理 2019-03-29
  • 国家税务总局天津市税务局正式对外挂牌 2019-03-29
  • 新华保险荆州中支助力首届荆楚文化旅游节开幕 2019-03-24
  • 英媒美国父母诉诸法院赶走"啃老"子女 中英均有类似问题 2019-03-24
  • 吕梁:女子被贴罚单心怀不满 朋友圈恶意辱警被查 2019-01-10