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 

　　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