Upcoming
JSPS London Call for the 2026 Summer Program
The JSPS London call for the 2026 Summer Program is now open. Please read on for more details about how to apply.
[ read more... ]
UK-Japan Seminar: Interactive theorem prover + Generative AI in maths seminar 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.
FUNDING CALL: FY2026 JSPS and The Royal Society Joint Call for Bilateral Research Projects
This bilateral call is now open. Please read on for information about level of award and coverage.
[ read more... ]
