• COST Action about automatic theorem proving.

    From mockturtle@21:1/5 to All on Thu Sep 8 03:04:12 2022
    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)