EuroProofNet Workshop on Program Verification, 17-19 September 2025, europroofnet.github.io/wg3-Sept2025/.
EuroProofNet
@EuroProofNetEuropean Research Network on Formal Proofs (#COSTAction 20111), aimed at boosting the interoperability & usability of proof systems.
