The Coq mailing list

[Roberto Blanco <roberto.blanco AT csp.mpg.de>]

Call for participation

Software foundations: introduction to verified and secure programming
Summer School of the University of Zaragoza (online)
12-16 July 2020 (adjustments possible, please see below)

General information (in Spanish):
http://cursosextraordinarios.unizar.es/curso/2021/fundamentos-del-software-introduccion-la-programacion-verificada-y-segura

Registration (in Spanish):
https://cursosextraordinarios.unizar.es/matricula

The University of Zaragoza organizes its annual interdisciplinary summer
school, the oldest in Spain, this year entering its 94rd edition. As
part of its program, we are happy to present a week-long course offering
a hands-on introduction to practical program verification and security,
making intensive use of the Coq proof assistant.

To our knowledge, this is the first such initiative to introduce the
practice of this exciting field to audiences in Spain. The class was
first offered as part of the 2020 edition of the summer school and was
very well received, with evaluations placing it 2nd among all 75 courses
accepted for teaching in the summer school.

The course is open to a wide range of participants, from students
(advanced undergraduates and up) to industry and academic professionals.
Lectures will be online and held in Spanish. We invite prospective
participants to register via the website of the summer school. The
University will determine the final dates and conditions for the course,
which may include hybrid in-person/online lectures.

Course organizers:
 - Roberto Blanco (MPI-SP)
 - Ricardo J. Rodríguez (University of Zaragoza)

Additional information (materials, funding, sponsors, etc.; in Spanish):
https://robblanco.github.io/teaching/unizar2021/

=== (Announcement in Spanish follows) ===

Periodo de preinscripción

Fundamentos del software: introducción a la programación verificada y
segura
Cursos de Verano de la Universidad de Zaragoza (en línea)
12-16 de julio de 2021 (posibilidad de ajuste de fechas, ver más abajo)

Información general:
http://cursosextraordinarios.unizar.es/curso/2021/fundamentos-del-software-introduccion-la-programacion-verificada-y-segura

Inscripción:
https://cursosextraordinarios.unizar.es/matricula

Los cursos de verano de la Universidad de Zaragoza son los más antiguos
de España y celebran este año su 94ª 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. Se ofertó por
primera vez en la pasada edición de los cursos de verano, donde tuvo una
excelente acogida y fue el segundo curso mejor valorado entre los 75
cursos ofertados.

El curso está destinado a participantes diversos, tanto estudiantes como
investigadores y otros profesionales. Las clases se impartirán en línea
en español. Invitamos a los posibles interesados a cumplimentar el
formulario de inscripción disponible en la página web de los cursos de
verano. La Universidad valorará las fechas definitivas de impartición y
posibles modalidades híbridas de impartición presencial y en línea.

Dirección del curso:
 - Roberto Blanco (MPI-SP)
 - Ricardo J. Rodríguez (Universidad de Zaragoza)

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