28 de julio de 2016

Workshop INFINIS en Temas de Tesis de Licenciatura y Doctorado

INFINIS es un Laboratorio Internacional Asociado del CNRS-Université Paris Diderot y del CONICET-Universidad de Buenos Aires especializado en métodos formales en ciencias de la computación. Fue creado en 2011.

El miércoles 3 de agosto haremos un workshop en el que cada grupo de INFINIS presentará posibles temas de Licenciatura y de Doctorado. Son seis grupos y cada presentación tiene una duración de 30 minutos. Las presentaciones están destinadas a alumnos. No hace falta inscribirse, están todos bienvenidos.

En particular, yo estaré presentando los temas del grupo Logics and Dynamics of Programming Languages (o como lo rebautizamos en español, Lógica y Reescritura para Lenguajes de Programación).

Para más información pueden ver la página del workshop