Conferences  >  Mathematics  >  Algebra  >  Any Location (virtual event)

Select a location
1
AIM Virtual Workshop: Formalising algebraic geometry
24 Jun 2024 - 28 Jun 2024 • Online (hosted virtually by American Institute of Mathematics, Pasadena, California), Any Location (virtual event)
Organizer:
American Institute of Mathematics (AIM)
Abstract:
This online workshop, sponsored by AIM and the NSF, will be devoted to formalising basic and advanced concepts in algebraic geometry. Algebraic geometry should be interpreted broadly, and could include topics in related areas such as complex differential geometry and arithmetic geometry. Formalising here means translating mathematical ideas into the language of a computer theorem prover; the prover we will use will be Lean. Works such as EGA and the Stacks project are comprehensive human-written sources for modern algebraic geometry, however they are huge and need to be triaged before a comprehensive formalisation can take place.
Topics:
The main topics for the workshop are: Isolation of key formalisable goals in the area; Developing strategies to formalise key definitions and theorems (for example the Riemann-Roch theorem and its generalisations, definitions and basic facts about coherent and etale cohomology, faithfully flat descent, etale fundemantal group ...); Formalising these definitions and theorems, and PRing the work to Lean's mathematics libary; Development of a blueprint for future progress in the area.
Event listing ID:
1598193
Related subject(s):


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 3 January 2024