[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://europroofnet.github.io/grants__;!!IBzWLUs!Qw8mfb7E0BuPZYTyra4AnCJfGaIuCnzJ_Ek-Cpd78pCoRyGd5wjjsujCp2lICZn1czseGGfrf_vAcoXPax_pkfvGzWLY_IgljiD1lg$ . Write an email to us if you have any questions.Best wishes, Danijela Simic and Ambrus Kaposi EuroProofNet STSM Coordinators