Skip to main content
User account menu
Log in
Toggle navigation
Main navigation
Center
Members
Research Areas
Publications
Publications
Preprints
Theses
Bibliographic Resources
Editions
Memoirs
Projects
Current Research Projects
Past Research Projects
GEMAC
Outreach Projects
Events
Courses
Conferences
Seminars
News
Current Research Projects
Add project
Partnership
- Any -
CMUP project
Partnership project
Research Group
- Any -
Algebra
Analysis
Computational Mathematics
Dynamical Systems
Geometry
Mathematical Models and Applications
Probability and Statistics
Semigroups, Automata and Languages
Apply
Elven
Expressive Logics for VErifying the Net (PTDC/EEI-CTP/3506/2014)…
Duration: 36months
Start date:
Jul 01, 2016 | 12:00
Financial Support: 184 300EUR
Learn more
STRIDE
Smart Cyberphysical, Mathematical, Computational and Power Engineering…
Duration: 36months
Start date:
Jul 01, 2016 | 12:00
Financial Support: 1 501 368EUR
Learn more
Pagination
Previous page
‹‹