SMS scnews item created by Tom Goertzen at Mon 15 Sep 2025 1020
Type: Seminar
Distribution: World
Expiry: 21 Sep 2025
Calendar1: 19 Sep 2025 1200-1300
CalLoc1: Carslaw 175
CalTitle1: Sporadically integrating Magma with Lean
Auth: goertzen@toms-mbp.shared.sydney.edu.au (tgoe0324) in SMS-SAML

Algebra Seminar: Narayanan -- Sporadically integrating Magma with Lean

Ashvni Narayanan (University of Sydney) will be speaking in the algebra seminar.  We
will go out for lunch after the talk---all are welcome to join! 

When: 12-1pm Friday September 19 

Where: Carslaw 175 

Title: Sporadically integrating Magma with Lean 

Abstract: Lean is an interactive theorem prover which is being used by several
mathematicians to verify mathematical claims.  We aim to build a bridge between Magma
and Lean that can be beneficial to both systems, with a special focus on sporadic
groups.

Actions:

Calendar (ICS file) download, for import into your favourite calendar application

UNCLUTTER for printing

AUTHENTICATE to mark the scnews item as read