Conference Proof & Program - AI-Assisted Formal Mathematics
Schedule
Mon Feb 16 2026 at 09:00 am to 07:00 pm
UTC+01:00Location
4 Pl. Jussieu | Paris, IL
Advertisement
Join us for a deep dive into the world of AI-assisted formal mathematics !About this Event
https://scai.sorbonne-universite.fr/public/events/view/2de9b3c151706b393873/13
Advertisement
Where is it happening?
4 Pl. Jussieu, 4 Place Jussieu, Paris, FranceEvent Location & Nearby Stays:
Tickets
USD 0.00
Know what’s Happening Next — before everyone else does.



















