Proof & Program - AI-Assisted Formal Mathematics

Conference Research, Industry, Education, Public outreach
iCalendarOutlook
Google calendarYahoo! calendarOutlook online
  • 16 Feb 2026
  • 09:00 - 20:00
  • This event is held in English
  • Grand auditorium - 4 Place Jussieu
  • Open link
    https://www.eventbrite.fr/e/conference-proof-program-ai-assisted-formal-mathematics-tickets-1978613191318?aff=oddtdtcreator