Pease, Alison

Activities

Activities per year 2022 2023 2024 2024

• 5 Participation in conference
• 3 Publication peer-review
• 2 Funding - grants and income which support research related activities
• 1 Participation in workshop, seminar, course
• 3 More
  • 1 Other
  • 1 Invited talk
  • 1 Keynote

Activities per year

Search results

• Proofs, refutations and implementations: Lakatos in the age of AI

  Pease, A. (Keynote speaker)

  4 Nov 2022

  Activity: Talk or presentation types › Keynote