<div dir="ltr"><div><div><span style="font-family:arial,sans-serif;font-size:13px">Estimado socio/a y/o profesional del sector TIC,</span><br style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:arial,sans-serif;font-size:13px">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</span><br style="font-family:arial,sans-serif;font-size:13px">

<span style="font-family:arial,sans-serif;font-size:13px">e invitarle a participar en el siguiente:</span></div></div><div><br></div><div>#####<br></div><div>CURSO </div>Introducción a la verificación de software <br>*******************************<br><br>Fechas y horario:  19, 20, 26 y 27 de febrero 2021 (20 horas; V 16h-21h, S 09h-14h)<br>Lugar:             Google Meet (se facilitará el enlace a los inscritos)<br><br>Plazas: 25 (curso supeditado a un mínimo de alumnos) <br>¡Atención! ¡2 plazas para socios alumnos gratuitas! (asignación según nota media de expediente)<br><br>Entrega de diplomas al finalizar el curso*<br><br><br>Precio:<br>     150€ (colegiados CPIIAragón, socios AI2Aragón)<br>       75€ (socios AI2Aragón estudiantes y parados)<br>     250€ (estudiantes no socios)<br>     500€ (otros colectivos)<br>     <br>Temario:<br>     1.  Programación funcional. Estructuras de datos. Programación genérica.<br>     2. Demostración por inducción. Lógica computacional. Proposiciones inductivas<br>     3. Verificación de programas imperativos. Verificación de programas funcionales.  <br><br>Profesorado:<br>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. <br><br>Requisitos para el alumnado:<br>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.<br><br><div>Inscripción:  <a href="https://forms.gle/5vF4Dp5bT3YxnfsK7" target="_blank">https://forms.gle/5vF4Dp5bT3YxnfsK7</a> <br></div><div>desde 18 de enero hasta 12 de febrero</div>     Evaluada su solicitud de inscripción, y superado el mínimo de <br>alumnos, se le enviarán instrucciones para el pago de la matrícula.<br><br>_______________<br>* Requisitos de asistencia: 100% del horario planificado<br clear="all"><div>#####</div><br>-- <br><div dir="ltr" data-smartmail="gmail_signature">Formación AI2Aragón<br><a href="http://www.ai2aragon.es" target="_blank">www.ai2aragon.es</a></div></div>