【11-19】First VIP meeting

文章來源:  |  發布時間:2018-11-02  |  【打印】 【關閉


  Verification, Interaction and Proofs 



    First VIP meeting 

  November 19 - 24, 2018 


  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: 





  ** Registration 


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

  the following form: 




  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 

浙江6十1走势图表 大唐棋牌麻将下载 吉祥棋牌电脑版? 四个人如何打线上麻将 广西11选5软件 信弘配资 多乐彩开奖结果查询 江西 4847王中王铁算开奖结果小说 闲来麻将怎么赚钱 贵阳捉鸡麻将必胜口 陕西十一选五遗漏查 福彩3b振幅走势图 鑫福网 江西多乐彩开奖号码 最精准的平码计算公式 边锋熟客温州麻将安卓版 琼崖海南麻将安卓版