COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs)

Dear Action members,

The next STSM deadline is:

    1st July 2022

Notification: 8th July. We are especially looking for applications from WG4 on the construction, management and (re)use of big libraries of formal proofs

*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.

Find all the details concerning application on https://europroofnet.github.io/grants . Write an email to us if you have any questions.Best wishes,

Danijela Simic and Ambrus Kaposi

EuroProofNet STSM Coordinators