Call for STSMs, deadline 1 January 2023
Ambrus Kaposi <[email protected]>
| Newsgroups | gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.comp.science.types.announce,gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CACSS4jn=dfBAR_O2c9pO77zQVes7L7obOO__ju4-9RoZqA-s-w@mail.gmail.com> |
COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs)
Dear Action members,
The next STSM deadline is:
1st January 2023
*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
research collaborations.
Find all the details concerning application on https://
europroofnet.github.io/grants/
Do not hesitate to contact us if you have any questions.
Best wishes,
Danijela Simic and Ambrus Kaposi
EuroProofNet STSM Coordinators
>
_______________________________________________
Agda mailing list
[email protected]
https://lists.chalmers.se/mailman/listinfo/agda