<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>De: <strong class="gmail_sendername" dir="auto">Ricardo J. Rodríguez (UZ)</strong> <span dir="auto"><<a href="mailto:rjrodriguez@unizar.es">rjrodriguez@unizar.es</a>></span><br>Date: lun., 11 may. 2020 a las 18:46<br>Subject: [exaldiis] Curso de Verano UZ "Fundamentos del software: introducción a la programación verificada"<br>To: aldiis <<a href="mailto:aldiis@listas.unizar.es">aldiis@listas.unizar.es</a>>, <<a href="mailto:exaldiis@listas.unizar.es">exaldiis@listas.unizar.es</a>><br>Cc: Roberto Blanco <<a href="mailto:roberto.blanco@inria.fr">roberto.blanco@inria.fr</a>><br></div><br><br><div dir="ltr">Hola!<div>Hemos organizando un Curso de Verano en la Universidad de Zaragoza, para el próximo mes de julio, relacionado con programación verificada que puede ser de tu interés. Tienes información más detallada a continuación.</div><div><br></div><div>Un saludo,</div><div>Roberto & Ricardo</div><div><br></div><div>####</div><div>Periodo de preinscripción y solicitud de información<br><br>“Fundamentos del software: introducción a la programación verificada”<br>Cursos de Verano de la Universidad de Zaragoza (Zaragoza, España)<br>13-17 de julio de 2020 (posibilidad de ajuste de fechas, ver más abajo)<br><br>Información general:<br><a href="https://cursosextraordinarios.unizar.es/curso/2020/fundamentos-del-software-introduccion-la-programacion-verificada" target="_blank">https://cursosextraordinarios.unizar.es/curso/2020/fundamentos-del-software-introduccion-la-programacion-verificada</a><br><br>Preinscripción / recepción de información hasta el 31 de mayo de 2020:<br><a href="https://cursosextraordinarios.unizar.es/formulario-inscripcion" target="_blank">https://cursosextraordinarios.unizar.es/formulario-inscripcion</a><br><br>Los cursos de verano de la Universidad de Zaragoza son los más antiguos de España y celebran este año su 93ª edición. Como parte de este programa interdisciplinario, tenemos el placer de presentar un curso de una semana dedicado a una introducción práctica a la verificación de programas y su seguridad, haciendo para ello uso intensivo del demostrador interactivo Coq.<br><br>Hasta donde sabemos, esta iniciativa, destinada a ofrecer una presentación eminentemente aplicada y útil de esta apasionante disciplina, es la primera de esta índole en España. El curso está destinado y es accesible a participantes muy diversos, tanto estudiantes como profesionales y académicos. Las clases se impartirán en español.<br><br>Invitamos a los posibles interesados a cumplimentar el formulario de preinscripción y/o solicitud de información disponible en la página web de los cursos de verano a lo largo del mes de mayo. La universidad valorará el interés generado por el curso durante la primera semana de junio y determinará las condiciones y fechas definitivas de su impartición (las fechas pueden variar, en función de las recomendaciones sanitarias).<br><br>Dirección del curso:<br> - Roberto Blanco (Inria Paris / MPI for Cyber Security and Privacy)<br> - Ricardo J. Rodríguez (Universidad de Zaragoza)<br><br>Información adicional (materiales, subvenciones, patrocinios, etc.):<br><a href="https://robblanco.github.io/teaching/unizar2020/" target="_blank">https://robblanco.github.io/teaching/unizar2020/</a></div><div><div>####</div><br>-- <br><div dir="ltr" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Ricardo J. Rodríguez, PhD<br> Assistant Professor<br> Dept. of Computer Science and Systems Engineering<br> University of Zaragoza<br> Tel: (+34) 976 76 19 53<br><br>e: <a href="mailto:rjrodriguez@unizar.es" target="_blank">rjrodriguez@unizar.es</a><br>w: <a href="http://webdiis.unizar.es/~ricardo" target="_blank">http://webdiis.unizar.es/~ricardo</a><br>PGP keyId: 0x4E066F1F<br></div></div></div></div></div></div></div></div>
_______________________________________________<br>
Exaldiis mailing list<br>
<a href="mailto:Exaldiis@listas.unizar.es" target="_blank">Exaldiis@listas.unizar.es</a><br>
<a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/exaldiis" rel="noreferrer" target="_blank">http://listas.unizar.es/cgi-bin/mailman/listinfo/exaldiis</a><br>
Puedes borrarte de esta lista en <a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/exaldiis----------" rel="noreferrer" target="_blank">http://listas.unizar.es/cgi-bin/mailman/listinfo/exaldiis----------</a><br>
INFORMACIÓN SOBRE PROTECCIÓN DE DATOS DE CARÁCTER PERSONAL<br>
<br>
Ud. recibe este correo por pertenecer a una lista de correo gestionada por la Universidad de Zaragoza.<br>
Puede encontrar toda la información sobre como tratamos sus datos en el siguiente enlace: <a href="https://sicuz.unizar.es/informacion-sobre-proteccion-de-datos-de-caracter-personal-en-listas" rel="noreferrer" target="_blank">https://sicuz.unizar.es/informacion-sobre-proteccion-de-datos-de-caracter-personal-en-listas</a><br>
Recuerde que si está suscrito a una lista voluntaria Ud. puede darse de baja desde la propia aplicación en el momento en que lo desee.<br>
<a href="http://listas.unizar.es" rel="noreferrer" target="_blank">http://listas.unizar.es</a><br>
----------<br>
</div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>José Ignacio Requeno Jarabo<br>Secretario AI2Aragón<br>Asociación de Ingenieros en Informática de Aragón<br><br><a href="http://www.ai2aragon.es" target="_blank">www.ai2aragon.es</a> | Móvil: 717 704 276<div><br></div><br>ADVERTENCIA DE CONFIDENCIALIDAD:<br>Este mensaje se dirige exclusivamente a su(s) destinatario(s) y puede<br>contener información privilegiada o confidencial. El acceso a esta<br>notificación por otras personas distintas a las designadas no está<br>autorizado. Si Vd. no es el destinatario indicado, queda notificado<br>que la utilización, divulgación y/o copia sin autorización está<br>prohibida en virtud de la legislación vigente. Sus datos han sido<br>obtenidos de la Base de Datos de AI2Aragón, si desea ejercitar su<br>derecho de cancelación u oposición diríjase a la dirección de correo<br>electrónico <a href="mailto:secretario@ai2aragon.es" target="_blank">secretario@ai2aragon.es</a>, “Att. Dpto. Protección de Datos”.</div></div></div></div></div></div></div></div>