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 | 31/08/2024 |
Acronym | Title | Funding Entity | Start Date | End Date |
---|---|---|---|---|
RAP | Resource Aware Programming | FCT | 13/01/2022 | 12/01/2024 |
EUTypes | The European Research Network on Types for Programming and Verification | COST ACTION | 24/03/2016 | 20/03/2020 |
CONFIDENT | Communication Contracts for Distributed Systems Development | FCT | 01/05/2016 | 31/10/2019 |