[Socios.ai2aragon] CURSO Verificación de software @ Google Meet - 19, 20, 26 y 27 de febrero 2021

[Formación AI2Aragón]

Estimado socio/a y/o profesional del sector TIC,
La Asociación de Ingenieros en Informática de Aragón, en colaboración con
el Colegio Profesional de Ingeniería Informática de Aragón, tiene el placer
de anunciar
e invitarle a participar en el siguiente:

#####
CURSO
Introducción a la verificación de software
*******************************

Fechas y horario:  19, 20, 26 y 27 de febrero 2021 (20 horas; V 16h-21h, S
09h-14h)
Lugar:             Google Meet (se facilitará el enlace a los inscritos)

Plazas: 25 (curso supeditado a un mínimo de alumnos)
¡Atención! ¡2 plazas para socios alumnos gratuitas! (asignación según nota
media de expediente)

Entrega de diplomas al finalizar el curso*


Precio:
     150€ (colegiados CPIIAragón, socios AI2Aragón)
       75€ (socios AI2Aragón estudiantes y parados)
     250€ (estudiantes no socios)
     500€ (otros colectivos)

Temario:
     1.  Programación funcional. Estructuras de datos. Programación
genérica.
     2. Demostración por inducción. Lógica computacional. Proposiciones
inductivas
     3. Verificación de programas imperativos. Verificación de programas
funcionales.

Profesorado:
Roberto Blanco es ingeniero en informática por la Universidad de Zaragoza y
doctor en informática por la École polytechnique/Université Paris-Saclay, e
investigador en el Max Planck Institute for Security and Privacy, y antes
en la sede de París de Inria, centro de desarrollo del sistema Coq. Su
trabajo gira en torno al desarrollo de métodos formales y su aplicación a
la verificación de sistemas informáticos y de su seguridad.

Requisitos para el alumnado:
Los alumnos necesitarán disponer de un portátil con SO Windows, macOS o
Linux y con software específico para el curso (un navegador con JavaScript
o instalación de Coq en nativo). El profesor del curso proporcionará un
correo electrónico con todos los detalles necesarios antes del inicio del
curso.

Inscripción:  https://forms.gle/5vF4Dp5bT3YxnfsK7
desde 18 de enero hasta 12 de febrero
     Evaluada su solicitud de inscripción, y superado el mínimo de
alumnos, se le enviarán instrucciones para el pago de la matrícula.

_______________
* Requisitos de asistencia: 100% del horario planificado
#####

-- 
Formación AI2Aragón
www.ai2aragon.es
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.unizar.es/pipermail/socios.ai2aragon/attachments/20210118/d691322b/attachment.html>