Buscar en la web
Desplegar navegación
Navegar identificado
Instituto de Matemática Interdisciplinar (IMI)
Institutos Universitarios
Desplegar navegación
IMI
About IMI
Board
Scientific Committee
Contact us
+
Activities
PhD Courses
Seminars and Colloquia
Conferences and Workshops
PhD Thesis
Visitors
Other activities
IMI Data Science Club
+
Programmes
2023-present
2020-2022
2017-2019
2013-2016
2010-2011
2006-2009
+
Members
Publications
Boletín del IMI
Links
News
Grants & Contracts
Open Positions
Past positions
Active grants & contracts
Past grants & contracts
+
Portada
IMI Programmes
2013-2014
"Rigorous technologies for open and reliable new generation software"
"Rigorous technologies for open and reliable new generation software"
Description
Participants
Publications
Funding
