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

RAYE in Paris

Sun, 15 Feb at 07:30 pm RAYE in Paris

ACCOR ARENA

CONCERTS MUSIC

$Concert de la Saint-Valentin \u2728 15 f\u00e9vrier$

Sun, 15 Feb at 07:30 pm Concert de la Saint-Valentin ✨ 15 février

Conservatoire Russe de Paris Serge Rachmaninoff

CONCERTS MUSIC

$TANTRA DANSE EXP\u00c9RIENCE$

Sun, 15 Feb at 08:00 pm TANTRA DANSE EXPÉRIENCE

Le Regard du Cygne

HEALTH-WELLNESS MEDITATION

Tarja in Paris

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

ALHAMBRA

CONCERTS MUSIC

$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

Scott H. Biram in Paris

Mon, 16 Feb at 07:00 pm Scott H. Biram in Paris

SUPERSONIC

CONCERTS MUSIC

Leif Vollebekk in Paris

Mon, 16 Feb at 07:00 pm Leif Vollebekk in Paris

Alhambra

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

Lancement national de la saison 14 de Data For Good

Sat, 24 Jan at 02:00 pm Lancement national de la saison 14 de Data For Good

Le Wagon

Human Salon - Thinking Better About Money with AI

Tue, 27 Jan at 07:00 pm Human Salon - Thinking Better About Money with AI

Galopins par Patoche

BUSINESS CONFERENCES

$St\u00e9phane Mallat : le Centre de Sciences des Donn\u00e9es et l\u2019IA \u00e0 l\u2019ENS$

Wed, 28 Jan at 02:00 pm Stéphane Mallat : le Centre de Sciences des Données et l’IA à l’ENS

École normale supérieure - PSL (Salle Dussane)

IA : Quel impact sur la communication et le marketing ?

Wed, 28 Jan at 06:00 pm IA : Quel impact sur la communication et le marketing ?

HOTEL DE L'INDUSTRIE

BUSINESS CONFERENCES

LES RENCONTRES FORA - LA FORMATION SOUS CONTRAINTES

Thu, 29 Jan at 09:30 am LES RENCONTRES FORA - LA FORMATION SOUS CONTRAINTES

Paris Expo Porte de Versailles

$Algorythm+\/How to Leverage AI (for Absolute Beginners)$

Thu, 29 Jan at 07:00 pm Algorythm+/How to Leverage AI (for Absolute Beginners)

Paris

ART LITERARY-ART

What's Happening Next in Paris?

Discover Paris Events