First Transnational Meeting

In 01.11.2019 – 02.11.2019 took place the first transnational project meeting at West University of Timisoara, Romania, at the Department of Computer Science. The opening of the event was held by the Dean of the Faculty of Mathematics and Informatics from West University of Timisoara, Prof. Dr. Daniela Zaharie.  At the event participated people from each of the 5 partner institutions of the project. 

In press https://blog.uvt.ro/blog/2019/12/04/automated-reasoning-in-the-class-arc/

Photos from the first transnational meeting