Séminaire Logique et Interactions
| Organisateur: | Lionel Vaux, (tél: +33 4 91 26 96 87) |
|---|---|
| Lieu: |
I2M, site de Luminy Bâtiment TPR2, CNRS Salle de Séminaires: 3ème étage (304-306). |
| Horaire: | en général le jeudi à 11h |
Calendrier partagé au format ICal
Pour vous inscrire à la liste de diffusion, contactez l’organisateur.
18 février 2021 : Série d'exposés
Saison indécidabilité/impossibilité du séminaire MOVE : Guillaume Theyssier, Théorèmes de Rice dans les automates cellulaires (10h30).