[NIC Chile] NIC Chile apoya la realización de la Coq Andes Summer School 2020

[Anuncios NIC Chile]

NIC Chile apoya la realización de la Coq Andes Summer School 2020
-----------------------------------------------------------------

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[1]), encuentro dirigido a
estudiantes de pre y post grado que aborda la metodología[2] 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[3] y Equipe Associée Inria
y cuenta con el apoyo del proyecto europeo ERC[4] y de NIC Chile, entre
otras instituciones.

 
--
NIC Chile
Santiago, 06 de enero de 2020.

Referencias:
[1]: https://cass.pleiad.cl/
[2]: https://deepspec.org/main
[3]: https://www.inria.cl/
[4]: http://coqhott.gforge.inria.fr/

  
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.