September 15, 2016: Cezary Kaliszyk awarded ERC starting grant

CL is proud to announce that Cezary Kaliszyk’s project SMART: “Strong Modular proof Assistance: Reasoning across Theories” has been approved by the European Research Council. The project has a duration of 5 years and a total grant amount of EUR 1450K. The project will commence on March 1, 2017.

The goal of SMART is to develop a strong and uniform learning-reasoning system available for multiple logical foundations. This system will be capable of providing proof advice for multiple proof assistants and the combinations of their libraries.

More information in German can be found here.