Acronym | Title | Funding Entity | Start Date | End Date |
---|---|---|---|---|
EuroProofNet | European Research Network on Formal Proofs | COST ACTION | 11/10/2021 | 10/10/2025 |
SafeSessions | Safe Concurrent Programming with Session Types | FCT | 01/03/2021 | 29/02/2024 |
RAP | Resource Aware Programming | FCT | 13/01/2022 | 12/01/2024 |