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.
Agenda
Local organizers:
- Isabela Drămnesc, WUT (chair)
- Theodor Grumeza, WUT
In press https://blog.uvt.ro/blog/2019/12/04/automated-reasoning-in-the-class-arc/
Photos from the event
