Teaching and Advising
- Students and Associates
- Lecturing beyond the home institution:
- 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.
- 3-hours class: 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.
- Teaching at the Università degli Studi di Verona:
- Current:
- Planning and Automated Reasoning
- Verifica automatica di sistemi
- Courses taught in previous years:
- Fondamenti di linguaggi di programmazione e specifica/Programming and Specification Language Foundation
- Ragionamento automatico/Automated Reasoning
- Logica/Logic
- Special Topics in Artificial Intelligence
- Verifica automatica di sistemi/Automated System Verification
- Algoritmi per bioinformatica/Algorithms for Bioinformatics
- Intelligenza artificiale/Artificial Intelligence
- Linguaggi di programmazione/Programming Language Concepts
- Deduzione automatica/Automated Deduction
- Programmazione/Introduction to Programming
- Teaching at The University of Iowa (previous affiliation):
- 22C:054 Programming Language Concepts
- 22C:123 Programming Language Foundations
- 22C:245 Advanced Artificial Intelligence
- 22C:145 Artificial Intelligence
- 22C:295 Seminar in Artificial Intelligence

Maria Paola Bonacina