• The epistemological and technological milieu
• A brief (western) history of proofs
• Absolute vs relativity reliability
• Automated deduction vs CAFR
• Universal vs special-purpose formal systems
• A plethora of formal systems
• How many abstraction levels?
• Computational metamodels
• Metamodels, examples
• Framework theories
• Pervasive concepts
• Outline of the course: models
• Outline (cntd.): metamodels
• Outline (cntd.): applications