Seminar • The Future of Formalized MathematicsExport this event to calendar

Friday, March 31, 2023 — 10:30 AM to 11:30 AM EDT

Please note: This seminar will take place in DC 1304 and virtually over Zoom.

Florian Rabe
Friedrich-Alexander-Universität Erlangen-Nürnberg

In the past 50 years immense progress has been made in the domain of formal computer-understandable mathematics. Today about a dozen systems exist that represent person-century amounts of investment and that have been used to obtain flagship formalization results like the proof of the Kepler conjecture. But despite its potential to be a transformative force on mathematics, even our best formalizations are merely case studies in comparison to mathematics as a whole.

In this presentation I describe the current state of formalized mathematics from a big picture perspective. I identify long-term challenges and present potential solutions.


To join this seminar in person, please come to DC 1304. You can also attend virtually using Zoom at https://fau.zoom.us/j/4879450888.

Location 
DC - William G. Davis Computer Research Centre
Hybrid: DC 1304 | Online seminar
200 University Avenue West

Waterloo, ON N2L 3G1
Canada
Event tags 

S M T W T F S
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
1
2
  1. 2024 (47)
    1. March (1)
    2. February (21)
    3. January (25)
  2. 2023 (296)
    1. December (20)
    2. November (28)
    3. October (15)
    4. September (25)
    5. August (30)
    6. July (30)
    7. June (22)
    8. May (23)
    9. April (32)
    10. March (31)
    11. February (18)
    12. January (22)
  3. 2022 (245)
  4. 2021 (210)
  5. 2020 (217)
  6. 2019 (255)
  7. 2018 (217)
  8. 2017 (36)
  9. 2016 (21)
  10. 2015 (36)
  11. 2014 (33)
  12. 2013 (23)
  13. 2012 (4)
  14. 2011 (1)
  15. 2010 (1)
  16. 2009 (1)
  17. 2008 (1)