• 20% of the budget will be dedicated to short-term scientific missions (STSMs). STSMs are a very important tool for the action since the development of tools for interoperability is facilitated when people can meet and work together at the same place. A call for STSM proposals will be launched soon.

  • For the first year, some schools will be (co-)organized to give EuroProofNet members the knowledge necessary to work on the objectives of the action:

    • On June 24-25, there will be a school on Dedukti and a workshop on Women in EuroProofNet, in co-location with the TYPES’22 conference at Nantes (France).

    • During the summer, there will be the next edition of the school on Verification Technology, Systems & Applications (VTSA) at Saarbrücken (Germany), with a focus on proof-generating verification systems.

    • In September, there will be a school on Naproche and controlled natural languages in proof assistants at Bonn (Germany).

  • Finally, a number of small and big meetings have been planned: