<div dir="ltr"><div class="gmail_default" style="font-size:small">COST Action CA20111 EuroProofNet<br></div><div class="gmail_quote"><div dir="ltr">Open call for Short-Term Scientific Missions (STSMs)<br><br>Dear Action members,<br><br>The next STSM deadline is:<br><br>    1st July 2022<br><br>Notification: 8th July. We are especially looking for applications from WG4 on the construction, management and (re)use of big libraries of formal proofs<br><br>*What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in the Action in a different country also participating in the Action. We encourage STSMs, as they are an effective way of starting and maintaining collaborations.<br><br>Find all the details concerning application on <a href="https://urldefense.com/v3/__https://europroofnet.github.io/grants__;!!IBzWLUs!ViJvCPyxjbK2LZN42PHoDfSFGct0u-ykr4CAQ-qaAuwP6_DJdJNuZQrpl27w_Nblu4B9yJxiS8rLYs83F-PWVlyo7tXX7RAFI5pT0g$" target="_blank">https://europroofnet.github.io/grants</a> . Write an email to us if you have any questions.Best wishes,<br><br>Danijela Simic and Ambrus Kaposi<br><br>EuroProofNet STSM Coordinators</div>
</div></div>