A Guided Tour through Interval Temporal Logics (AILA 2012)
Lesson 1: a General Overview
Lesson 2: Interval structures, relations, and logics
Lesson 3: Languages and expressiveness
Lesson 4: Interval logics: Undecidability
Lesson 5: a Tableau-based decision procedure for LTL
Lesson 5bis: Model Checking for LTL
Lesson 6:
Interval logics: Decidability
Lesson 7:
Mid- and Long-Term Research Agenda
Ehrenfeucht-Fraisse Games: Applications and Complexity (ESSLLI 2010)
Lesson 1: Introduction to EF-games
Lesson 2: Inexpressivity results for first-order logic
Lesson 3: Normal forms for first-order logic
Lesson 4: Algorithms and complexity for specific classes of structures
Lesson 5: General complexity bounds
Automatic System Verification: Theory and Applications (Verifica Automatica dei Sistemi: Teoria e Applicazioni)
Program 2012/13 (Italian and English versions)
Introduction
Fair transition systems (slides), by Donatella Gubiani and Angelo Montanari
Linguaggi formali, automi e logiche, by Angelo Montanari
Introduction to temporal logics (slides), by Angelo Montanari and Alberto Policriti
A tableau-based decision procedure for LTL (slides), by Angelo Montanari
Introduction to model checking, by Angelo Montanari
A crash course on model checking: CTL model checking, by Massimo Franceschet
Partial order reduction, by Angelo Montanari and Ilaria Sambarino
mu-calculus model checking, by Giovanna D'Agostino and Angelo Montanari
Additional exercises
Suggested Topics
Databases (Basi di Dati - Informatica)
Program 2012/13 (Italian and English versions)
Slides
Introduction (in Italian)
ER model (in Italian)
Conceptual Modeling with UML (in Italian)
Relational Model (in Italian)
Relational Algebra (in Italian)
Equivalence of relational algebra expressions (in Italian)
Relational Calculi (in Italian)
SQL (in Italian)
Views (in Italian)
Il DBMS Oracle - Express Edition 10g (in Italian)
Oracle XE 10g: some simple examples (in Italian)
XML introduction and document type definition (in Italian)
XML query languages
Introduction to transaction processing (in Italian)
Buffer management (in Italian)
Concurrency control (in Italian)
Database recovery techniques (in Italian)
Query optimization - I (in Italian)
Physical Model - Part 1 (in Italian)
Physical Model - Part 2 (in Italian)
Physical Model - Part 3 (in Italian)
Query optimization (in Italian)
Additional material: Conceptual Design; Logical Design; Normalization; Theory of Relational Database Design (in Italian);SQL and Programming Languages (in Italian)
Exams (in Italian):
Exercise 2012/09/03 (Informatica); Exercise 2012/09/03 (TWM);
Exercise 2012/07/16 (Informatica); Exercise 2012/07/16 (TWM);
Exercise 2012/06/13 (Informatica); Exercise 2012/06/13 (TWM);
Exercise 2012/02/20 (Informatica); Exercise 2012/02/20 (TWM);
Exercise 2012/01/26 (Informatica); Exercise 2012/01/26 (TWM);
Exercise 2011/09/05 (Informatica); Exercise 2011/09/05 (TWM);
Exercise 2011/07/25 (Informatica); Exercise 2011/07/25 (TWM);
Exercise 2011/06/28 (Informatica); Exercise 2011/06/28 (TWM);
Exercise 2011/02/17 (Informatica); Exercise 2011/02/17 (TWM);
Exercise 2011/02/01 (Informatica); Exercise 2011/02/01 (TWM);
Exercise 2010/09/01 (Informatica); Exercise 2010/09/01 (TWM);
Exercise 2010/07/15 (Informatica); Exercise 2010/07/15 (TWM);
Exercise 2010/06/24 (Informatica); Exercise 2010/06/24 (TWM);
Exercise 2010/02/10 (Informatica); Exercise 2010/02/10 (TWM);
Exercise 2010/01/27 (Informatica); Exercise 2010/01/27 (TWM);
Exercise 2009/09/01; Exercise 2009/07/13; Exercise 2009/06/22;
Exercise 2009/02/11; Exercise 2009/01/28; Exercise 2008/09/22;
Exercise 2008/07/01; Exercise 2008/03/31; Exercise 2007/12/19;
Exercise 2007/12/03; Exercise 2007/09/10; Exercise 2007/07/27;
Exercise 2007/03/29; Exercise 2006/12/22; Exercise 2006/12/13;
Exercise 2006/09/15; Exercise 2006/07/21; Exercise 2006/03/28;
Exercise 2006/01/09; Exercise 2005/12/05; Exercise 2005/09/19;
Exercise 2005/06/27; Exercise 2005/03/22; Exercise 2004/12/20 (04/05);
Exercise 2004/12/20 (03/04); Exercise 2004/12/07; Exercise 2004/09/13;
Exercise 2004/07/19; Exercise 2004/03/23; Exercise 2003/12/17;
Exercise 2003/12/03; Exercise 2003/09/08; Exercise 2003/06/20;
Exercise 2002/03/08; Exercise 2001/06/11.
Solved Exercises (in Italian):
Conceptual Design
Relational Algebra
SQL
Logical Design
Physical Models
Database Server Technology
Advanced Database Systems (Complementi di Basi di Dati - Informatica)
Slides
Theory of Relational Database Design (Italian): Normal - Compact
XML introduction and document type definition (Italian) Normal
XML query languages(English): Normal
SQL and Programming Languages (Italian): Normal -
Compact
Physical Model - Part 1 (Italian)
Physical Model - Part 2 (Italian)
Physical Model - Part 3 (Italian)
Introduction to transaction processing (in Italian)
Buffer management (in Italian)
Concurrency control (in Italian)
Database recovery techniques (in Italian)
Query optimization (in Italian)
Distributed Databases (Italian): Normal - Compact
Exams (in Italian):
Exercise 2011/02/17; Exercise 2010/09/14;
Exercise 2010/09/01;Exercise 2010/07/15; Exercise 2010/06/24;
Exercise 2010/02/10; Exercise 2009/09/18; Exercise 2009/09/01;
Exercise 2009/07/13; Exercise 2009/06/22; Exercise 2009/02/11;
Exercise 2008/09/22; Exercise 2008/07/01; Exercise 2008/04/15;
Exercise 2008/03/31; Exercise 2007/12/19; Exercise 2007/09/10;
Exercise 2007/07/27; Exercise 2006/12/22; Exercise 2006/09/15;
Exercise 2006/07/21; Exercise 2006/04/05; Exercise 2006/03/28;
Exercise 2005/12/05; Exercise 2005/09/19; Exercise 2005/06/27;
Exercise 2005/04/04; Exercise 2005/03/22; Exercise 2004/12/07;
Exercise 2004/09/13; Exercise 2004/07/19; Exercise 2004/04/06;
Exercise 2004/03/23; Exercise 2003/12/17; Exercise 2003/09/08;
Exercise 2003/06/20; Exercise 2003/04/04; Exercise 2002/03/08;
Exercise 2001/12/13; Exercise 2001/07/03; Exercise 2001/06/11.
Solved Exercises (in Italian):
Logical Design
Physical Models
Database Server Technology
Spatial Databases (Basi di Dati Spaziali)
Slides
Introduction (Italian): Normal - Compact
Rapresentation of Spatial Objects (Italian): Normal - Compact
Logical Models (Italian): Normal - Compact
Relational (Geo)Algebra(Italian): Normal - Compact
Spatial SQL (Italian): Normal - Compact
Conceptual and Logical Design (Italian): Normal - Compact
Spatial Access Methods - Part 1 (Italian): Normal - Compact
Spatial Access Methods - Part 2 (Italian): Normal - Compact
Introduction to GIS - Part 1 (Italian): Normal - Compact
Introduction to GIS - Part 2 (Italian): Normal - Compact
Geographical Information (Italian): Normal - Compact
Cartography (Italian): Normal - Compact
Geographical Information Models (Italian): Normal - Compact
Structured Geographical Information: Representation and Query Processing (Italian): Normal - Compact
Remote Sensing and Image Processing (Italian): Normal - Compact
MapInfo (part 1) (Italian): Normal - Compact
MapInfo (part 2) (Italian): Normal - Compact
Excercises (in Italian):
Relational GeoAlgebra
Spatial SQL
Reactive Systems: Automata, Logic, and Algorithms (Sistemi Reattivi: Automi, Logiche e Algoritmi)
Introduction
Fair Transition Systems (slides), by Donatella Gubiani and Angelo Montanari
Linguaggi formali, automi e logiche, by Angelo Montanari
Introduction to Temporal Logics (slides), by Angelo Montanari and Alberto Policriti
A tableau-based decision procedure for LTL (slides), by Angelo Montanari
Introduction to Model Checking, by Massimo Franceschet
Suggested Topics
Database Systems (Basi di Dati - Economia)
Slides
Introduction (English - Italian): Normal - Compact
Data models (English - Italian): Normal - Compact
Relational algebra (English - Italian): Normal - Compact
SQL (English - Italian): Normal - Compact
The Entity-Relationship Model (English - Italian): Normal - Compact
Conceptual Design (English - Italian): Normal - Compact
Logical Design (English - Italian): Normal - Compact
Exams (in Italian):
Exercise 2007/09/05; Exercise 2007/06/29; Exercise 2007/06/15;
Exercise 2007/06/06; Exercise 2006/12/12; Exercise 2006/07/11;
Exercise 2006/06/23; Exercise 2006/03/20; Exercise 2005/07/15;
Exercise 2005/06/07; Exercise 2005/03/14; Exercise 2005/01/10;
Exercise 2004/12/21; Exercise 2004/09/13; Exercise 2004/07/15;
Exercise 2004/06/22; Exercise 2004/03/15; Exercise 2003/05/23;
Exercise 2002/06/20; Exercise 2002/03/27; Exercise 2002/01/07.
Database Systems (Basi di Dati - Biotecnologie)
Program 2004/2005 (in Italian)
Slides
Class on October 22, 2004 (in Italian)
Classes on October 28-29, 2004 (in Italian)
Class on November 15, 2004 (in Italian)
Class on November 18, 2004 (in Italian)
Class on November 25, 2004 (in Italian)
Exams (in Italian):
Exercise 2004/12/06.
Fundamentals of Computer Science (Informatica Generale)
Program 2003/2004 (in Italian)
Exams (in Italian):
Exercise 2004/09/27;
Exercise 2004/06/16;
Exercise 2004/02/05;
Exercise 2004/01/08.