【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
(), 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
