FYI: Seminar "Mathematics in the Age of AI" by Jeremy Avigad (Carnegie Mellon University)
20 views
Skip to first unread message
David A. Wheeler
Oct 8, 2025, 4:16:54 PM (8 days ago) Oct 8
to Metamath Mailing List
FYI: The London Mathematical Society (LMS), in association with the British Computer Society Formal Aspects of Computing Science (BCS-FACS), is hosting a presentation by Jeremy Avigad (Carnegie Mellon University) on "Mathematics in the Age of AI".
It's online only and will be streamed via Zoom on 06 November 2025 at 19:00 - 20:00 (UK time).
If you're interested, you can learn more & register here:
https://www.lms.ac.uk/events/lms-bcs-facs-seminar-jeremy-avigad
I think you *must* register to attend. It doesn't appear to cost anything. It even let *me* register :-).
--- David A. Wheeler
It's online only and will be streamed via Zoom on 06 November 2025 at 19:00 - 20:00 (UK time).
If you're interested, you can learn more & register here:
https://www.lms.ac.uk/events/lms-bcs-facs-seminar-jeremy-avigad
I think you *must* register to attend. It doesn't appear to cost anything. It even let *me* register :-).
--- David A. Wheeler
Reply all
Reply to author
Forward
0 new messages