A 1.ª edição da VMCAI Winter School terá lugar nos dias 9 a 12 de janeiro de 2019, no Centro de Congressos do Técnico.
Esta Escola de Inverno integra a “International Conference on Verification, Model Checking, and Abstract Interpretation” (VMCAI 2019), que decorrerá de 13 a 15 de janeiro, em Cascais.
Inscrições até ao próximo dia 22 de dezembro.
