[TYPES/announce] Call for STSMs, deadline 1 July 2022

[Ambrus Kaposi]

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!ViJvCPyxjbK2LZN42PHoDfSFGct0u-ykr4CAQ-qaAuwP6_DJdJNuZQrpl27w_Nblu4B9yJxiS8rLYs83F-PWVlyo7tXX7RAFI5pT0g$  . Write an email to us if you have
any questions.Best wishes,

Danijela Simic and Ambrus Kaposi

EuroProofNet STSM Coordinators
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220626/b625cce3/attachment-0001.htm>