Estimados,
Les extendemos esta invitación a participar en la segunda Master Class de Inria Academy:
"Algoritmos y pruebas simples en Coq" dictada por Yves Bertot,
investigador de Inria y uno de los principales contribuidores de Coq".
Se
trata de un curso online, abierto, gratuito y traducido al español
sobre Coq, el sistema que proporciona un lenguaje de programación
simplificado para describir los algoritmos, las propiedades lógicas de
estos algoritmos y las pruebas de que se cumplen las propiedades
lógicas. Queríamos pedirles su ayuda para difundir esta convocatoria con
su comunidad y a todos los que podrían estar interesados.
Es la
segunda de una serie de “Master Classes” que se dictarán durante agosto
y septiembre orientadas a ingenieros, programadores, desarrolladores de
softwares, CTO´s, CEOS y profesionales del ámbito de la tecnología,
interesados en aprender nuevos lenguajes de programación para optimizar
el desarrollo de sus ideas, emprendimientos y empresas.
Cualquier duda quedo atenta,
Saludos cordiales.
| |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
|
Florencia Donoso T. |
Jefe de proyecto |
+56 224 377 708 +56 992 214 674 |
Rosario Norte 555, Piso 12 - Las Condes |
|