FORmal models and Technologies for Emerging applications S2018/TCS-4314
En el día de ayer, nos reunimos el Comité de Dirección para debatir ciertos objetivos a largo plazo del proyecto.
Después de varias horas de debate, y entre otros asuntos menores, sacamos tres grandes conclusiones:
Con estas conclusiones, dimos por terminada la reunión y nos emplazamos a la siguiente, para seguir el desarrollo y cumplimiento de estos acuerdos.