【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 



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

  IRIF, UMR 8243, Univ Paris Diderot and CNRS 

<友情连结> 国民彩票官方网址/ 九号彩票官网/ 金龙彩票站/ 博天堂88bttcom娱乐有限公司/ 拉维尔上海青少年篮球培训 - 上海青少年篮球训练/