Conference Proof & Program - AI-Assisted Formal Mathematics
Conference Proof & Program - AI-Assisted Formal Mathematics
lun., févr. 16, 09:00
4 Pl. Jussieu • Paris
Libre
Événement terminé
« Assise primitive », Inessa Hansch
Suivez cet organisateur pour rester informé des événements futurs
Par Cité de l'architecture & du patrimoine - Paris
Événements susceptibles de vous intéresser
- Maîtriser la création de contenu assistée par l'IAmer., févr. 4, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assistée par l'IAmer., févr. 25, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assistée par l'IAmer., févr. 18, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assistée par l'IAmer., mai 27, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assistée par l'IAmer., sept. 16, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assistée par l'IAmer., juil. 8, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assistée par l'IAmer., août 19, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assistée par l'IAmer., juin 24, 19:00Le Cargo • ParisLibre