BEGIN:VCALENDAR VERSION:2.0 PRODID:-//wp-events-plugin.com//7.2.3.1//EN TZID:Europe/Paris X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT UID:6647@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20201103T110000 DTEND;TZID=Europe/Paris:20201103T120000 DTSTAMP:20241120T201802Z URL:https://www.i2m.univ-amu.fr/evenements/rice-like-theorems-for-automata -networks-guilhem-gamard/ SUMMARY:Guilhem Gamard (LIS\, Marseille): Rice-like theorems for automata n etworks - Guilhem Gamard DESCRIPTION:Guilhem Gamard: Titre : Rice-like theorems for automata network s\n\nRésumé :\n\nAn automata network (AN for short) is a finite digraph where each node holds a state\, choosen among a finite set\, that evolves in function of the states of its inbound neighbors.\nTime is discrete and all nodes evolve synchronously and in parallel\, similarly to what happens in an cellular automaton. In other terms\, the differences between a cell ular automaton and an automata network is that the "grid" is an arbitrary finite digraph\, and that different nodes may have different update functi ons.\nANs have been used to model neural networks\, dynamics of expression and inhibition of genes\,\ndistributed algorithms\, and more.\n\nAlthough ANs look like a model of computation\, they are not Turing-complete\, for they lack unbounded memory.\nStill\, they are subject to some kind of "Ri ce theorems"\, i.e.\, results along the lines of: "any nontrivial property of the function computed by an automata network is computationally hard t o test".\nIn this talk\, we will review several results that fit this patt ern\, as well as pieces of proof that hopefully may be reused in other con texts.\n\n \;\n\nVIRTUAL EVENT: https://bbb-test.univ-amu.fr/b/sar-xmr -npe ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2 020/02/Guilhem.Gamard.jpg CATEGORIES:Séminaire,Ernest,Virtual event LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1 63 Avenue de Luminy\, Marseille\, 13009\, France X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall e de Séminaire 304-306 (3ème étage):geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:STANDARD DTSTART:20201025T020000 TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET END:STANDARD END:VTIMEZONE END:VCALENDAR