BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Formalizing algebraic number theory\, recent progress and future c
 hallenges - Dr Alex J. Best (King's College London)
DTSTART:20230608T160000Z
DTEND:20230608T170000Z
UID:TALK196741@talks.cam.ac.uk
CONTACT:Angeliki Koutsoukou-Argyraki
DESCRIPTION:Most areas of mathematics present their own individual challen
 ges from the perspective of formalization\, arguments that are perceived a
 s routine and obvious\, or simply well known or intuitive to practitioners
 \, that turn out to be far more difficult to express in a formal system.\n
 I'll present some recent formalization projects from my own area of mathem
 atics\, concerning basic yet central topics in algebraic number theory\, s
 uch as class groups and diophantine equations\, and local invariants of el
 liptic curves.\nThese areas have until recently seen relatively little att
 ention from the perspective of formalization.\nA special attention will be
  paid to aspects that have made these formalizations tricky to complete an
 d ways in which proof assistants can be improved to ensure future formaliz
 ations in these areas are shorter and closer to the arguments used by thos
 e working in these fields.
LOCATION:MR20 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR