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.

Academic calendar

The academic calendar shows the deadlines and scheduled events that are relevant to students, teaching and technical-administrative staff of the University. Public holidays and University closures are also indicated. The academic year normally begins on 1 October each year and ends on 30 September of the following year.

Academic calendar

Course calendar

The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates..

Definition of lesson periods
Period From To
I semestre Oct 1, 2020 Jan 29, 2021
II semestre Mar 1, 2021 Jun 11, 2021
Exam sessions
Session From To
Sessione invernale d'esame Feb 1, 2021 Feb 26, 2021
Sessione estiva d'esame Jun 14, 2021 Jul 30, 2021
Sessione autunnale d'esame Sep 1, 2021 Sep 30, 2021
Degree sessions
Session From To
Sessione di laurea estiva Jul 22, 2021 Jul 22, 2021
Sessione di laurea autunnale Oct 14, 2021 Oct 14, 2021
Sessione di laurea autunnale - Dicembre Dec 9, 2021 Dec 9, 2021
Sessione invernale di laurea Mar 16, 2022 Mar 16, 2022
Period From To
Festa dell'Immacolata Dec 8, 2020 Dec 8, 2020
Vacanze Natalizie Dec 24, 2020 Jan 3, 2021
Vacanze di Pasqua Apr 2, 2021 Apr 6, 2021
Festa del Santo Patrono May 21, 2021 May 21, 2021
Festa della Repubblica Jun 2, 2021 Jun 2, 2021
Vacanze Estive Aug 9, 2021 Aug 15, 2021

Exam calendar

Exam dates and rounds are managed by the relevant Science and Engineering Teaching and Student Services Unit.
To view all the exam sessions available, please use the Exam dashboard on ESSE3.
If you forgot your login details or have problems logging in, please contact the relevant IT HelpDesk, or check the login details recovery web page.

Exam calendar

Should you have any doubts or questions, please check the Enrolment FAQs

Academic staff


Albi Giacomo +39 045 802 7913

Angeleri Lidia 045 802 7911

Baldo Sisto 045 802 7935

Bos Leonard Peter +39 045 802 7987

Caliari Marco +39 045 802 7904

Canevari Giacomo +39 045 8027979

Chignola Roberto 045 802 7953

Collet Francesca

Cubico Serena 045 802 8132

Daffara Claudia +39 045 802 7942

Dai Pra Paolo +39 0458027093

Daldosso Nicola +39 045 8027076 - 7828 (laboratorio)

Delledonne Massimo 045 802 7962; Lab: 045 802 7058

De Sinopoli Francesco 045 842 5450

Enrichi Francesco +390458027051

Gnoatto Alessandro 045 802 8537

Lubian Diego 045 802 8419

Mantese Francesca +39 045 802 7978

Mantovani Matteo 045-802(7814)

Mariutti Gianpaolo 045 802 8241

Mazzuoccolo Giuseppe +39 0458027838

Nardon Chiara

Orlandi Giandomenico

giandomenico.orlandi at 045 802 7986

Pianezzi Daniela

Rizzi Romeo +39 045 8027088

Schuster Peter Michael +39 045 802 7029

Segala Roberto 045 802 7997

Solitro Ugo +39 045 802 7977

Zuccher Simone

Study Plan

The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University. Please select your Study Plan based on your enrolment year.

Modules Credits TAF SSD
Between the years: 1°- 2°- 3°
Between the years: 1°- 2°- 3°
Other activities

Legend | Type of training activity (TTA)

TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.

SPlacements in companies, public or private institutions and professional associations

Teaching code



Romeo Rizzi


Romeo Rizzi





Scientific Disciplinary Sector (SSD)



Secondo semestre dal Mar 6, 2023 al Jun 16, 2023.

Learning objectives

The student will encounter in concrete the concepts of: problems, models, formulations of operations research, but also of instances, algorithms, reductions and mappings among problems of the computer science field. The course will propose some models of operations research, at least the following: linear programming (LP), integer linear programming (ILP), max-flows and min-cuts, bipartite matchings and node covers, minimum spanning trees, shortest paths, Eulerian paths, and some models resorting on dynamic programming among which some knapsack variants. For all these models/problems, except PLI, the student will learn the solving algorithms, the properties on which they hinge, and how to conduct their execution.
However, besides and beyond this, the course aims at building a good and active relationship, practice, and acquaintance, with general mathematical methodologies and techniques (more typical of discrete math and for this reason not yet fully assimilated from our students) and some basic underpinnings of computer science.
In particular, we insist on the dialog with problems and with the art/technique of conjecturing, no occasion is lost to spotlight where invariants and monovariants play a role in proofs, algorithms and data structures. We build up confidence with mathematical induction as an active tool for problem solving, and introducing the dialects of induction most voted to efficiency (divide et impera, recursion with memoization, dynamic programming).
Some basic principles of informatics are underlined, like coding, algorithms, data structures, recursion as a counterpart of mathematical induction and of computability. (In some editions of the course first scratch introductions to numerability and computability have been offered). Coming to efficiency, our central perspective, the use of asymptotic notation is justified and adopted, the classes P, NP, coNP are introduced, and the concepts of good characterizations, good conjectures and good theorems are illustrated in length and complexity theory is advertised as a lively source of new methodologies in the art of facing problems and enquiry their intrinsic structural properties. Several aspects of the role and importance of the art of reducing one problem to another are discussed and clarified. The life cycle of a good conjecture, the workflow linking good conjectures and algorithms, the production and interpretation of counterexamples as a means of dialog with the problem, and the possible use of them in obtaining NP-completeness proofs, are all discussed, investigated and exemplified in action. Explicit emphasis is constantly given to the role and use of certificates.
Meanwhile these transversal and high competences of methodological interest and imprinting are delivered, the students is asked to learn and develop several concrete procedural competences, in particular within LP, and in an algorithmic treatment of graph theory, introduced as a versatile model and an intuitive and expressive language for the formulation of problems.
For a complete and detailed list of all these procedural competences delivered and requested, see the past exams and corrections over the various editions of the course.
The notions from computational complexity introduced in the course, and the attention to the languages of the certificates, will lead the student to recognize with more awareness the structure of a sound proof.
Dealing with instances, problems, models, both from the perspective of algorithms and of models and formulations, will enforce the attitude and competence in casting simple problems from the applications into mathematical models. The knowledge of the paradigmatic results of linear programming theory (duality, complementary slackness, economic interpretation, sensitivity analysis) will provide the student with important tools in obtaining non-trivial insights on the practical problem from the model.

Type D and Type F activities

Le attività formative in ambito D o F comprendono gli insegnamenti impartiti presso l'Università di Verona o periodi di stage/tirocinio professionale.
Nella scelta delle attività di tipo D, gli studenti dovranno tener presente che in sede di approvazione si terrà conto della coerenza delle loro scelte con il progetto formativo del loro piano di studio e dell'adeguatezza delle motivazioni eventualmente fornite.


I semestre From 10/1/20 To 1/29/21
years Modules TAF Teacher
1° 2° History and Didactics of Geology D Guido Gonzato (Coordinatore)
1° 2° 3° Algorithms D Roberto Segala (Coordinatore)
1° 2° 3° Scientific knowledge and active learning strategies F Francesca Monti (Coordinatore)
1° 2° 3° Genetics D Massimo Delledonne (Coordinatore)
II semestre From 3/1/21 To 6/11/21
years Modules TAF Teacher
1° 2° 3° Algorithms D Roberto Segala (Coordinatore)
1° 2° 3° Python programming language D Vittoria Cozza (Coordinatore)
1° 2° 3° Organization Studies D Giuseppe Favretto (Coordinatore)
List of courses with unassigned period
years Modules TAF Teacher
Subject requirements: mathematics D Rossana Capuani
1° 2° 3° ECMI modelling week F Not yet assigned
1° 2° 3° ESA Summer of code in space (SOCIS) F Not yet assigned
1° 2° 3° Google summer of code (GSOC) F Not yet assigned
1° 2° 3° Introduzione all'analisi non standard F Sisto Baldo
1° 2° 3° C Programming Language D Pietro Sala (Coordinatore)
1° 2° 3° LaTeX Language D Enrico Gregorio (Coordinatore)

Career prospects

Module/Programme news

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details.



Title Info File
Doc_Univr_pdf 1. Come scrivere una tesi 31 KB, 29/07/21 
Doc_Univr_pdf 2. How to write a thesis 31 KB, 29/07/21 
Doc_Univr_pdf 5. Regolamento tesi (valido da luglio 2022) 171 KB, 17/02/22 

List of theses and work experience proposals

theses proposals Research area
Formule di rappresentazione per gradienti generalizzati Mathematics - Analysis
Formule di rappresentazione per gradienti generalizzati Mathematics - Mathematics
Proposte Tesi A. Gnoatto Various topics
Mathematics Bachelor and Master thesis titles Various topics
Stage Research area
Internship proposals for students in mathematics Various topics


As stated in point 25 of the Teaching Regulations for the A.Y. 2021/2022, except for specific practical or lab activities, attendance is not mandatory. Regarding these activities, please see the web page of each module for information on the number of hours that must be attended on-site.
Please refer to the Crisis Unit's latest updates for the mode of teaching.

Career management

Area riservata studenti