Dr. Hab. Frédéric BLANQUI
INRIA permanent full-time researcher
Research interests: rewriting, type theory, λ-calculus, termination, proof assistants, proof interoperability, ...
Publications | Talks | Software | Teaching | Students | Useful links | Homepages | PC
EuroProofNet is an European COST action aiming at boosting the interoperability and usability of proof systems and making formal proofs enter a new era. For the first time, it gathers all the developers and users of proof systems in Europe. To make their proofs exchangeable, they will express the logical foundations of their systems in a common logical framework, and develop tools for the inter-translation of the proofs developed in individual systems to and from this common logical framework.
The project will start in October 2021.
Anyone from a participating country can ask fundings for short-term scientific missions in the network, especially young researchers, female researchers or researchers from inclusive target countries. More details will be given in the coming months.
24 countries are currently participating: Austria, Belgium, Bulgaria, Croatia, Czech Republic, Denmark, Estonia, France, Germany, Hungary, Iceland, Italy, Luxembourg, Netherlands, North Macedonia, Norway, Poland, Portugal, Romania, Serbia, Slovenia, Spain, Sweden, United Kingdom.
|LMF, 4 avenue des Sciences, 91190 Gif-sur-Yvette, France
Office 3S61, Tel: +33 (0) 1 81 87 54 35
Email: frederic . blanqui (a) inria . fr
How to come? Transport - Campus