Del 6 al 10 de enero se realiza en el Cajón del Maipo, Santiago, la Escuela de Verano sobre asistentes de pruebas Coq y programación certificada (Coq Andes Summer School 2020), encuentro dirigido a estudiantes de pre y post grado que aborda la metodología de construcción de software correcto mediante especificaciones rigurosas y verificación mecanizada.
La Escuela es organizada gracias a proyectos colaborativos de Conicyt Redes, el centro de investigación Inria Chile y Equipe Associée Inria y cuenta con el apoyo del proyecto europeo ERC y de NIC Chile, entre otras instituciones.
NIC Chile
Santiago, 06 de enero de 2020.
Acerca de NIC Chile
NIC Chile, centro perteneciente a la Facultad de Ciencias Físicas y Matemáticas de la Universidad de Chile, es el encargado de la administración del Registro de Nombres de Dominio .CL, que identifica a Chile en la red Internet. Desde este rol, es responsable frente a la comunidad local y global de su funcionamiento de manera segura y eficiente, para permitir que personas, empresas e instituciones construyan su identidad en Internet, bajo .CL.
|
Si ya posee cuenta en el nuevo sistema: |
