Week  Topic  Wednesday (10:15:11:45)  Thursday (15:4519:00) 
1:Oct 0107  FOL and CQs  Lectures 12 
Lectures 36 
2:Oct 0814  FOL and CQs  Lectures
78  Lectures 912 
3:Oct 1521  FOL and CQs  Lectures cancelled 
Lectures cancelled 
4:Oct 2228  Formalizing UML Class Diagrams  Lectures 1314  UML class diagrams  Fomalization in FOL 
Lectures 1518

5:Oct 29Nov 04  Formalizing UML Class Diagrams  Lectures 1920  Description Logics  Concept satisfiability for ALC  KB logical implication in ALC 
Vacation 
6:Nov 0511  Formalizing UML Class Diagrams  Lectures 2122  EXPTIME Hardness del ragionamento su diagrammi UML 
Lectures 2326 
7:Nov 1218  Pre/Postconditions in programs  Lectures 2728 
Lectures 2932  Pre & Post conditions in programs  Transition systems  Evaluation semantics of programs  Transition semantics of programs 
8:Nov 1925  Pre/Postconditions in programs  Lectures 3334  Hoare Logic 
Lectures 3538  Fixpoints  Least and greatest fixpoint  KnasterTarski theorem  Approximates of leastfixpoint  Approximates of greatestfixpoint  Approximates theorem 
9:Nov 26  Dec 02  Fixpoint theory & mucalculus 
Lectures 3940  Least and greatest fixpoint  Mucalculus  Model checking of mucalculus: evaluating CTL formulas over transition systems 
Lectures 4144 
10:Dec 0309  Model checking  Lectures 4546 
Lectures 4750 
11:Dec 1017  Model checking  Lectures 5152  LTL  Buchi Automata on infinite strings  Model checking in LTL: Buchi automata manipulation 
Lectures 5356 
12:Dec 1823  Ripasso & Esercizi d'esame  Lectures 5758  Exam exercises 
Preexam 