Teaching and lecturing

• At the Università degli Studi di Verona (Oct. 2002 - to present)

• At The University of Iowa (Aug. 1993 - Sept. 2002)

• At other institutions:
  
  • In August-September 2005 I gave a cycle of lectures (one week) on Teoria della dimostrazione: metodi del ragionamento automatico (Proof Theory: Automated Reasoning Methods), part of the annual Scuola Italiana di Logica organized by the Associazione Italiana di Logica e sue Applicazioni, and held at Palazzo Feltrinelli, Gargnano sul Garda, Italy.
  • In May-June 1999 I gave a cycle of lectures (three weeks) on Theorem Proving Strategies in the International Graduate Program in Computational Logic of the Fakultät Informatik of the Technische Universität Dresden, Dresden, Germany.

Miscellaneous pages related to teaching

Maria Paola Bonacina