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