European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

Eligibility rules are given on page 61 of the annotated rules:

  • One must be affiliated to a legal entity (see page 49 of the annotated rules for more details). Undergraduate students are not eligible. Master students need to provide a document signed by their university stating that they follow a master degree affiliated to a research programme.

  • One must be from a COST member country or a Near Neighbor Country (see the list below), unless one is invited to a school as trainer.

  • People not from a COST member country or a Near Neighbor Country can be funded once in the lifetime of the action to participate to a WG meeting but neither a school as trainee nor an STSM.

COST member countries (41): Armenia, Albania, Austria, Belgium, Bosnia and Herzegovina, Bulgaria, Croatia, Cyprus, Czech Republic, Denmark, Estonia, Finland, France, Georgia, Germany, Greece, Hungary, Iceland, Ireland, Italy, Latvia, Lithuania, Luxembourg, Malta, Moldova, Montenegro, The Netherlands, North Macedonia, Norway, Poland, Portugal, Romania, Serbia, Slovakia, Slovenia, Spain, Sweden, Switzerland, Turkey, Ukraine, and United Kingdom + Israel + South Africa.

COST Near Neighbor Countries (12): Algeria, Azerbaijan, Egypt, Faroe Islands, Jordan, Kosovo, Lebanon, Libya, Morocco, Palestine, Syria, and Tunisia.

Inclusive Target Countries (ITC) (25): Albania, Armenia, Bosnia and Herzegovina, Bulgaria, Croatia, Cyprus, Czech Republic, Estonia, Georgia, Greece, Hungary, Latvia, Lithuania, Malta, Moldova, Montenegro, North Macedonia, Poland, Portugal, Romania, Serbia, Slovakia, Slovenia, Turkey and Ukraine.