---

Lectures are scheduled from March 5, 2012 to May 31, 2012. All lectures are at DIS, via Ariosto 25, Roma in classroom A3 on Monday and A5 on Thursday.

---

Week	Monday (2:00pm - 3:30pm) classroom A3	Thursday (2:00pm - 3:30pm) classroom B2
01 (Mar 5)	Lectures 1,2 - Introduction to propositional logic	---------
02 (Mar 12)	Lectures 3,4 - Reasoning in propositional logic	---------
03 (Mar 19)	Lectures 5,6 - Syntax and semantics of first-order logic	---------
04 (Mar 26)	---------	Lectures 7,8 - Relationship between logic and databases
05 (Apr 2)	Lectures 9,10 - The problem of information integration	---------
06 (Apr 9)	---------	Lectures 11,12 - Formalization of information integration
07 (Apr 16)	Lectures 13,14 - Mapping languages - the case of GAV mappings	---------
08 (Apr 23)	Lectures 15,16 - Mapping languages - the case of LAV mappings	Lectures 17,18 - Query answering in GAV without constraints
09 (Apr 30)	---------	---------
10 (May 7)	Lectures 19,20 - Data exchange without constraints	---------
11 (May 14)	Lectures 21,22 - Data exchange without constraints	---------
12 (May 21)	---------	---------
13 (May 28)	Lectures 23,24 - Open source tool for data federation	---------
14 (June 4)	Lectures 25,26,27,28 - Data exchange and integration with constraints	---------