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. Para fotos y detalles consultar [Workshop INFINIS 2016 ](http://www.dc.uba.ar/se-realizo-el-workshop-infinis-en-temas-de-tesis).