Real Sociedad Matemática Española

Las matemáticas sostienen toda la ciencia y la tecnología que conocemos hoy. Marcus du Sautoy.
 
Logo RSME
En portada
La Sociedad
Publicaciones
Actividades científicas
IEMath
Redes y Grupos Temáticos
Premios y Becas
Olimpiadas
Divulgamat
El Árbol de las Matemáticas
RSME-IMAGINARY
Mujeres y Matemáticas
Oportunidades profesionales
Educación
Enlaces
La RSME es miembro de...
lunes, 23 de octubre de 2017
noticiasaccesibilidadcontacta

 
Vista Plana
Vista Plana
Vista Semanal
Vista Semanal
Vista Diaria
Vista Diaria
Categorías
Categorías

Evento: 'Escuela Internacional de Primavera en Francia'

Cursos y Seminarios
Fecha: Lunes, Marzo 12, 2012 At 08:00
Duración: 5 Días
Información Contacto:
Email:

Del 12 al 16 de marzo de 2012 tendrá lugar en Sophia Antipolis (Francia) una escuela de primavera sobre formalización de las matemáticas, dirigida principalmente a matemáticos interesados en la utilización de ordenadores para la verificación de demostraciones, así como a informáticos atraídos por las posibilidades de la lógica y las matemáticas. El objetivo principal de esta escuela es el aprendizaje del sistema Coq y de la librería Math-Components para la descripción y verificación formal de algoritmos matemáticos relacionados, entre otros temas, con la teoría de grupos y el álgebra lineal. El período de registro finaliza el 27 de febrero de 2012.