Create Event
Open App
Conference Proof & Program - AI-Assisted Formal Mathematics, 16 February | Event in Paris | AllEvents

Conference Proof & Program - AI-Assisted Formal Mathematics

SCAI

Highlights

Mon, 16 Feb, 2026 at 09:00 am
  • Google Calendar
  • Outlook Calendar
  • iCal Calendar
  • Yahoo Calendar

10 hours

4 Pl. Jussieu

Free Tickets Available

  • Google Calendar
  • Outlook Calendar
  • iCal Calendar
  • Yahoo Calendar
Advertisement

Date & Location

Mon, 16 Feb, 2026 at 09:00 am to 07:00 pm (GMT+01:00)

  • Google Calendar
  • Outlook Calendar
  • iCal Calendar
  • Yahoo Calendar

4 Pl. Jussieu

4 Place Jussieu, Paris, France

Save location for easier access

Only get lost while having fun, not on the road!

About the event

Conference Proof & Program - AI-Assisted Formal Mathematics
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

interested
Stay in the loop for updates and never miss a thing. Are you interested?
Yes
No

Ticket Info

Tickets for Conference Proof & Program - AI-Assisted Formal Mathematics can be booked here.

Ticket type Ticket price
General Admission Free

Event Tags

tech conferences

Nearby Hotels

4 Pl. Jussieu, 4 Place Jussieu, Paris, France
Register for Free
Ask AI if this event suits you

Host Details

SCAI

SCAI

Are you the host? Claim Event

Explore more in Paris

Artificial Intelligence Events In Paris Tech Conferences Events In Paris View all in Paris
Advertisement
Conference Proof & Program - AI-Assisted Formal Mathematics, 16 February | Event in Paris | AllEvents
Conference Proof & Program - AI-Assisted Formal Mathematics
Mon, 16 Feb, 2026 at 09:00 am
Free