【11-19】First VIP meeting----中國科學院軟件研究所

【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

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

　　IRIF, UMR 8243, Univ Paris Diderot and CNRS