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.

5th call (31st July 2024)

  • Term Search in Rust application report
    Grantee: Tavo Annus
    Conference: 2024 Workshop on Type-Driven Development (TyDe)
    Grant: 1100 EUR
    Dates: 2024-09-05 to 2024-09-07

  • On interpolation applications in complexity and verification application report
    Grantee: Raheleh Jalali
    Conference: The 7th Workshop on Proof Theory, Modal Logic and Reflection Principles
    Grant: 1800 EUR
    Dates: 2024-09-01 to 2024-09-06

4th call (1st May 2024)

  • Comparing Quotient- and Symmetric Containers application report
    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 report
    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 report
    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 report
    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 (12th 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 (8th May 2023)

1st call (1st March 2023)