Teaching
A complete listing of teaching and advising activities appears in my CV, including the following invited lectures:
- Invited talk: Resolution, unification, and subsumption: fundamental concepts in theorem proving, 12th Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA [Slides].
- Invited talk: Set of support, demodulation, and paramodulation: fundamental concepts in theorem proving, 11th Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA [Slides].
- Lecture: Parallel automated reasoning, 3rd International Summer School on Satisfiability, Satisfiability Modulo Theories and Automated Reasoning (SAT/SMT/AR), Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal, EU
[Slides].
- Invited talk: Overview of automated reasoning and ordering-based strategies,
9th Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA [Slides].
- Invited talk: On Interpolation in theorem proving, 7th Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA
[Slides].
- Lecture: Introduction to automated reasoning, 1st International Summer School on Satisfiability, Satisfiability Modulo Theories and Automated Reasoning (SAT/SMT/AR), Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal, EU.
- Lecture: Ordering-based strategies for theorem proving, 6th Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA.
- Lecture: Topics in model-based reasoning: towards integration of proving and solving, Advanced Seminar in Artificial Intelligence and Robotics, Università degli Studi di Roma "La Sapienza", Roma, Italy, EU [Slides].
- 1-week course: Teoria della dimostrazione: metodi del ragionamento automatico (Proof theory: automated reasoning methods), Scuola Italiana di Logica, Associazione Italiana di Logica e sue Applicazioni, Palazzo Feltrinelli, Gargnano sul Garda, Italy, EU.
- 3-weeks course: Theorem proving strategies, International Graduate Program in Computational Logic, Fakultät Informatik, Technische Universität Dresden, Dresden, Germany, EU.
Maria Paola Bonacina