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
