FACAS 2015 was a success!

We attend the third  Argentinian Workshop on Foundations for Automatic Construction and Analysis of Software, from 17 to 19 March in Oliveros, Santa Fe, organized by Esteban Pavese (LAFHIS member), Ignacio Vissani (UBA),  Renzo Degiovanni (UNRC) and Luciano Zemin (ITBA). You can see the program and more info here.

Undefined