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, 2013 Jan 31, 2014
II semestre Mar 3, 2014 Jun 13, 2014
Exam sessions
Session From To
Sessione straordinaria Feb 3, 2014 Feb 28, 2014
Sessione estiva Jun 16, 2014 Jul 31, 2014
Sessione autunnale Sep 1, 2014 Sep 30, 2014
Degree sessions
Session From To
Sessione autunnale Oct 16, 2013 Oct 16, 2013
Sessione straordinaria Dec 10, 2013 Dec 10, 2013
Sessione invernale Mar 19, 2014 Mar 19, 2014
Sessione estiva Jul 14, 2014 Jul 14, 2014
Holidays
Period From To
Vacanze Natalizie Dec 22, 2013 Jan 6, 2014
Vacanze di Pasqua Apr 17, 2014 Apr 22, 2014
Festa del S. Patrono S. Zeno May 21, 2014 May 21, 2014
Vacanze Estive Aug 11, 2014 Aug 15, 2014

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

B C D F G L M O P Q S U

Belussi Alberto

symbol email alberto.belussi@univr.it symbol phone-number +39 045 802 7980

Bombieri Nicola

symbol email nicola.bombieri@univr.it symbol phone-number +39 045 802 7094

Bonnici Vincenzo

symbol email vincenzo.bonnici@univr.it symbol phone-number +39 045 802 7045

Boscaini Maurizio

symbol email maurizio.boscaini@univr.it

Carra Damiano

symbol email damiano.carra@univr.it symbol phone-number +39 045 802 7059

Combi Carlo

symbol email carlo.combi@univr.it symbol phone-number 045 802 7985

Cristani Matteo

symbol email matteo.cristani@univr.it symbol phone-number 045 802 7983

Daffara Claudia

symbol email claudia.daffara@univr.it symbol phone-number +39 045 802 7942

Di Pierro Alessandra

symbol email alessandra.dipierro@univr.it symbol phone-number +39 045 802 7971

Drago Nicola

symbol email nicola.drago@univr.it symbol phone-number 045 802 7081

Fiorini Paolo

symbol email paolo.fiorini@univr.it symbol phone-number 045 802 7963

Fummi Franco

symbol email franco.fummi@univr.it symbol phone-number 045 802 7994

Giachetti Andrea

symbol email andrea.giachetti@univr.it symbol phone-number +39 045 8027998

Giacobazzi Roberto

symbol email roberto.giacobazzi@univr.it symbol phone-number +39 045 802 7995

Gobbi Bruno

symbol email bruno.gobbi@univr.it

Gregorio Enrico

symbol email Enrico.Gregorio@univr.it symbol phone-number 045 802 7937

Lora Michele

symbol email michele.lora@univr.it

Marzola Pasquina

symbol email pasquina.marzola@univr.it symbol phone-number 045 802 7816 (ufficio); 045 802 7614 (laboratorio)

Mastroeni Isabella

symbol email isabella.mastroeni@univr.it symbol phone-number +39 045 802 7089

Menegaz Gloria

symbol email gloria.menegaz@univr.it symbol phone-number +39 045 802 7024

Oliboni Barbara

symbol email barbara.oliboni@univr.it symbol phone-number +39 045 802 7077

Posenato Roberto

symbol email roberto.posenato@univr.it symbol phone-number +39 045 802 7967

Pravadelli Graziano

symbol email graziano.pravadelli@univr.it symbol phone-number +39 045 802 7081

Quaglia Davide

symbol email davide.quaglia@univr.it symbol phone-number +39 045 802 7811

Segala Roberto

symbol email roberto.segala@univr.it symbol phone-number 045 802 7997

Setti Francesco

symbol email francesco.setti@univr.it symbol phone-number +39 045 802 7804

Spoto Nicola Fausto

symbol email fausto.spoto@univr.it symbol phone-number +39 045 8027940

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.

ModulesCreditsTAFSSD
12
B
INF/01
6
C
FIS/01
Un insegnamento a scelta tra i seguenti
6
B
ING-INF/05
12
B
ING-INF/05
ModulesCreditsTAFSSD
12
B
ING-INF/05
Un insegnamento a scelta tra i seguenti
Prova finale
6
E
-

2° Year

ModulesCreditsTAFSSD
12
B
INF/01
6
C
FIS/01
Un insegnamento a scelta tra i seguenti
6
B
ING-INF/05
12
B
ING-INF/05

3° Year

ModulesCreditsTAFSSD
12
B
ING-INF/05
Un insegnamento a scelta tra i seguenti
Prova finale
6
E
-

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.




S Placements in companies, public or private institutions and professional associations

Teaching code

4S00037

Credits

12

Coordinatore

Alberto Belussi

Language

Italian

Also offered in courses:

Scientific Disciplinary Sector (SSD)

ING-INF/05 - INFORMATION PROCESSING SYSTEMS

The teaching is organized as follows:

Teoria

Credits

6

Period

I semestre

Academic staff

Alberto Belussi

Tecnologie per le basi di dati

Credits

3

Period

II semestre

Academic staff

Alberto Belussi

Laboratorio

Credits

3

Period

II semestre

Academic staff

Roberto Posenato

Learning outcomes

Module: Database theory
-----------------------------
The first part of the course, called “Databases Theory”, has the aim to provide the student with the necessary concepts and methods for the design of a database and its applications. In particular, it will be focused on the methodologies for the conceptual and logical design of a database and for the successive database implementation on database systems. Moreover, some general techniques for the implementation of database systems will be presented and the fundamental characteristics of the query language SQL and of the relational algebra will be illustrated.

Module: Database technology
----------------------------------
The second part of the course has the aim to provide the student with the necessary concepts and methods for the effective usage of relational database systems (RDBMS). In particular, this module will focus on: transactions, concurrency control techniques, recovery management, indices, techniques for interacting with a RDBMS from a Java program (JDBC) and methodologies for the design of data-centric web applications. Finally some concepts regarding current approaches for modeling semi-structured data will be presented (XML and XML schema).

LAB
----
The goal of this module is to introduce students to the main aspects of the following topics:

- Introduction to relational data stream management system (RDBMS) PostgreSQL.
- Introduction to the use of SQL in PostgreSQL.
- Query Optimization.
- Introduction to the transaction.
- Introduction to Python Language.
- Data base access from application written in Java/Python.
- Introduction to Flask (Python) micro framework for developing of simple data base based web applications.

The main technologies exploited during the course are based on Python language. Python will be introduced during the course.
To attend the course in a productive way, a student has to be confident with object-oriented programming.

Program

Module: Database theory
------------------------------
* Introduction to database managemente systems (DBMS): architectures and functionalities of a DBMS. Phisical and logical data independence. Data models. Concepts of model, schema and instance of a database. Languages for database systems. DBMS vs. file system.
* Conceptual database design: conceptual data models. The Entity-Relationship model (ER). Elements of the ER model: entities, attributes, relationships, ISA hierarchies and cardinality constraints.
* Logical database design: logical data models, the relational data model. Elements of the relational data models: relations and integrity constraints. Mapping between conceptual schemas in ER model and logical schema in the relational model.
* Interacting with a database system: languages for the definition, querying and update of a database. The relational algebra. SQL: select-from-where statement, join in SQL, the GROUP BY and ORDER BY clauses, using subqueries. SQL for update: INSERT, DELETE and UPDATE statements. Views.

Module: Database technology
----------------------------------
* The internal architecture of a DBMS. Transactions. Transactions properties. The concurrency control: schedules, the two-phase locking. Access methods (indexes): primary and secondary indexes, B-+tree, hashing based access methods. Query execution and optimization.
* Techniques for the interaction between a DBMS and an application; JDBC library; the architecture proposed by the MVC-2 approach.
* XML, XML schema, UML for XML data design (hints).

LAB
-----
- Introduction to relational data stream management system (RDBMS) PostgreSQL.
- Introduction to the use of SQL in PostgreSQL.
- Query Optimization.
- Introduction to the transaction.
- Introduction to Python Language.
- Data base access from application written in Java/Python.
- Introduction to Flask (Python) micro framework for developing of simple data base based web applications.

Bibliography

Reference texts
Activity Author Title Publishing house Year ISBN Notes
Teoria P. Atzeni, S. Ceri, P. Fraternali, S. Paraboschi, R. Torlone Basi di dati (Edizione 4) McGraw-Hill 2014 978-88-386-6587-5
Teoria E. Baralis, A. Belussi, G. Psaila Basi di dati - Temi d'esame svolti (Edizione 1) Progetto Leonardo Società Editrice Esculapio Bologna 1999 B135655713
Teoria R. Elmasri, S.H. Navathe Sistemi di Basi di Dati: Fondamenti (Edizione 6) Pearson 2011 978-88-7192-628-5

Examination Methods

Written test for every module. The final grade is obtained by computing the weighted average of the grade obtained in the Theory modules (3/4) and the grade obtained in the Lab module (1/4).

The exams are scheduled as follows: two exams in June/July 2016, one exam in September 2016 and one exam in February 2017. Also intermediate exams are scheduled for the Theory modules: one in March 2016 and one in June 2016.

Type D and Type F activities

Modules not yet included

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.

Graduation

For schedules, administrative requirements and notices on graduation sessions, please refer to the Graduation Sessions - Science and Engineering service.

List of theses and work experience proposals

theses proposals Research area
Analisi e percezione dei segnali biometrici per l'interazione con robot AI, Robotics & Automatic Control - AI, Robotics & Automatic Control
Integrazione del simulatore del robot Nao con Oculus Rift AI, Robotics & Automatic Control - AI, Robotics & Automatic Control
Domain Adaptation Computer Science and Informatics: Informatics and information systems, computer science, scientific computing, intelligent systems - Computer graphics, computer vision, multi media, computer games
Domain Adaptation Computer Science and Informatics: Informatics and information systems, computer science, scientific computing, intelligent systems - Machine learning, statistical data processing and applications using signal processing (e.g. speech, image, video)
BS or MS theses in automated reasoning Computing Methodologies - ARTIFICIAL INTELLIGENCE
Domain Adaptation Computing Methodologies - IMAGE PROCESSING AND COMPUTER VISION
Domain Adaptation Computing methodologies - Machine learning
Dati geografici Information Systems - INFORMATION SYSTEMS APPLICATIONS
Analisi e percezione dei segnali biometrici per l'interazione con robot Robotics - Robotics
Integrazione del simulatore del robot Nao con Oculus Rift Robotics - Robotics
BS or MS theses in automated reasoning Theory of computation - Logic
BS or MS theses in automated reasoning Theory of computation - Semantics and reasoning
Proposte di tesi/collaborazione/stage in Intelligenza Artificiale Applicata Various topics
Proposte di Tesi/Stage/Progetto nell'ambito delle basi di dati/sistemi informativi Various topics

Attendance

As stated in point 25 of the Teaching Regulations for the A.Y. 2021/2022, attendance at the course of study is not mandatory.
Please refer to the Crisis Unit's latest updates for the mode of teaching.

Career management


Area riservata studenti