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 -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/3D9ADAE1-6936-4CB7-917F-D6F6A6DC05A4%40dwheeler.com.
