


Foto: Archivo DCC.
Este miércoles 23 continuamos con las charlas de investigacion del Semestre Primavera 2016, donde profesores del DCC presentan temas de investigacion que se desarrollan en nuestro Depaartamento. En esta oportunidad el programa es el siguiente:
16:15- 16:45:
"Lo de investigación va a ser: "Language-Based Program Verification".
Prof. Éric Tanter.
17:00 - 17:30:
Investigación con (mala) ética.
Prof. Éric Tanter.
.................................................................................................................................................................................................................................
Avenida Beauchef 851, Tercer Piso, Santiago, Chile / C.P. 837-0456