The Coq mailing list

[Roberto Blanco <roberto.blanco AT inria.fr>]

Call for participation / expression of interest

Software foundations: introduction to verified programming
Summer School of the University of Zaragoza (Zaragoza, Spain)
13-17 July 2020 (adjustments possible, please see below)

General information (in Spanish):
https://cursosextraordinarios.unizar.es/curso/2020/fundamentos-del-software-introduccion-la-programacion-verificada

Register to participate or receive information until 31 May 2020
(in Spanish):
https://cursosextraordinarios.unizar.es/formulario-inscripcion

The University of Zaragoza organizes its annual interdisciplinary summer
school, the oldest in Spain, this year entering its 93rd 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 course is
open to a wide range of participants, from students (advanced
undergraduates and up) to industry and academic professionals. Lectures
will be held in Spanish.

We invite potential participants to signal their interest by registering
to participate or receive information about the course via the website
of the summer school through May. In the first week of June, the
university will assess interest in the course and determine the final
conditions in which it can be held, which may include changes to the
course dates according to public health guidelines.

Course organizers:
 - Roberto Blanco (Inria Paris / MPI for Cyber Security and Privacy)
 - Ricardo J. Rodríguez (University of Zaragoza)

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