| PROJECT: | Semantics, Proofs, and Effective Reasoning | |||||
| ACRONYM: | SemPER | |||||
| MAIN OBJECTIVE: | Staff exchange (TBW) | |||||
| Reference: | HORIZON-MSCA-2025-SE-01-101299559 | |||||
| Funding: | EU/Horizon Europe | |||||
|
||||||
| Team: | Sérgio Roseiro Teles Marcelino, Carlos Manuel Costa Lourenco Caleiro | |||||
| Groups: | Security and Quantum Information - Lx | |||||
| Partners: | UNED, CSIC | |||||
| Local Coordinator: | Sérgio Roseiro Teles Marcelino |
This project falls under the following United Nations Strategic Development Goals (SDGs):
No publications associated with this project.