Research at LSV focuses on the verification of computerized systems, of databases and of security protocols. LSV develops the mathematical and algorithmic foundations to the development of tools for automatically proving correctness and detecting flaws.
Internship and PhD proposals are regularly posted by LSV researchers on our themes.
the scientific report for the 5-year contract 2014--2018 [in French]
|•||. A Hypersequent Calculus with Clusters for Linear Frames. In AiML'18. College Publications, August 2018. To appear. ( BibTeX )|
|•||. On the complexity of modal separation logics. In AiML'18. College Publications, August 2018. To appear. ( BibTeX )|
|•||. Extending higher-order logic with predicate subtyping. Thèse de doctorat, Université Paris 7, Paris, France, April 2018. ( PDF | BibTeX )|
|•||. Linking Focusing and Resolution with Selection. Research Report hal-01670476, HAL Research Report, April 2018. ( Web page | PDF | BibTeX )|
|•||. Tight Bounds for Asymptotic and Approximate Consensus. In PODC'18. ACM Press, July 2018. To appear. ( Web page | PDF (long version) | BibTeX )|