Del Martes 6 a las 14h30, al Viernes 9 a las 13h, se desarrolla un workshop para dar inicio a dos proyectos de colaboración internacional (2018-2020) sobre la temática de la programación certificada y teoría de tipos.El workshop cuenta con la participación de varios investigadores extranjeros:- Nicolas Tabareau (Inria, Nantes, Francia)- Matthieu Sozeau (Inria & Université Paris-Diderot, Francia)- Pierre-Marie Pédrot (Max-Planck Institute, Alemania)- Guillaume Munch (Inria, Nantes, Francia)- Beta Ziliani (U. de Cordoba, Argentina)El programa del workshop, con los títulos y abstracts de las charlas está disponible en linea: https://pleiad.cl/research/csecEl workshop es de “puertas abiertas”, por si quieren asistir a una(s) charla(s) especifica(s).