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
_______________________________________________
Haskell mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
