Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] EuroProofNet Call for Short-Term Scientific Mi...


view this post on Zulip Email Gateway (Jun 06 2022 at 11:52):

From: Frédéric Blanqui <frederic.blanqui@inria.fr>
COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs)

Dear all,

The next deadline for STSM 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


Last updated: Jul 15 2022 at 23:21 UTC