Events

VMCAI winter school 2019

Técnico - Alameda campus

The 1st edition of VMCAI Winter School will take place from 9th to 12th January 2019, at Técnico – Alameda campus (Congress centre).

The International Conference on Verification, Model Checking, and Abstract Interpretation” (VMCAI 2019) will be part of this Winter School and will take place from 13th to 15th January, in Cascais.

Applications open until December 22.

More information.