Inscripción Curso Verificación de Software [19, 20, 26 y 27 de febrero 2021]
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)
400€ (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: 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
Nombre *
Apellido 1 *
Apellido 2 *
DNI (con letra, e.g. 01234567L) *
Email *
Vinculación AI2A/CPIIAragón *
Teléfono
Protección de datos personales
Información en cumplimiento de la normativa de protección de datos personales
Sus datos personales serán usados para nuestra relación y poder prestarle nuestros servicios. Dichos datos son necesarios para poder relacionarnos con usted, lo que nos permite el uso de su información personal dentro de la legalidad. Asimismo, también pueden ser usados para otras actividades, como enviarle publicidad o promocionar nuestras actividades.
Sólo el personal de nuestra entidad que esté debidamente autorizado podrá tener conocimiento de la información que le pedimos. Asimismo, podrán tener conocimiento de su información aquellas entidades que necesiten tener acceso a la misma para que podamos prestarle nuestros servicios. Igualmente, tendrán conocimiento de su información aquellas entidades públicas o privadas a las cuales estemos obligados a facilitar sus datos personales con motivo del cumplimiento de alguna ley.
Conservaremos sus datos durante nuestra relación y mientras nos obliguen las leyes. Una vez finalizados los plazos legales aplicables, procederemos a eliminarlos de forma segura.
En cualquier momento puede dirigirse a nosotros para saber qué información tenemos sobre usted, rectificarla si fuese incorrecta y eliminarla una vez finalizada nuestra relación, en el caso de que ello sea legalmente posible. También tiene derecho a solicitar el traspaso de su información a otra entidad (portabilidad). Para solicitar alguno de estos derechos, deberá realizar una solicitud escrita a nuestra dirección, junto con una fotocopia de su DNI, para poder identificarle:
Colegio Profesional de Ingenieros en Informática de Aragón
Calle Coso 31 , CP 50001, Zaragoza (Zaragoza)
Dirección de contacto con nuestro Delegado de Protección de Datos: aeneriz@audidat.com
En caso de que entienda que sus derechos han sido desatendidos por nuestra entidad, puede formular una reclamación en la Agencia Española de Protección de Datos (www.agpd.es).
Submit
Never submit passwords through Google Forms.
This form was created inside of Asociación de Ingenieros en Informática de Aragón. Report Abuse