【11-19】First VIP meeting----十大网赌网址
      <hgroup id="hbbea"><em id="hbbea"></em><noframes id="hbbea">

      <b id="hbbea"><cite id="hbbea"><noscript id="hbbea"></noscript></cite><code id="hbbea"></code><i id="hbbea"></i></b><canvas id="hbbea"></canvas>

        <ul id="hbbea"></ul>
      1. 【11-19】First VIP meeting

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

          

          Verification, Interaction and Proofs 

           

          

            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: 

            

           

            

            

          ** 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 

          ehrhard@irf.fr 

          jean.krivine@irif.fr 

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

          IRIF, UMR 8243, Univ Paris Diderot and CNRS 

        十大网赌网址 |十大正规赌博网站 |正规十大赌博平台大全 |173.cc | |手机版 | | 澳门赌博大小下载|金沙国际赌博|网上十大赌博信誉平台|苹果澳门赌场app下载|赌钱游戏官网|网赌十大平台|