El 3 de agosto se llevó a cabo un Workshop destinado a ofrecer temas de Tesis de licenciatura y doctorado, relacionados con los métodos formales de la computación.
El encuentro estuvo organizado por INFINIS, 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, creado en el año 2011.
Las charlas del Workshop se realizaron en el Aula E-24 del Pabellón 1 de Exactas-UBA. A raíz del intercambio que pudo lograrse entre los estudiantes de grado y doctorado -candidatos a realizar sus tesis en el Departamento de Computación- y los profesores disertantes, el encuentro resultó muy fructífero generando posibles trabajos futuros.
El Workshop se organizó en seis presentaciones diferentes y contó con la presencia del profesor invitado Olivier Carton de la Universidad Paris Diderot.
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
