Activities

Overlay Workshop Flagship event of the group to connect the FM and AI communities and discuss common goals and challenges More info...

informal Formal Methods Meetings (iFM2) Recurrent series of informal talks all around formal methods University of Udine More info...