Section: Overall Objectives

Highlights of the Year

The Coq team received the 2013 ACM SIGPLAN Programming Language Software Award, which was presented at POPL'14 in San Diego. To quote: "The Programming Languages Software Award is given by ACM SIGPLAN to an individual or an institution to recognize the development a software system that has had a signicant impact on programming language research, implementations, and tools. The impact may be reflected in the wide-spread adoption of the system or its underlying concepts by the wider programming language community either in research projects, in the open-source community, or commercially."