Section: Partnerships and Cooperations

European Initiatives

Collaborations with Major European Organizations

• Imperial College (UK)

• The JScert project (http://jscert.org ) aims to really understand JavaScript by building models of ECMAScript semantics in the Coq proof assistant, and automated logical reasoning tools built on those semantics.