JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
Formulario de inscripción Master Class: "Algoritmos y pruebas simples en Coq"
Lunes 31 de agosto - 11:00 hrs. | Expositor: Yves Bertot, uno de los principales contribuidores de Coq (
https://coq.inria.fr/
).
Los datos de conexión serán enviados el mismo día de la Master Class.
Sign in to Google
to save your progress.
Learn more
* Indicates required question
Email
*
Your email
Nombre y apellido asistente
*
Your answer
Nombre de la empresa u organización
*
Your answer
Sector de la empresa u organización
*
Your answer
Cargo en la empresa u organización
*
Your answer
Enviaremos tus datos a nuestro departamento de comunicaciones para que gestionen tu inscripción
*
Yo he leído y estoy de acuerdo con la política de privacidad. (
https://www.inria.cl/es/proteccion-de-datos-personales-gdpr
)
Required
Submit
Clear form
Never submit passwords through Google Forms.
This form was created inside of Inria Chile.
Report Abuse
Forms
