Create Event
Open App
Event Ended
View Details

Conference Proof & Program - AI-Assisted Formal Mathematics

Mon, 16 Feb, 2026 at 09:00 am to 07:00 pm

4 Pl. Jussieu, 4 Place Jussieu, Paris, France

Discover more events

Artificial Intelligence Events In Paris
download-app
Advertisement

Paris's favorite ✨

Don't miss out on what's hot and happening
Advertisement