---

Lectures are scheduled from February 27, 2013 to May 31, 2013. All lectures are at DIS, via Ariosto 25, Roma in classroom A2.

---

Week	Monday (2:00pm - 3:30pm) classroom A2	Thursday (8:30am -10:00am) classroom A2
01 (Mar 4)	Lectures 1,2 - Introduction to propositional logic	---------
02 (Mar 11)	Lectures 3,4 - Reasoning in propositional logic	---------
03 (Mar 18)	---------	---------
04 (Mar 25)	Lectures 5,6 - First-order logic	---------
05 (Apr 1)	---------	Lectures 7,8 - Logic and databases
06 (Apr 8)	Lectures 9,10 - Formal approaches to information integration	---------
07 (Apr 15)	Lectures 11,12 - Syntax and semantics of information integration systems	Lectures 13,14 - Example of information integration system
08 (Apr 22)	Lectures 15,16 Types of mapping in information integration	---------
09 (Apr 29)	Lectures 17,18 GAV vs LAV mappings	---------
10 (May 6)	---------	---------
11 (May 13)	Lectures 19,20 Query answering in GAV without constraints	Lectures 21,22 Data exchange in GLAV without constraints
12 (May 20)	---------	Lectures 23,24 No-SQL systems
13 (May 27)	Lectures 25,26 - Query answering in GLAV without constraints - Query answering with constraints	---------