Como puede que hayáis visto en las listas de correo habituales, el curso de verificación del que hablaba hace unas semanas se está poniendo en marcha con la reapertura de la secretaría de los Cursos de Verano de la Universidad de Zaragoza.
Hasta ahora, la universidad ha insistido en la celebración presencial de los cursos, postergando su realización en caso de que las condiciones sanitarias así lo requieran, aunque están empezando a estudiar la posibilidad de celebrar cursos no presenciales o mixtos.
Sería genial poder darle más difusión como se comentó hace algunas semanas. ¿Alguien tiene alguna propuesta sobre cómo hacerlo?
Pongo aquí la versión en español de la convocatoria, que no está tan difundida.
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 investigadores y otros profesionales. 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 definitivas de su impartición, lo que podría comportar cambios de fechas en función de las recomendaciones sanitarias vigentes.
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/