Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Cyclic (Co)Inductive ReasoningNon-well-founded (cyclic) proof theory provides an alternative, more robust approach for formalizing implicit (co)induct
Numerical aspects of high-performance and scientific computing (MAT/08 - 2 ECTS)From March 28 to April 8 - 2022. Please contact. Prof. Marco Caliari for info and details. The recent change towards massive