Conference Proof & Program - AI-Assisted Formal Mathematics

Schedule

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

UTC+01:00

Location

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, France

Event Location & Nearby Stays:

Tickets

USD 0.00

Know what’s Happening Next — before everyone else does.

Host or Publisher SCAI

Ask AI if this event suits you:

Discover More Events in Paris

Shouse in Paris

Sun, 15 Feb at 08:00 pm Shouse in Paris

La Boule Noire

ENTERTAINMENT CONCERTS

$Mariage, prolong\u00e9 !$

Sun, 15 Feb at 08:00 pm Mariage, prolongé !

Le Local des Autrices

KYROS CORWOKING

Mon, 16 Feb at 02:00 am KYROS CORWOKING

18 Rue Godot de Mauroy

BUSINESS

$4\u00e8me \u00e9dition des Rencontres de la JUB$

Mon, 16 Feb at 08:30 am 4ème édition des Rencontres de la JUB

Maison du Barreau de Paris

Formation "Design thinking par les designers"

Mon, 16 Feb at 09:30 am Formation "Design thinking par les designers"

62 R. de Turbigo

BUSINESS CONTESTS

$D\u00e9monstration de Sculpture de l\u00e9gumes par le Chef Alumni Bao Feiyue$

Mon, 16 Feb at 02:00 pm Démonstration de Sculpture de légumes par le Chef Alumni Bao Feiyue

Institut Le Cordon Bleu

ART FOOD-DRINKS

$R\u00e9fl\u00e9chir au m\u00e9tier qui me correspond$

Mon, 16 Feb at 02:15 pm Réfléchir au métier qui me correspond

Maison 13 Solidaire

$Antoine COMPAGNON : \u00ab It's like d\u00e9j\u00e0 vu all over again \u00bb$

Mon, 16 Feb at 06:00 pm Antoine COMPAGNON : « It's like déjà vu all over again »

Institut de France

Build Your First Successful AI SaaS Startup Today! - Workshop

Tue, 23 Apr at 02:00 pm Build Your First Successful AI SaaS Startup Today! - Workshop

Regus Office

BUSINESS WORKSHOPS

Launch Your Own Successful AI App | AI Startup | Workshop 2025

Tue, 30 Apr at 01:00 pm Launch Your Own Successful AI App | AI Startup | Workshop 2025

TBD

WORKSHOPS BUSINESS

Integrating Blockchain and AI (Artificial Intelligence) | Paris

Thu, 09 May at 04:00 pm Integrating Blockchain and AI (Artificial Intelligence) | Paris

Paris

WORKSHOPS ARTIFICIAL-INTELLIGENCE

$Paris Tech Mixer and Social (Tech \/ AI \/ Data) \u2728 Paris Connect$

Fri, 23 May at 07:00 pm Paris Tech Mixer and Social (Tech / AI / Data) ✨ Paris Connect

O’Sullivans

BUSINESS MEETUPS

$Prompt to Profit \u2014 Learn Generative AI for Business and Innovation$

Wed, 22 Oct at 01:00 pm Prompt to Profit — Learn Generative AI for Business and Innovation

Regus Office

ARTIFICIAL-INTELLIGENCE BUSINESS

Master the Art of Buying, Selling & Scaling Startups Successfully!

Tue, 09 Dec at 01:00 pm Master the Art of Buying, Selling & Scaling Startups Successfully!

WeWork - Espace de bureau et coworking

BUSINESS ART

$Petit d\u00e9jeuner KPAM : Emotions & CX, le grand d\u00e9fi - jeudi 29 janvier 2026$

Thu, 29 Jan at 09:00 am Petit déjeuner KPAM : Emotions & CX, le grand défi - jeudi 29 janvier 2026

LE GRAND CAFE - SEBASTIEN GAUDARD - PATISSERIE

$La souverainet\u00e9 des donn\u00e9es et l\u2019espace europ\u00e9en des donn\u00e9es de sant\u00e9$

Thu, 12 Feb at 08:30 am La souveraineté des données et l’espace européen des données de santé

PariSanté Campus

BUSINESS

$L\u2019intelligence artificielle au service du cod\u00e9veloppement euro-africain$

Thu, 12 Feb at 02:00 pm L’intelligence artificielle au service du codéveloppement euro-africain

Ingénieurs et Scientifiques de France (IESF)

BUSINESS IT

$Cr\u00e9er votre Agent IA Marketing avec n8n & Slack$

Thu, 12 Feb at 06:15 pm Créer votre Agent IA Marketing avec n8n & Slack

LE WAGON

BUSINESS

Club AI & Digital Transformation | IA pour dirigeant.e.s

Thu, 12 Feb at 06:30 pm Club AI & Digital Transformation | IA pour dirigeant.e.s

ENESIA

WORKSHOPS BUSINESS

Conference Proof & Program - AI-Assisted Formal Mathematics

Mon, 16 Feb at 09:00 am Conference Proof & Program - AI-Assisted Formal Mathematics

4 Pl. Jussieu

ARTIFICIAL-INTELLIGENCE

What's Happening Next in Paris?

Discover Paris Events