• 
• 
  • JSPS
  • JSPS London
  • Contact Us
  • Privacy and Cookie Policy
• 
  • Programme information
  • Latest Calls
    • Fellowships
    • Bilateral
    • Multilateral
    • For Alumni / JBUK
    • Inviting Japanese Researchers
    • Others
    • Archive
  • Application Schedule Chart
  • Fellowships
    • Summer Programme
    • Postdoctoral Fellowship (Short-term)
    • Postdoctoral Fellowship (Standard)
    • Invitation Fellowship (Long-Term)
    • Invitation Fellowship (Short-Term)
  • Bilateral
    • Bilateral Programmes (Type A)
    • Bilateral Programmes (Type B)
  • International Joint Research Programme
    • JRPs-LEAD with UKRI (JSPS - UKRI joint call)
    • Open Research Area for the social sciences
  • Multilateral
    • Core-to-Core Programme
    • G8 Research Councils Initiative
  • Alumni/JBUK
    • BRIDGE Fellowship
    • JSPS London Symposium/ Seminar Scheme
  • Inviting Japanese Researchers
    • Overseas Challenge Programme for Young Researchers
    • Overseas Research Fellowships
    • Research Fellowships for Young Scientists
    • Grants in Aid for Scientific Research (KAKENHI)
  • Fellows' Experiences
    • Fellowships
    • Summer Programme
    • Postdoctoral (Short term)
    • Postdoctoral (Standard)
    • Invitation (Short term)
    • Invitation (Long term)
    • Bilateral
    • Multilateral
    • Alumni case study (Link to JSPS Alumni)
    • Others
• 
  • Academic
  • Non-academic
  • Others
• 
  • UK HE Information
  • Newsletter
  • JSPS London Brochure
  • JSPS International Fellowships for Research in Japan
  • International Collaborations
  • Life in Japan
• 
  • JBUK
  • 登録
  • ログイン
  • ネットワーク
  • JSPS London Symposium/ Seminar Scheme
  • 在英日本人研究者の者窓から
  • Logo download
• 
  • Alumni Association
    • Exective Committee
    • Regional Managers
    • Articles
  • Registration
  • Login
  • BRIDGE Fellowship
  • JSPS London Symposium / Seminar Scheme
  • Voice!
  • Fellows’ experiences
    • Summer Programme
    • Postdoctoral (Short term)
    • Postdoctoral (Standard)
    • Invitation (Long term)
    • Invitation (Short term)
    • Invitation (Short term S)
    • Bilateral
    • Multilateral
    • Others

Home > Upcoming > UK-Japan Seminar: Interactive theorem prover + Generative AI in maths seminar 2025

Upcoming

UK-Japan Seminar: Interactive theorem prover + Generative AI in maths seminar 2025

04 September 2025

Date and Time: 13:00-17:00 17 September 2025

Venue: Room Laver 320 University of Exeter

This seminar is supported by the JSPS London Symposium and Seminar Scheme.

The purpose of this seminar is to investigate ways in which the Interactive Theorem Prover & generative AI can effectively support mathematicians' practice and mathematics education.

Interactive theorem prover + Generative AI in maths seminar 2025

For further information, please contact the event host.

---