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.

4th call (1 May 2024)

  • Comparing Quotient- and Symmetric Containers application
    Grantee: Philipp Joram
    Conference: 30th International Conference on Types for Proofs and Programs
    Grant: 2000 EUR
    Dates: 2024-06-09 to 2024-06-15

  • Strict syntax of type theory via alpha-normalisation application
    Grantee: Viktor Bense
    Conference: 30th International Conference on Types for Proofs and Programs
    Grant: 2000 EUR
    Dates: 2024-06-09 to 2024-06-15

  • Equational Anti-Unification over Absorption Theories application
    Grantee: David Cerna
    Conference: International Joint Conference on Automated Reasoning + ( UNIF 2024)
    Grant: 2000 EUR
    Dates: 2024-06-30 to 2024-07-07

  • Second-order generalised algebraic theories: signatures and first-order semantics application
    Grantee: Szumi Xie
    Conference: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
    Grant: 1615 EUR
    Dates: 2024-07-09 to 2024-07-14

3th call (12 November 2023)

  • Proof based teaching for elementary education application
    Grantee: Firdevs Tuğba Tekin (Saliha Şükriye Yoluç Primary School, Istanbul, Turkey)
    Conference: 7th World Conference on Future of Education, Cambridge, United Kingdom
    Grant: 1870 EUR
    Dates: 2023-12-15 to 2023-12-17

2nd call (8 May 2023)

1st call (1 March 2023)