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
Worldwide Study Programme a.y. 2022/2023. New call now available!As part of the Worldwide Study scheme 2022/2023, the University of Verona is awarding international student mobility scholars