Session recherche théorèmes à la Rice dans les réseaux d’automates
Date(s) : 09/07/2020 iCal
9h00 - 13h00
TBA
Guillaume Theyssier (I2M, Marseille)
Emplacement
Saint-Charles - FRUMAM (3ème étage)
Catégories Pas de Catégories
Localisation
Adresses
Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9
