Workshop sobre Programación Certificada y Teoría de Tipos


Compartir
Charlista: 
Nicolas Tabareau, Matthieu Sozeau, Pierre-Marie Pédrot, Guillaume Munch y Beta Ziliani
Fecha: 
6 Marzo, 2018 - 14:30
Sala: 
Auditorio Ramón Picarte (3er piso norte)
Organización: 
Prof. Éric Tanter.

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)

 

 

Mayor información: https://pleiad.cl/research/csec