CURSO Verificación de software @ Google Meet – 19, 20, 26 y 27 de febrero 2021

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