The aim of this WG is twofold: (i) to lower the computational complexity and increase expressiveness of techniques for the verification of program correctness, and (ii) to strengthen synergies and interoperability between different proof systems to combine the benefits of the different methodologies underlying the proof systems to facilitate formal verification of both software and mathematics.
European Research Network on Formal Proofs
COST action CA20111
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.