Miércoles 3 de Agosto, 2016
De 14 a 18 hs

Aula E24, Pabellón I, Ciudad Universitaria
Departamento de Computación, Facultad de Ciencias Exactas y Naturales
Universidad de Buenos Aires

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.

En este Workshop cada grupo de INFINIS presenta 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.
Programa
14:00 a 14:15    Apertura y presentación del Laboratorio INFINIS

14:15 a 14:45    Temas en Verificación y Validación de software, presenta Sergio Yovine (UBA,CONICET)

14:45 a 15:15    Temas en Lógica y Reescritura para Lenguajes de Programación, presenta Alejandro Díaz-Caro (UNQ, CONICET)

15:15 a 15:45    Temas en Dinámica Simbólica, presenta Eda Cesaratto (UNGS-CONICET)

15:45 a 16:15    Intervalo, con un tentempié.

16:15 a 16:45     Temas en Lógica, presenta Santiago Figueira (UBA, CONICET)

16:45 a 17:15    Temas en Teoría de Grafos, presenta Flavia Bonomo (UBA, CONICET)

17:15 a 17:45     Temas en Aleatoriedad y Autómatas, presentan Olivier Carton (Paris Diderot) y Verónica Becher (UBA, CONICET)

17:45 a 18:00     Tiempo para posibles preguntas y respuestas


Por consultas escribir a Verónica Becher, vbecher@dc.uba.ar
INFINIS
Laboratoire International Associé INFINIS

Université Paris Diderot-CNRS / Universidad de Buenos Aires-CONICET