Teaching, Lecturing, and Outreach

Invited Lectures:

• 1-week course: TBA, 19th Summer School on Verification Technology, Systems & Applications, MPI Saarbrücken, Germany, EU, 2026.

• Invited talk: Resolution, unification, and subsumption: fundamental concepts in theorem proving, 12th Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA, 2023 [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, 2022 [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, 2019 [Slides].

• Invited talk: Overview of automated reasoning and ordering-based strategies, 9th Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA, 2019 [Slides].

• Invited talk: On Interpolation in theorem proving, 7th Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA, 2017 [Slides].

• Lecture: Introduction to automated reasoning, International Summer School on Satisfiability, Satisfiability Modulo Theories and Automated Reasoning (SAT/SMT/AR), Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal, EU, 2016.

• Lecture: Ordering-based strategies for theorem proving, 6th Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA, 2016.

• 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, 2014 [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, 2005.

• 3-weeks course: Theorem proving strategies, International Graduate Program in Computational Logic, Fakultät Informatik, Technische Universität Dresden, Dresden, Germany, EU, 1999.

Outreach lectures and panels (in Italian):

• Creatività o intelligenza artificiale? Tutte e due!, 2026.

• Italian event for the UNESCO World Logic Day: a panel on Logica, Linguaggio, Intelligenza Artificiale, 2026.

• Intelligenza artificiale: distinguere scienza e pubblicità, 2025.

• Intelligenza artificiale: l'avventura è appena iniziata, at an event on AI: video, notice on UniVR Magazine, and press interviews, 2025.

• Donne e informatica, 2022.

• Il ragionamento astratto, 2010.

Maria Paola Bonacina