Date 13 October 2021
EuroProofNet is the European research network on digital proofs. It aims at boosting the interoperability and usability of proof systems. It gathers 190 researchers on proof systems and formal proofs, from 30 different countries. To join the action, apply to the working groups you are interested in.
Dates 11–12 October 2021