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.
Course calendar
The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates..
Period | From | To |
---|---|---|
I semestre | Oct 1, 2020 | Jan 29, 2021 |
II semestre | Mar 1, 2021 | Jun 11, 2021 |
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 |
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 invernale | 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 Pasquali | Apr 2, 2021 | Apr 5, 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.
Academic staff
![Foto, June 23, 2016](https://docs.univr.it/documenti//Persona/foto/foto574302.jpg)
Rapa Alessandro
![foto, December 14, 2020](https://docs.univr.it/documenti//Persona/foto/foto367750.jpg)
Rubio Y Degrassi Lleonard
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 enrollment year.
1° Year
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
1 module between the following
1 module between the following
3 modules among the following
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.
Mathematics for decisions (2020/2021)
Teaching code
4S008838
Teacher
Coordinator
Credits
6
Language
English
Scientific Disciplinary Sector (SSD)
MAT/09 - OPERATIONS RESEARCH
Period
I semestre dal Oct 1, 2020 al Jan 29, 2021.
Learning outcomes
Mathematics for decisions is a seminar course comprising: + interventions by external professors (seminars, mini-courses); + interventions by professionals (statements of problems from the applications, description of needs and/or projects); + interventions by the referent of the course, collaborators of him, or colleagues by the department (both classes and proposal of problems and projects from the applications). + presentations delivered by the students on arguments of their interests and as agreed upon (seminars). The aim of this offert is to provide the studens with opportunities to meet and/or get involved into working or research projects, activating and developing their own interests, motivations and talents. Among the targets of this offert: + provide the students with opportunities to get in touch with working and/or research environments, developing motivations, interests, attitudes; + allow connections with professionalities and disciplines, not necessarily within mathematics but that can motivate the work of a matematician or help appreciating its possible applicability; + stimulate and develope the competence in designing mathematical models for the managing of production facilities, networks, and services; + provide the students with occasions to experiment their computational and informatics skills and to become more aware of their impact and role. With this the aim is to lead our students to: + have the competence and attitude to cover technical and professional roles with an high-level modellistic-math profile; + have the necessary starting background and the attitude to document themselves by accessing math texts, research articles, project deliverables, technical documentation.
Program
- Problems, Instances, Models
- Constraint Programming
- Abstract modeling programming languages - AMPL/GMPL:
- Recall the basics of Linear Programming (if needed)
- Some fact from Polyhedral Combinatorics
- Polytopes, polyhedra and equivalent representations
- Basic lemmas and characterizations
- Integrality of polyhedra
- Solution approaches to NP-hard problems:
- Enumeration
- Implicit enumeration and Branch-and-Bound
- Branch-and-Cut
- Approximation algorithms
- Complete and incomplete formulations (e.g., Traveling Salesman Problem, Perfect Matching)
- Gomory's cuts and cutting planes
- Separation oracles and callbacks
- Compact formulations
- Decomposition techniques:
- Column generation
- Dantzig-Wolfe decomposition
- Isomorphism free generation
- Agent Driven Simulation
- Simulation: its role and some of its techniques
- invitation all'agent driven simulation (ADS) and an introduction to the NetLogo environment
Projects will be proposed during the course, some already at the very beginning, some others from invited companies.
Depending on their interests, students are invited to choose (or even propose and tune together) projects from three categories: industrial, academic, didactics.
COLLECTING A FAIR BACKGROUND:
"Mathematics for decisions" is a 6 credits course that can be seen as a natural continuation of the course of "Operations Research" offered in the Bachelor’s degree in Mathematics, but it is also recommended to Computer Science students with interests in algorithms, mathematics, and optimization.
The prerequisites from the "Operations Research" course divide in two groups:
+ the methodology and the bones of concrete mathematics: invariants, good characterizations, induction, dynamic programming, algorithms, data structures, complexity. The CS students may get these with the course in Algorithms at the bachelor and then in the Algorithms and Complexity course in the first year of the master.
+ the fundamentals of Linear Programming: we encourage the CS students to collaborate in collecting this background. We are available in suggesting materials, and open at guesting them at the few lessons of pertinence in the Operations Research course. They will be welcome by their younger math colleagues.
Also, our approach in the Math Decisions course will be rather pragmatic, thus the theoretical knowledge will not be that necessary after all (though it is certainly a pity and a weakness not to have the whole picture).
Finally, we open the course with a mild introduction to polyhedra combinatorics which might offer a sufficient reference and at the same time is new stuff also for the students of mathematics.
Author | Title | Publishing house | Year | ISBN | Notes |
---|---|---|---|---|---|
Matteo Fischetti | Introduction to Mathematical Optimization (Edizione 1) | venduto da Amazon Media EU S.à r.l. | 2019 | 1692792024 | disponibile sia la versione cartacea che quella per e-Reader: https://www.amazon.it/Introduction-Mathematical-Optimization-Matteo-Fischetti/dp/1692792024 |
Robert J. Vanderbei | Linear Programming: Foundations and Extensions (Edizione 4) | Springer | 2001 | 978-1-4614-7630-6 | |
Robert Fourer, David M. Gay, and Brian W. Kernighan | THE AMPL BOOK. AMPL: A Modeling Language for Mathematical Programming | 0-534-38809-4 |
Examination Methods
The students are required to develop a project. This might either come from industry, from other research centers or universities, from colleagues or on research lines of interest by the department, or even from ourselves included the students themselves).
We also encourage projects that contribute to the rather technical material (TuringArena based) we strive resorting onto in offering active and interactive learning experiences to our students.
We will propose several projects on each one of these main lines, the students are also encouraged to propose and steer themselves according to their interests and competences.
Most projects comprise a development phase where the student must exhibit his/her technical and informatics skills in implementing the models and the algorithms developed or adopted to solve a given problem.
Depending on the project, other phases will be required as part of the exam or might naturally follow:
study of a topic or subject, study of a technique to employ in order to solve a problem or to be illustrated, experiments, deployment, documentation, design of a didactic problem, exposition, writing of paper, stages, thesis, internship.
Type D and Type F activities
years | Modules | TAF | Teacher |
---|---|---|---|
1° 2° | Algorithms | D |
Roberto Segala
(Coordinator)
|
1° 2° | Scientific knowledge and active learning strategies | F |
Francesca Monti
(Coordinator)
|
1° 2° | Genetics | D |
Massimo Delledonne
(Coordinator)
|
1° 2° | History and Didactics of Geology | D |
Guido Gonzato
(Coordinator)
|
years | Modules | TAF | Teacher |
---|---|---|---|
1° 2° | Advanced topics in financial engineering | F |
Luca Di Persio
(Coordinator)
|
1° 2° | Algorithms | D |
Roberto Segala
(Coordinator)
|
1° 2° | Python programming language | D |
Vittoria Cozza
(Coordinator)
|
1° 2° | Organization Studies | D |
Giuseppe Favretto
(Coordinator)
|
years | Modules | TAF | Teacher |
---|---|---|---|
1° 2° | ECMI modelling week | F | Not yet assigned |
1° 2° | ESA Summer of code in space (SOCIS) | F | Not yet assigned |
1° 2° | Google summer of code (GSOC) | F | Not yet assigned |
1° 2° | Introduzione all'analisi non standard | F |
Sisto Baldo
|
1° 2° | C Programming Language | D |
Pietro Sala
(Coordinator)
|
1° 2° | LaTeX Language | D |
Enrico Gregorio
(Coordinator)
|
1° 2° | Mathematics mini courses | F |
Marco Caliari
(Coordinator)
|
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: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.
Alternative learning activities
In order to make the study path more flexible, it is possible to request the substitution of some modules with others of the same course of study in Mathematics at the University of Verona (if the educational objectives of the modules to be substituted have already been achieved in the previous career), or with others of the course of study in Mathematics at the University of Trento.Documents
Title | Info File |
---|---|
![]() |
pdf, it, 167 KB, 27/08/21 |
![]() |
pdf, it, 97 KB, 29/07/24 |
![]() |
pdf, it, 113 KB, 30/08/21 |
Attendance modes and venues
As stated in the Teaching Regulations , 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.
Part-time enrolment is permitted. Find out more on the Part-time enrolment possibilities page.
The course's teaching activities take place in the Science and Engineering area, which consists of the buildings of Ca‘ Vignal 1, Ca’ Vignal 2, Ca' Vignal 3 and Piramide, located in the Borgo Roma campus.
Lectures are held in the classrooms of Ca‘ Vignal 1, Ca’ Vignal 2 and Ca' Vignal 3, while practical exercises take place in the teaching laboratories dedicated to the various activities.
Career management
Student login and resources
Graduation
Deadlines and administrative fulfilments
For deadlines, administrative fulfilments and notices on graduation sessions, please refer to the Graduation Sessions - Science and Engineering service.
Need to activate a thesis internship
For thesis-related internships, it is not always necessary to activate an internship through the Internship Office. For further information, please consult the dedicated document, which can be found in the 'Documents' section of the Internships and work orientation - Science e Engineering service.
Final examination regulations
Upon completion of the Master’s degree dissertation students are awarded 32 CFU. The final examination consists of a written dissertation on a specific topic agreed with a supervising professor and presented to a commission (Dissertation Committee).
The dissertation can be high-level theoretical or experimental (in the latter case, it may focus on either basic or applied research), it can deal with a theoretical topic or propose the resolution of a specific problem, or description of a work project, and may be carried out at universities, research institutions, schools, laboratories and companies in the framework of internships, traineeships, study stays in Italy and abroad. The dissertation must be original and written by the student under the guidance of a Supervisor. At the request of the student, the dissertation may be written and presented in Italian.
Professors belonging to the Mathematics Teaching Committee, the Department of Computer Science, and any associated departments may be appointed as Supervisors, as well as any professors from the University of Verona whose area of interest (SSD - Scientific-disciplinary Sector) is included in the teaching regulations of the degree programme.
Students may take the final exam only if meeting all requirements set by the School of Sciences and Engineering.
The Master's degree in Mathematics is obtained by successfully passing the final examination and thus earning the 120 CFU included in the study plan.
The material submitted by the student for the final examination will be examined by the Dissertation Committee, which comprises three professors, possibly including the Supervisor, and appointed by the President of the Teaching Committee. The final examination will be assessed based on the following criteria: the student’s performance during the entire study programme, the knowledge acquired during the dissertation work, their understanding of the topic and autonomy of judgment, their ability to apply such knowledge, and communicate effectively and fully all the outcomes of the work and the main results obtained.
The final examination and the degree ceremony will be carried out, in one of the four graduation sessions throughout the academic year, by the Final Examination Committee appointed by the President of the Teaching Committee, and made up of a president and at least four members chosen from among the professors of the University.
For further information, please refer to the Final examination regulations.
Documents
Title | Info File |
---|---|
![]() |
pdf, it, 31 KB, 02/11/22 |
![]() |
pdf, en, 31 KB, 02/11/22 |
![]() |
pdf, it, 171 KB, 20/03/24 |
List of thesis proposals
theses proposals | Research area |
---|---|
Controllo di sistemi multiagente | Calculus of variations and optimal control; optimization - Hamilton-Jacobi theories, including dynamic programming |
Controllo di sistemi multiagente | Calculus of variations and optimal control; optimization - Manifolds |
Controllo di sistemi multiagente | Calculus of variations and optimal control; optimization - Optimality conditions |
Formule di rappresentazione per gradienti generalizzati | Mathematics - Analysis |
Formule di rappresentazione per gradienti generalizzati | Mathematics - Mathematics |
Mathematics Bachelor and Master thesis titles | Various topics |