Loading Events

« All Events

Mathematics and Machine Learning Closing Workshop

October 28, 2024 @ 9:00 am - November 1, 2024 @ 5:00 pm

Mathematics and Machine Learning Closing Workshop

Dates: October 28–Nov 1, 2024

Location: Room G10, CMSA, 20 Garden Street, Cambridge MA

Directions to CMSA

The closing workshop will provide a forum for discussing the most current research in these areas, including work in progress and recent results from program participants. We will devote one day to frontier topics in interactive theorem proving, such as mathematical library development and AI for mathematical search and theorem proving.

Organizers

  • Francois Charton (Meta AI)
  • Michael R. Douglas (Harvard CMSA)
  • Michael Freedman (Harvard CMSA)
  • Fabian Ruehle (Northeastern)
  • Geordie Williamson (Univ. of Sydney)

Further details TBA.

Details

Start:
October 28, 2024 @ 9:00 am
End:
November 1, 2024 @ 5:00 pm
Event Category:

Venue

CMSA Room G10
CMSA, 20 Garden Street
Cambridge, MA 02138 United States
+ Google Map
Phone:
6174967132