[Socios.ai2aragon] Fwd: [exaldiis] Curso de Verano UZ "Fundamentos del software: introducción a la programación verificada"

[José Ignacio Requeno AI2Aragon]

---------- Forwarded message ---------
De: Ricardo J. Rodríguez (UZ) <rjrodriguez en unizar.es>
Date: lun., 11 may. 2020 a las 18:46
Subject: [exaldiis] Curso de Verano UZ "Fundamentos del software:
introducción a la programación verificada"
To: aldiis <aldiis en listas.unizar.es>, <exaldiis en listas.unizar.es>
Cc: Roberto Blanco <roberto.blanco en inria.fr>


Hola!
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.

Un saludo,
Roberto & Ricardo

####
Periodo de preinscripción y solicitud de información

“Fundamentos del software: introducción a la programación verificada”
Cursos de Verano de la Universidad de Zaragoza  (Zaragoza, España)
13-17 de julio de 2020 (posibilidad de ajuste de fechas, ver más abajo)

Información general:
https://cursosextraordinarios.unizar.es/curso/2020/fundamentos-del-software-introduccion-la-programacion-verificada

Preinscripción / recepción de información hasta el 31 de mayo de 2020:
https://cursosextraordinarios.unizar.es/formulario-inscripcion

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.

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.

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).

Dirección del curso:
 - Roberto Blanco (Inria Paris / MPI for Cyber Security and Privacy)
 - Ricardo J. Rodríguez (Universidad de Zaragoza)

Información adicional (materiales, subvenciones, patrocinios, etc.):
https://robblanco.github.io/teaching/unizar2020/
####

-- 
Ricardo J. Rodríguez, PhD
      Assistant Professor
      Dept. of Computer Science and Systems Engineering
      University of Zaragoza
      Tel: (+34) 976 76 19 53

e: rjrodriguez en unizar.es
w: http://webdiis.unizar.es/~ricardo
PGP keyId: 0x4E066F1F
_______________________________________________
Exaldiis mailing list
Exaldiis en listas.unizar.es
http://listas.unizar.es/cgi-bin/mailman/listinfo/exaldiis
Puedes borrarte de esta lista en
http://listas.unizar.es/cgi-bin/mailman/listinfo/exaldiis----------
INFORMACIÓN SOBRE PROTECCIÓN DE DATOS DE CARÁCTER PERSONAL

Ud. recibe este correo por pertenecer a una lista de correo gestionada por
la Universidad de Zaragoza.
Puede encontrar toda la información sobre como tratamos sus datos en el
siguiente enlace:
https://sicuz.unizar.es/informacion-sobre-proteccion-de-datos-de-caracter-personal-en-listas
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.
http://listas.unizar.es
----------


-- 
José Ignacio Requeno Jarabo
Secretario AI2Aragón
Asociación de Ingenieros en Informática de Aragón

www.ai2aragon.es | Móvil: 717 704 276


ADVERTENCIA DE CONFIDENCIALIDAD:
Este mensaje se dirige exclusivamente a su(s) destinatario(s) y puede
contener información privilegiada o confidencial. El acceso a esta
notificación por otras personas distintas a las designadas no está
autorizado. Si Vd. no es el destinatario indicado, queda notificado
que la utilización, divulgación y/o copia sin autorización está
prohibida en virtud de la legislación vigente. Sus datos han sido
obtenidos de la Base de Datos de AI2Aragón, si desea ejercitar su
derecho de cancelación u oposición diríjase a la dirección de correo
electrónico  secretario en ai2aragon.es, “Att. Dpto. Protección de Datos”.
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.unizar.es/pipermail/socios.ai2aragon/attachments/20200511/2f0ffbac/attachment.html>