>>> Magnum BBS <<<
COST Action about automatic theorem proving.
on Thu Sep 8 03:04:12 2022
By chance I discovered this COST Action "CA20111 - European Research Network on Formal Proofs (EuroProofNet)" 
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.
PS: I published the same message on LinkedIn
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Huddersfield, West Yorkshire, UK