By chance I discovered this COST Action "CA20111 - European Research Network on Formal Proofs (EuroProofNet)" [1]

I gave a fast look at the documents and it seems that they concentrate on automatic theorem proving in general, although formal software verification is presented as an important application.

Of course, I thought at once about SPARK.

Maybe some member could be interested in joining this Action.

[1] https://www.cost.eu/actions/CA20111/

PS: I published the same message on LinkedIn

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)