Write a Blog >>
Sat 25 Jan 2020 11:00 - 11:30 at Maurepas - Contributed Talks

Coq has been successfully used to support CC formal analysis. The ANSSI and Inria have been collaborating on an authoritative document to introduce guidelines and rules for formal analyses supported by Coq, in order to make these developments easier to read and evaluate. Our main motivation is to clarify our expectations regarding the use of Coq, both for evaluators and developers involved in CC formal analyses. We believe CoqPL is an excellent opportunity to present the result of this work to the Coq community, in the hope to start a discussion and gather feedback.

Sat 25 Jan

CoqPL-2020-papers
10:30 - 12:30: CoqPL - Contributed Talks at Maurepas
CoqPL-2020-papers10:30 - 11:00
Talk
Arthur Azevedo de AmorimCarnegie Mellon University, USA
File Attached
CoqPL-2020-papers11:00 - 11:30
Talk
File Attached
CoqPL-2020-papers11:30 - 12:00
Talk
Tej ChajedMassachusetts Institute of Technology, USA, Joseph TassarottiBoston College, M. Frans KaashoekMassachusetts Institute of Technology, USA, Nickolai ZeldovichMassachusetts Institute of Technology, USA
File Attached
CoqPL-2020-papers12:00 - 12:30
Talk
File Attached