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é par l'IAmer., févr. 4, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assisté par l'IAmer., janv. 21, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assisté par l'IAmer., janv. 7, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assisté par l'IAmer., févr. 25, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assisté par l'IAmer., févr. 11, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assisté par l'IAmer., janv. 14, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assisté par l'IAmer., févr. 18, 19:00Le Cargo • ParisLibre
- Maîtriser la création de contenu assisté par l'IAmer., janv. 28, 19:00Le Cargo • ParisLibre