EuroProofNet is new COST action (see
https://www.cost.eu/actions/CA20111/) aiming at federating all the
European researchers working on proofs in order to improve the
interoperability of proof systems. There are currently 6 working groups
(WG):
A COST action can fund visits to other labs, and participation to summer
schools, workshops and conferences. Anyone willing to contribute to the
goals of the action is eligible. If you are interested, you just need to
register on https://e-services.cost.eu/action/CA20111/working-groups/apply .