BEGIN:VCALENDAR
METHOD:PUBLISH
PRODID:-//nopid.escape//NONSGML iCalcreator 2.6//
VERSION:2.0
X-WR-CALNAME:GdT Escape
X-WR-TIMEZONE:Europe/Paris
X-WR-CALDESC:Les rendez-vous du groupe de travail Escape
X-WR-RELCALID:http://www.lirmm.fr/escape/gdt/gdt-ics.php
BEGIN:VEVENT
UID:20260414T130132CEST-8414oV5NfF@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:This is a test entry in the DB\, no real GdT scheduled on this 
 day.
DTSTART:20130903T113000
DTEND:20130903T123000
LOCATION:Lirmm
SUMMARY:[GdT] Test: Test
URL:http://www.lirmm.fr/escape/gdt/?year=2013#talk156
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8419eBP88M@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:This is a test entry in the DB\, no real GdT scheduled on this 
 day.
DTSTART:20130819T113000
DTEND:20130819T123000
LOCATION:Lirmm
SUMMARY:[GdT] Test: Test
URL:http://www.lirmm.fr/escape/gdt/?year=2012#talk157
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8425UIAb5i@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:This is a test entry in the DB\, no real GdT scheduled on this 
 day.
DTSTART:20120927T113000
DTEND:20120927T123000
LOCATION:Lirmm
SUMMARY:[GdT] Test: Test
URL:http://www.lirmm.fr/escape/gdt/?year=2012#talk155
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8429Gupdm8@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:There is a kind of trend called 'tropical mathematics'\nwhere p
 eople try to replace in standard definitions (multiplication\,addition)\no
 perations by (addition\,maximum). One can say that it is like considering 
 things\nin a logarithmic scale (where multi (...)
DTSTART:20120719T110000
DTEND:20120719T120000
LOCATION:Lirmm E3.23
SUMMARY:[GdT] Vladimir Podolsky: Tropical linear equations and mean payoff 
 games
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk154
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8433v2VGx5@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:There are usually two possible ways in which a function\nfails 
 to be computable: it is not continuous (topological reason)\, or it\nmaps 
 some computable point to a non-computable point\n(computability-theoretic 
 reason).  While these two causes are forma (...)
DTSTART:20120607T143000
DTEND:20120607T153000
LOCATION:Lirmm 3.23
SUMMARY:[GdT] Mathieu Hoyrup: On the inversion of computable functions
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk152
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8437LdGzlT@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:TBA
DTSTART:20120531T110000
DTEND:20120531T120000
LOCATION:Lirmm 2.23
SUMMARY:[GdT] Andrei Romaschenko: Infinitely many unconditional and several
  conditional information inequalities.
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk153
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8440ug11e2@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:TBA\n
DTSTART:20120510T110000
DTEND:20120510T120000
LOCATION:Lirmm\, salle 1.4
SUMMARY:[GdT] Alexander Shen: A proof of IP=PSPACE
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk151
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8444k0zGkV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:\n
DTSTART:20120426T110000
DTEND:20120426T120000
LOCATION:Lirmm\, salle E217
SUMMARY:[GdT] Alexander Shen: Universal prediction and game theory
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk150
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8448mWAeos@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:<a href='http://www.calculabilite.fr/'>Page de l'événement</a
 >.
DTSTART:20120305T080000
DTEND:20120306T190000
LOCATION:Paris\, LIAFA
SUMMARY:[Workshop] Journées «calculabilités»: Computability in France
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk149
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8451re0jAv@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:<a href='https://frac.greyc.fr/node/18'>Page de l'événement</
 a>.
DTSTART:20120222T100000
DTEND:20120224T123000
LOCATION:Paris-Est\, Créteil University
SUMMARY:[Workshop] Winter FRAC 2012: Complex systems and computation models
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk148
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8454na3Ong@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les modèles d'auto-assemblage ont été introduits par\nAdlema
 n\, Seeman et Winfree\, et étudiés principalement dans un cadre\nd'assem
 blage de motifs finis. Pourtant\, ils représentent un modèle naturel\nd'
 algorithmes locaux de pavage. Un des premier (...)
DTSTART:20120216T130000
DTEND:20120216T140000
LOCATION:Lirmm\, E2.23
SUMMARY:[GdT] Florent Becker: Auto-assemblage de motifs infinis
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk143
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8458kbsG9b@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les automates cellulaires sont un modèle de calcul uniforme et
  synchrone en\ntemps discret. Ce modèle a été largement étudié en ter
 me de dynamiques et de\nnombreux résultats intéressant diffèrent provie
 nnent de la non existence d'un\npoint dis (...)
DTSTART:20120209T110000
DTEND:20120209T120000
LOCATION:Lirmm\, salle du conseil: 2.56
SUMMARY:[GdT] Gaétan Richard: Reconnaissance par automate cellulaire sur l
 e tore
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk146
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8462WBGiCj@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:<a href='http://www.cirm.univ-mrs.fr/index.html/spip.php?rubriq
 ue2&EX=info_semaine&annee=2012&id_renc=792&num_semaine=1'>Page de l'évén
 ement</a>.
DTSTART:20120130T080000
DTEND:20120203T190000
LOCATION:CIRM
SUMMARY:[Workshop] Logique et interaction: Complexité
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk144
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8465UoGD9D@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:A well-known theorem of Kolmogorov and Levin says that the\ncom
 plexity of a pair can be expressed by the complexities of its elements\nK(
 x\,y) = K(x) + K(y|x) (with logarithmic precision) It turns out that a\nsi
 milar statement for the so-called online c (...)
DTSTART:20120126T110000
DTEND:20120126T120000
LOCATION:Lirmm\, salle 1.4
SUMMARY:[GdT] Bruno Bauwens: Online complexity is not additive
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk147
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8469xNUsUr@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:In 1966\, Berger proved that knowing whether a finite tileset c
 an tile the discrete plane (the domino problem) is an undecidable problem.
   When tilings are defined not only on the discrete plane Z2 but on a fini
 tely presented group\, and if this group (...)
DTSTART:20120119T110000
DTEND:20120119T120000
LOCATION:Lirmm\, salle 2.57 - à l'accueil
SUMMARY:[GdT] Nathalie Aubrun: Tiling problems on Baumslag-Solitar groups
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk142
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8472jds53U@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:<a href='http://www.ens-lyon.fr/DI/?p=2337'>Page de l'événeme
 nt</a>.
DTSTART:20120116T080000
DTEND:20120120T190000
LOCATION:ÉNS Lyon
SUMMARY:[École d'hiver] Laurent Bienvenu\, Alexander Shen: Calculabilité 
 sur les entiers et les réels : de l’œuvre de Turing à la recherche ac
 tuelle
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk145
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8476JtkVB2@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20111213T140000
DTEND:20111213T160000
LOCATION:Montpellier\, campus Saint-Priest\, salle 1.50
SUMMARY:[HDR] Emmanuel Jeandel: Propriétés structurelles et calculatoires
  des pavages
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk140
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8479Avdk4H@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les automates cellulaires constituent un modèle de calcul disc
 ret et\n    massivement parallèle\, dont les règles d'évolution sont d
 finies de manière\n    très simple\, par l'interaction locale\, uniform
 e et synchrone d'entités\n    élémentaire (...)
DTSTART:20111212T103000
DTEND:20111212T120000
LOCATION:LIF\, Marseille\, salle 101
SUMMARY:[Thèse] Alex Borello: Reconnaissance de langages en temps réel su
 r des automates cellulaires avec contraintes
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk139
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8483be65Vn@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les automates cellulaires sont à la fois un modèle de calcul 
 parallèle\, un\nsystème complexe et un système dynamique. Ils fonctionn
 ent de manière synchrone\net en temps discret\, leur particularité est q
 ue les fonctions qu'ils définissent\nsont  (...)
DTSTART:20111205T103000
DTEND:20111205T120000
LOCATION:LIF\, Marseille
SUMMARY:[Thèse] Martin Delacourt: Automates cellulaires: dynamique directi
 onnelle et asymptotique typique
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk138
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8487wxfFAb@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On construit une fonction affine par morceaux f de RR^2 avec la
  propriété suivante: Partant de tout point calculable\, on atteint le po
 int (0\,0) après itération de f en temps fini. Cependant\, il existe des
  points (non calculables) qui n'atteignen (...)
DTSTART:20111117T110000
DTEND:20111117T120000
LOCATION:Lirmm
SUMMARY:[GdT] Emmanuel Jeandel: Dynamique des fonctions affines par morceau
 x
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk141
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-84904oUZkl@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les substitutions combinatoires sont des règles qui remplacent
  des symboles par des motifs finis de symboles dans la grille Z<sup>d. On 
 s'intéresse au cas où les motifs ne sont pas nécessairement rectangulai
 res\, ce qui requiert une description s (...)
DTSTART:20111110T110000
DTEND:20111110T120000
LOCATION:Lirmm
SUMMARY:[GdT] Timo Jolivet: Consistance des substitutions combinatoires
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk137
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8493VMCVpP@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:I will present some results of Kozen's work on subrecursive ind
 exings and show how our work on sub-computabilities is a natural sequel of
  Kozen's papers.
DTSTART:20111103T110000
DTEND:20111103T120000
LOCATION:Lirmm\, salle 3.23
SUMMARY:[GdT] Fabien Givors: From Recursive Indexings to Sub-Computabilitie
 s
URL:http://www.lirmm.fr/escape/gdt/?year=2011#talk136
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8497OWfuLG@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:For each collection of n discrete random variables we can defin
 e a vector of 2^n-1 entropies one for each singleton pair triple etc. We s
 tudy the subset of the Euclidian space R^2^n-1 consisting of all such vect
 ors and few other related (...)
DTSTART:20110512T143000
DTEND:20110512T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Tarik Kaced: (Un)constrained Linear Information Inequalities
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk135
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8501J5lU3E@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Nous présenterons le phénomène de transition de phase dans l
 es problèmes de satisfaction de contraintes (CSP). Le calcul de la valeur
  du seuil (dans 3-SAT notamment) résiste depuis une vingtaine d'années. 
 En particulier nous montrerons (...)
DTSTART:20110505T143100
DTEND:20110505T153100
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Thomas Hugel: Mesurer la satisfaisabilité par des poids.
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk134
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-85049SCoKg@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Ensembles $\pi^0_1$ et pavages. Pascal VanierLes pavages et la 
 récursivité sont intimement liés : en 1964 Berger prouvait l'indécidab
 ilité de la pavabilité du plan par la suite Hanf et Myers prouvèrent qu
 'il existe des jeux de tuiles n'admett (...)
DTSTART:20110407T143000
DTEND:20110407T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk133
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8508rUn3KV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Sand pile models are dynamical systems describing the evolution
  from N stacked grains to a stable configuration. It uses local rules to d
 epict grain moves and iterate it until reaching a stable configuration fro
 m which no rule can be applied. (...)
DTSTART:20110324T143000
DTEND:20110324T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Kevin Perrot: Kadanoff sandpile model : in pursuit of a wave 
 pattern
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk132
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8511SDUzvV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Nous commencerons par présenter un résultat de A. Shen montra
 nt que quatre propriétés élémentaires de la complexité de Kolmogorov 
 (la complexité pleine) suffisent à la caractériser. Après avoir prése
 nté cette caractérisation nous allon (...)
DTSTART:20110222T143000
DTEND:20110222T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Antoine Taveneaux: Vers une axiomatisation de la complexité 
 de Kolmogorov
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk131
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-85152m0vva@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Points Distances and Cellular Automata :  Geometric and Spatial
  AlgorithmicsLuidnel MaignanSpatial computing aims at providing a scalable
  framework where computation is distributed on a uniform computing medium 
 and communication happen locally betwe (...)
DTSTART:20110210T142500
DTEND:20110210T152500
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk130
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8518oJu9Ei@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Un système dynamique auto-organisant peut être décrit de la 
 manière suivante : avec des conditions initiales aléatoires l'évolution
  du système laisse apparaître des structures régulières qui sont toujo
 urs les mêmes. On s'intéresse ici à (...)
DTSTART:20110203T142500
DTEND:20110203T152500
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Benjamin Hellouin De Menibus: Particules et automates cellula
 ires.
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk129
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8522UswJDp@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:In this talk we present three algorithmic problems for probabil
 istic automata on finite words : the Emptiness Problem the Isolation Probl
 em and the Value 1 Problem. The Emptiness Problem asks given some probabil
 ity 0\leq\lambda\leq 1 whether (...)
DTSTART:20110127T142500
DTEND:20110127T152500
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Youssouf Oualhadj: Probabilistic Automata on Finite Words : D
 ecidable and Undecidable Problems
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk128
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8525xUoujm@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les réseaux d'automates booléens sont des systèmes dynamique
 s discrets largement utilisés dans la modélisation de phénomènes réel
 s (régulations biologiques en particulier génétiques circuits logiques 
 propagation d'épidémies...). Pour (...)
DTSTART:20110120T143000
DTEND:20110120T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Mathilde Noual: Etude combinatoire de la dynamique des circui
 ts d’automates booléens
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk127
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8529U3ei4X@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:à venir
DTSTART:20101125T141000
DTEND:20101125T151000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Martin Delacourt: Théorème de Rice pour les ensembles mulim
 ites d’automates cellulaires
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk126
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8532ejBpam@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:We will talk about linear inequalities that are true for Shanno
 n's entropies of any random variables. This class of inequalities surprisi
 ngly coincides with several other classes of inequalities : the inequaliti
 es that are valid for Kolmogorov (...)
DTSTART:20101104T141000
DTEND:20101104T151000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Andrei Romashchenko: On information inequalities
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk125
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8536PKWNUO@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:There are many difficult results where computability theory mee
 ts randomness. In this talk (following the explanations of Joe Miller) we 
 will consider a very small and (relatively) very simple result. If oracle 
 $A$ is Turing-reducible to $B$ (...)
DTSTART:20101028T141000
DTEND:20101028T151000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alexander Shen: K-reducibility and ML-reducibility are equiva
 lent (following Joe Miller)
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk124
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8539N1T2jf@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:We present a parallel speed-up of a simple yet significantly po
 werful sequential model by cellular automata. The simulated model is calle
 d oblivious multi-head finite automata and is characterized by the fact th
 at the trajectory of the heads (...)
DTSTART:20101021T141000
DTEND:20101021T151000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alex Borello: A speed-up of oblivious multi-head finite autom
 ata by cellular automata
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk123
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8543LzwvWI@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:In recent 20 years modal logic became more oriented to differen
 t applications in Computer Science (knowledge representation spatial reaso
 ning program verification etc.) On the other hand theoretical modal logic 
 is now connected to different (...)
DTSTART:20101013T141500
DTEND:20101013T151500
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Valentin Shehtman: Some directions in contemporary modal logi
 c
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk122
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8546IrxnRZ@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On étudie les machines de Turing via la dynamique topologique 
 et symbolique. On peut leur associer un sous-décalage qui représente la 
 succession des états pris par la tête et des caractères qu'elle lit lor
 s d'un calcul \; on s'intéresse alors  (...)
DTSTART:20100930T153000
DTEND:20100930T163000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Pierre Guillon: Des machines qui zigzaguent
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk121
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8550nkxgsB@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On appelle 'shift impair' l'ensemble des parties de Z^d dont le
 s composantes connexes finies sont toutes de cardinal impair vu comme un s
 ous-shift de 01^(Z^d). Mike Hochman a posé la question de savoir si ce sy
 stème était sofique voir (...)
DTSTART:20100930T140000
DTEND:20100930T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Julien Cassaigne: Le shift impair bidimensionnel est sofique
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk120
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8553ObNxmu@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On peut définir la notion d'ensemble limite pour un automate c
 ellulaire (AC). Certains AC l'atteignent en temps fini et sont dits stable
 s les autres sont dits instables. Depuis les travaux de A. Maass sur le su
 jet une question était restée en (...)
DTSTART:20100916T140000
DTEND:20100916T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alexis Ballier: Exemple d’automates cellulaires stables et 
 instables ayant le même ensemble limite
URL:http://www.lirmm.fr/escape/gdt/?year=2010#talk119
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8557EU3d8a@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:A venir.
DTSTART:20100708T150000
DTEND:20100708T160000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Eric Goles: Dynamique et complexité du modele de segregation
  de Schelling
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk118
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8560NLIVnu@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:We present here a study of combinatorial games introduced by Jo
 hn Horton Conway. These games are complete information ones and to each of
  them is associated a value which represents its winning strategy. One of 
 the main goals in this area of (...)
DTSTART:20100708T140000
DTEND:20100708T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Guillaume Escamocher: A Refinement of the Notion of Temperatu
 re in Combinatorial Games
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk117
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8563uiZstC@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Moebius number systems generalize positional systems and contin
 ued fractions and represent real numbers by infinte compositions of a fini
 te number of Moebius transformations of the form F(x)=(ax+b)/(cx+d). If th
 e system is redundant i.e. if (...)
DTSTART:20100701T140000
DTEND:20100701T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Petr Kůrka: Arithmetical algorithms in Moebius number system
 s
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk116
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8566kE7Mte@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20100610T140000
DTEND:20100610T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Laurent Boyer: On factor universality in cellular automata
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk115
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8570k3gSes@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:“Regular production systems” non-deterministic production r
 ules restricted to a regular language model tilings in a wide range of set
 tings. We discuss applications to “strongly aperiodic” sets of tiles i
 n the hyperbolic (...)
DTSTART:20100603T140000
DTEND:20100603T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Chaim Goodman-Strauss (salle 003): Regular Productions and St
 rongly Aperiodic Tilings of the Hyperbolic Plane
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk114
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8573e4MBkP@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Pavages et théorème de récursion à la Kleene.
DTSTART:20100527T161000
DTEND:20100527T171000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Michael Weiss: Computability and Tilings
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk113
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8576c0UjsD@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20100520T143000
DTEND:20100520T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Victor Poupet: Robinson revisited (yes... again)
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk112
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8580jXG3Fb@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Divers exposés des divers doctorantsAlex Borello Martin Delaco
 urt Tarik Kaced Pascal VanierPrésentation de leurs divers travaux.
DTSTART:20100520T090000
DTEND:20100520T100000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk111
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8583wUvjvI@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On proposera un modèle de formation des quasicristaux à base 
 de pavages de type fini sur lesquels agissent des chaînes de Markov aléa
 toires dont les distributions stationnaires plaisent aux physiciens (Boltz
 mann). On montrera des résultats (...)
DTSTART:20100504T140000
DTEND:20100504T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Thomas Fernique: Sur la formation des quasicristaux
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk110
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8586JKaMg2@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:We study the error robustness of tilings of the plane. The fund
 amental question is the following : given a tileset what happens if we all
 ow a small probability of errors ? Are the objects we obtain close to an e
 rror-free tiling of the plane ? (...)
DTSTART:20100408T140000
DTEND:20100408T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Pascal Vanier: Présentation du papier Tilings robust to erro
 rs
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk109
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-85899MIV30@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:La « hiérarchie à pile » est une famille de classes de grap
 hes au croisement de domaines tels que les automates à piles d'ordre sup
 rieur les grammaires de termes et les transformations logiques. Les graph
 es que l'on y trouve ont une théorie (...)
DTSTART:20100325T140000
DTEND:20100325T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Laurent Braud: Ordres dans la hiérarchie à pile
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk108
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8593blO4cJ@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Lien   Application of automata to topology of tilings. Keywords
  : Relation of contact graph and adding machine. Boundary of tiles. Cancel
 lation problem of free group endomorphsim   L'heure et le lieu (frumam / c
 irm / ailleurs) ne sont pas encore (...)
DTSTART:20100318T080000
DTEND:20100318T160000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Towards new interactions between mathematics and computer sci
 ence : Tiling and Automata (Joerg Thuswaldner et Jacques Sakarovitch)
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk107
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8596VBgCv8@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:* Ron Aharoni : Connectivity colorability and matchability.   A
 bstract : « Hypergraphs (namely sets of sets the latter being called 'edg
 es') can be realized geometrically : every vertex is represented by a poin
 t in R^n and every edge is (...)
DTSTART:20100301T090000
DTEND:20100301T100000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Semaine Math-Info au CIRM: Topological Methods For The Study 
 Of Discrete Structures
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk106
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8599NuSOcn@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Link : http://www.lirmm.fr/arith/wiki/MathInfo2010/Multi-dimens
 ionalSubshiftsAndTilings   Courses   * Mike Boyle : Multidimensional Shift
 s of Finite Type and Sofic Shifts   Abstract : « A Z^d shift of finite ty
 pe (SFT) is a topological dynamical (...)
DTSTART:20100215T090000
DTEND:20100215T100000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Semaine Math-Info au CIRM: Multi-dimensional Subshifts And Ti
 lings
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk105
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8603dWTHt9@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Courses   * Olivier Bournez : Analog Models of Computations   A
 bstract : « We will provide an overview of theories of computation for an
 alog models of computation focusing mainly on continuous time models of co
 mputation. These theories allow us (...)
DTSTART:20100208T090000
DTEND:20100208T100000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Semaine Math-Info au CIRM: Dynamics And Computation
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk104
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8606pWEUVj@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Courses   * Ali Akhavi : o Introduction to lattice reduction an
 d to the LLL algorithm. o Analysis of the LLL algorithm in the uniform mod
 el of the unit ball.   * Nicolas Chevallier o Best simultaneous diophantin
 e approximations.   * Damien Stehlé : (...)
DTSTART:20100201T090000
DTEND:20100201T100000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Semaine Math-Info au CIRM: Lattice Algorithmics
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk103
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8609mZ0Zcc@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Caractérisation des sous-shifts indénombrablesAlexis Ballier 
 (14h salle 103)Dans cet exposé nous nous intéresserons aux ensembles ind
 énombrables de pavages. Les ensembles de pavages sont des cas particulier
 s d'une notion plus générale : les s (...)
DTSTART:20100121T140000
DTEND:20100121T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk102
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8613vPfIIz@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les échanges d'intervalles sont des systèmes dynamiques que l
 'on obtient comme application de premier retour d'un flot de surface sur u
 n intervalle. Cette technique générale (mise en place par Poincaré) per
 met de passer d'une dynamique en temps (...)
DTSTART:20091210T140000
DTEND:20091210T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Vincent Delecroix: Classification des billards. Comptages.
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk101
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-86166JVAKA@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:(suite)
DTSTART:20091112T140000
DTEND:20091112T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Gregory Lafitte: Countable ordinals galore ℵ
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk100
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8619BuO1z7@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:TBA (ou pas)
DTSTART:20091105T140000
DTEND:20091105T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Gregory Lafitte: Countable ordinals galore
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk99
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-86226jpxkw@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Nous nous intéresserons à différentes caractérisations alg
 briques indépendantes des machines de classes de complexité et à leurs
  applications.   On peut définir la notion de fonction calculable algébr
 iquement c'est-à-dire à partir de fo (...)
DTSTART:20091029T130000
DTEND:20091029T140000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Olivier Bournez: Caractérisations algébriques de classes de
  complexité
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk98
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8626dBOEWx@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:We review some properties of language recognition on cellular a
 utomata using a one-way neighbourhood \; in particular the languages inclu
 ded in a*b* among which a^nb^(kn) : k n integers > 0 cannot be (...)
DTSTART:20091008T140000
DTEND:20091008T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alex Borello: Language Recognition on One-Way Cellular Automa
 ta
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk97
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8629CvJ1vP@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Lohrey pavages et conséquencesAlexis BallierRésumé à venir
DTSTART:20091001T140000
DTEND:20091001T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk96
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8632v0o0su@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:The classical dynamical properties of cellular automata (expans
 ivity sensivity equicontinuity) are most of the time considered along the 
 line (x=0). Mathieu Sablik extended these properties first to all lines an
 d here we want to deal with (...)
DTSTART:20090924T140000
DTEND:20090924T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Martin Delacourt: From consequences to directional dynamics a
 long arbitrary curves on cellular automata of dimension 1
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk95
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8636BDFwMP@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les automates cellulaires sont des systèmes dynamiques homogè
 nes discrets. Les automates cellulaires de dimension 1 ont :    des config
 urations finies (ou mots) sans préimage appelés orphelins    des paires 
 de mots différents mais de suffixe et (...)
DTSTART:20090917T140000
DTEND:20090917T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Pascal Vanier: Bornes pour automates cellulaires non surjecti
 fs
URL:http://www.lirmm.fr/escape/gdt/?year=2009#talk94
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8639VrvIu1@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:A venir.
DTSTART:20090623T103000
DTEND:20090623T113000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Joseph Miller: A venir
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk93
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8642eEIxPV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On étudie ici les ensembles de périodes dans les pavages intr
 oduisant une notion de reconnaissabilité par pavage liée aux périodes. 
 On établit des analogies avec certaines classes de complexité nous perme
 ttant de déduire des résultats sur l (...)
DTSTART:20090617T110000
DTEND:20090617T120000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Pascal Vanier: Périodicités dans les pavages.
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk92
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8645aVP3rm@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On considère des automates cellulaires dont l'univers est le g
 raphe de Cayley d'un groupe finiment engendré. En ce contexte plus géné
 ral on introduit la notion de système dynamique symbolique (ou shift) et 
 on étudie certaines propriétés (...)
DTSTART:20090602T140000
DTEND:20090602T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Francesca Fiorenzi: Automates cellulaires et groupes finiment
  engendres
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk91
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8649rxUuDb@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Dans certaines applications pratiques de la modélisation par p
 avages il peut arriver que l'on ait besoin d'utiliser des tuiles plus gén
 érales que les tuiles de Wang avec des voisinages complexes et arbitraire
 ment grands. Ces nouvelles (...)
DTSTART:20090526T140000
DTEND:20090526T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Benoît Masson: Simulation de pavages en voisinage quelconque
  par des polyominos
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk90
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8652P8HuUM@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:http://www.ma.utexas.edu/users/radin/
DTSTART:20090519T140000
DTEND:20090519T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Charles Radin: Structure in dense systems of many particles.
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk89
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-86553tzhhE@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:I will talk about some restrictions that the existence of conse
 rvation laws imposes on the dynamical properties of a CA. A trivial exampl
 e is that a CA with a non-trivial conservation law cannot be nilpotent. A 
 less trivial result is that (...)
DTSTART:20090514T140000
DTEND:20090514T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Siamak Taati: What conservation laws may tell us about the dy
 namics of a cellular automaton ?
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk88
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8658GSCgXP@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:I will give a talk in two parts :   1. We study the dynamics of
  network motifs by treating them as small Boolean networks and comprehensi
 vely evaluating all possible binary (Boolean) update rules. We introduce a
  formalism for classifying (...)
DTSTART:20090505T140000
DTEND:20090505T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Thomas Fink: Dynamics of network motifs / self-assembly and p
 hysical complexity
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk87
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8661ZDEFx6@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On rappellera les notions d'acceptation de langages de mots bi-
 dimensionnels infinis ou figures infinies par systèmes de pavages en cons
 idérant diverses conditions d'acceptation. On présentera des résultats 
 sur la complexité topologique de (...)
DTSTART:20090428T140000
DTEND:20090428T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Olivier Finkel: Sur les langages de figures infinies accepté
 s par systèmes de pavages
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk86
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-86642OjCXB@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Cellular automata are compact and very uniform discrete dynamic
 al systems with complex dynamics. Some complexity is due to computational 
 phenomena the model being discrete with local interactions. In this talk i
 n order to investigate the (...)
DTSTART:20090421T140000
DTEND:20090421T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Nicolas Ollinger: Periodicity and Immortality in Reversible C
 omputing
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk85
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8668GxIvrV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:This talk presents a family of tilings of the plane called the 
 uniform locally finite tilings of the plane. A uniform tiling is a tiling 
 whose group of automorphisms is transitive on its set of vertices. The loc
 ally finite property means that (...)
DTSTART:20090414T140000
DTEND:20090414T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] David Renault: The uniform locally finite tilings of the plan
 e
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk84
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-86713Mx4oc@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:En étudiant une certaine classe d'automates cellulaires dits '
 de Clifford' on s'aperçoit que des structures fractales aparaissent dans 
 leurs diagrammes espace-temps. Je vais expliquer pourquoi ces structures a
 paraissent et comment les prévoir (...)
DTSTART:20090324T140000
DTEND:20090324T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Vincent Nesme: Automates cellulaires et fractales
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk83
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8674v8ocoJ@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Je parlerai d'automates cellulaires aléatoires 'totalement asy
 nchrones' : une cellule est tirée au hasard à chaque étape et mise à j
 our. Je me concentrerai sur quelques exemples caractéristiques de la dime
 nsion 2 liés à des questions de (...)
DTSTART:20090318T150000
DTEND:20090318T160000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Lucas Gérin: Automates cellulaires aléatoires : quelques pr
 oblèmes en dimension 2
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk82
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8677dmnm2K@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Lewis and Aanderaa gave in 1974 a new proof of the undecidabili
 ty of the domino problem. This proof is not widely known and entirely diff
 erent from the usual proofs (Berger Robinson Kari...). I will present the 
 ideas of this result without the (...)
DTSTART:20090303T140000
DTEND:20090303T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Emmanuel Jeandel: A forgotten proof of the domino problem
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk81
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8680fUHjlF@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Number-conserving cellular automata are cellular automata in wh
 ich the states are numbers and the sum of those numbers remains unchanged 
 under the system's dynamics \; they appear naturally in several modeling f
 ields and have been the topic of (...)
DTSTART:20090226T140000
DTEND:20090226T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Andrés Moreira: Old results and some open questions on numbe
 r-conserving cellular automata
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk80
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8683Dh10AD@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Dans les années 1960-1970 les travaux de Kolmogorov Martin-Lö
 f Chaitin Levin Schnorr etc ont permis de donner une définition mathémat
 ique rigoureuse de suite binaire infinie aléatoire. En fait plusieurs dé
 finitions ont été à ce jour (...)
DTSTART:20090219T140000
DTEND:20090219T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Laurent Bienvenu: Des suites pas si triviales
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk79
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8686B5TU2c@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Population protocols have been introduced by Angluin et al. as 
 a model of sensor networks consisting of very limited mobile agents with n
 o control over their own movement : A collection of anonymous agents model
 ed by finite automata interact (...)
DTSTART:20090217T140000
DTEND:20090217T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Jérémie Chalopin: Playing with Population Protocols
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk78
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8689r5hKvF@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Nous considérons un graphe où les cellules sont caractérisé
 es par un état qui est soit noir soit blanc. À chaque pas de temps une c
 ellule choisie aléatoirement se met à jour et passe dans l'état minorit
 aire dans son voisinage. L'évolution (...)
DTSTART:20090210T140000
DTEND:20090210T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Damien Régnault: Minorité stochastique sur les graphes.
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk77
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8692iGEgM9@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:A venir.
DTSTART:20090203T140000
DTEND:20090203T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Florent Becker: Self-assembly fo the whole plane.
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk76
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-869588Mu7R@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:The asymptotic (or ultimate) set of some dynamical system is a 
 notion which represents its (very-)long-time behavior in the sense that ea
 ch point during its evolution will 'look more and more like' points of the
  asymptotic set. Formally a (...)
DTSTART:20090127T103000
DTEND:20090127T113000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Pierre Guillon: Asymptotic sets of dynamical systems.
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk75
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8699lrREE9@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Given a polyomino code by its contour word the Beauquier-Nivat 
 characterization gives necessary and sufficient criteria for that polyomin
 o to tile the plane by translation. The computation of the longest common 
 extension of two words in (...)
DTSTART:20090115T140000
DTEND:20090115T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Xavier Provençal: A sub-quadratic algorithm to determine if 
 a polyomino tiles the plane by translation
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk74
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8702vGfmBb@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:A threshold gate is a Boolean computational element defined by 
 a linear combination of its input variables with integer coefficients (wei
 ghts). It outputs 1 if this combination is positive and 0 otherwise. The s
 um of absolute values of (...)
DTSTART:20090113T140000
DTEND:20090113T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Vladimir Podolskii: Bounds on Weights of Perceptrons
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk73
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8705Zkkdwm@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:We will focus on the influence of boundary conditions in thresh
 old Boolean automata networks which are discrete mathematical objects clas
 sicaly used to model biological regulations systems. The objective is to e
 mphasise that boundaries (which (...)
DTSTART:20081211T140000
DTEND:20081211T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Sylvain Sené: Influence of boundary conditions in threshold 
 Boolean automata networks
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk72
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8708NS5uzB@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On présente un modèle discret général pour la dynamique des
  réseaux de gènes basé sur la méthode logique de René Thomas : la dyn
 amique d'un réseau de n gènes est décrite par les itérations asynchron
 es d'une application F qui envoie le p (...)
DTSTART:20081125T140000
DTEND:20081125T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Adrien Richard: Circuits positifs et négatifs dans les syst
 mes dynamiques discrets
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk71
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8711Skf0Lv@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:It is well known that Hyperbolic automorphisms of the 2-torus a
 dmit a markov partition. This markov partition is closely related to 1 dim
 ensional tilings of the line called Sturmian tilings. In the general case 
 any hyperbolic toral automorphism (...)
DTSTART:20081113T140000
DTEND:20081113T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Edmund Harriss: Rauzy Fractals from PV (Pisot) to Non-PV
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk70
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8714ILM4pR@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:In 1930 Gödel presented in Königsberg his famous Incompletene
 ss Theorem stating that some true mathematical statements are unprovable. 
 Yet this result gives us no idea about those independent (that is true and
  unprovable) statements about (...)
DTSTART:20081112T140000
DTEND:20081112T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Bruno Grenet: Acceptable Complexity Measure of Theorems
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk69
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8718mPiZUc@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Traditionally a tiling is defined with a finite number of finit
 e forbidden patterns. We can generalize this notion considering any set of
  patterns. Generalized tilings defined in this way can be studied with a d
 ynamical point of view leading to (...)
DTSTART:20081106T140000
DTEND:20081106T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Nathalie Aubrun: Un ordre sur les sous-shifts et son équival
 ent sur les langages
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk68
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-87212AZgI1@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Lorsqu'on essaye de montrer l'existence de fréquences d'appari
 tion de motifs dans un mot infini on est amené à étudier l'ensemble des
  mesures invariantes du sous-shift associé. J'essaierai d'introduire ces 
 notions puis donnerai une majoration (...)
DTSTART:20081106T110000
DTEND:20081106T120000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Thierry Monteil: Mesures ergodiques en dynamique symbolique
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk67
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8737Eo1EEv@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:In a previous adventure super-scientists Bruno Durand Leonid A.
  Levin and Alexander Shen have won a heroic battle against the forces of O
 rder and Regularity by producing a set of Wang tiles that can only generat
 e tilings of maximal complexity (...)
DTSTART:20081016T140000
DTEND:20081016T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Victor Poupet: Ultimate cellular complexity
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk66
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8740JONATx@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Pour le résumé : Cet exposé présentera les travaux de P. Fl
 occhini et H. Betel sur les automates cellulaires à états dans [0 \;1] q
 uelques fois en tentant de les généraliser sans grand succès. La métho
 de utilisée pour obtenir des AC à ét (...)
DTSTART:20081009T140000
DTEND:20081009T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alexis Ballier: Automates cellulaires à états continus
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk65
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8743SvusUj@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Theory of Kolmogorov complexity defines some measure of informa
 tion contained in each tuple of individual words (i.e. complexity of each 
 word complexity of each pair of words etc). These information quantities b
 eing calculated for different (...)
DTSTART:20081002T140000
DTEND:20081002T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Andrei Romashchenko: Kolmogorov complexity and basic informat
 ion quantities.
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk64
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8747FTUbuV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Pavages règles locales substitutions et fractions continues : 
 quelques résultats et quelques questions.Thomas FerniqueDans cet exposé 
 je présenterai le contexte de mes travaux de thèse quelques résultats (
 brièvement) et quelques questions ouv (...)
DTSTART:20080918T140000
DTEND:20080918T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk63
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8750v2NWFh@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:A venir.
DTSTART:20080904T140000
DTEND:20080904T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Philippe MOSER: Logical depth.
URL:http://www.lirmm.fr/escape/gdt/?year=2008#talk62
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8753Ju2xu9@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:A number-conserving cellular automaton (NCCA) is a cellular aut
 omaton such that all states of cells are represented by integers and the t
 otal number of the state of each cell of its configuration is conserved th
 roughout its computing process. It (...)
DTSTART:20080707T140000
DTEND:20080707T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Katsunobu IMAI : On the influence of symmetries to two-dimens
 ional number-conserving  cellular automata rules
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk61
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8755zvmVdg@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Salle 005.   Nous mettrons en évidence les relations entre les
  propriétés géométriques des pavages et les propriétés algébriques 
 et logiques de leurs structures relationnelles associées. Nous avons étu
 dié tout d'abord les pavages d'espace (...)
DTSTART:20080703T143000
DTEND:20080703T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Francis OGER: Interprétation des pavages par des structures 
 relationnelles
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk60
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8759cU6Ddb@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Salle 005.   L'objet du présent travail est de montrer que les
  suites et les courbes de pliage satisfont des propriétés de quasi-péri
 odicité analogues à celles qui ont été mises en évidence pour certain
 es classes de pavages. Pour cela on es (...)
DTSTART:20080702T143000
DTEND:20080702T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Francis OGER: Étude des pavages quasi-périodiques associés
  à des courbes de pliage du plan
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk59
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8762z5aro1@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Le domaine des automates cellulaires voit depuis quelques anné
 es un intérêt pour l'étude de l'asynchronisme. En particulier une class
 e d'automates 1D et et l'automate 'minorité' ont été étudiés par Fat
 s Regnault Schabanel Thierry. La règ (...)
DTSTART:20080410T140000
DTEND:20080410T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Jean-Baptiste Rouquier: Automate minorité sur les arbres
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk58
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8765AW7ugd@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les ensembles d'entiers p-reconnaissables (reconnus par automat
 es finis) ont été largement étudiés depuis le début des années 1970.
  Dans l'optique de généraliser les résultats classiques concernant ces 
 ensembles d'entiers on s'interesse à  (...)
DTSTART:20080327T140000
DTEND:20080327T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Marion Le Gonidec: Ensembles d’entiers reconnus par des aut
 omates dénombrables
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk57
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-876854C4LI@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Beauquier-Nivat caractérisent les tuiles homéomorphes à un d
 isque qui pavent le plan par translation d'une unique tuile q par une prop
 riété du mot de contour (mot circulaire défini sur Σ un alphabet à 4 
 lettres) ω_q de q : il (...)
DTSTART:20080320T140000
DTEND:20080320T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Christiane Bercoff: Génération de mots de contour de tuiles
  pavant le réseau carré
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk56
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-87711xKkDV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les pavages auto-assemblants constituent un modèle de construc
 tion de figures planes qui permet d'utiliser la chimie et en particulier l
 es propriétés de l'ADN pour calculer. Les mécanismes chimiques qui perm
 ettent de l'implémenter commencent à (...)
DTSTART:20080306T110000
DTEND:20080306T120000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Florent Becker: Signaux et auto-assemblage
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk55
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8774hv86FE@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Les notions de jeu et d'équilibre de Nash sont fondamentales e
 n théorie des jeux. On voudrait que tous les jeux aient des équilibres d
 e Nash mais ce n'est pas le cas alors Nash a montré que tous les jeux d'u
 ne certaine classe avaient un (...)
DTSTART:20080214T150000
DTEND:20080214T160000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Stephane Le Roux: Abstraction et formalisation en théorie de
 s jeux
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk54
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8777lj13kl@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Historiquement les automates cellulaires ont été étudiés é
 voluant sous une dynamique synchrone. Néanmoins des dynamiques asynchrone
 s sont apparues pour d'un côté modéliser des systèmes réels (modèle 
 d'Ising) ou créer des automates cellu (...)
DTSTART:20080110T150000
DTEND:20080110T160000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Damien REGNAULT: Apparition de la percolation dirigée dans l
 ’analyse des automates cellulaires stochastiques
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk53
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8780W0trt1@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Nous nous intéresserons à la question suivante : si un polyn
 me peut être évalué par un algorithme (booléen) en temps polynomial e
 st-il alors calculable par un circuit arithmétique de taille polynomiale 
 ? En d'autres termes peut-on tout fair (...)
DTSTART:20071211T140000
DTEND:20071211T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Sylvain Périfel: Interpolation en théorie de Valiant
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk52
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8783dz7VGv@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Pré-soutenance de thèse
DTSTART:20071206T143000
DTEND:20071206T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Vincent Bernardi: Lois de conservation sur automates cellulai
 res
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk51
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8786wvv1sb@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Une manière de stocker de manière économe un gros objet géo
 métrique discret (images 3D acquises expérimentalement etc.) est de le v
 ectoriser. Une façon de procéder est de le décomposer en plans discrets
  (approximations de plans euclidiens). (...)
DTSTART:20071129T150000
DTEND:20071129T160000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Thomas Fernique: Reconnaissance de plan et fractions continue
 s
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk50
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-87896NIURC@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Consider an intercontinental highway network linking different 
 cities in different countries. In each city the directions to the other ci
 ties are written in the language that is locally spoken. Consider now a se
 t of different drivers coming (...)
DTSTART:20071122T150000
DTEND:20071122T160000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Jérémie Chalopin: Election and Rendez-vous in a Babel world
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk49
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8792r2UOVB@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:FRAC
DTSTART:20071115T080000
DTEND:20071115T160000
LOCATION:LIF\, Marseille
SUMMARY:[FRAC] : FRAC
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk48
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8795A05gGF@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Motivated by the study of cellular automata algorithmics and dy
 namics we investigate an extension of ultimately periodic words to two-dim
 ensional infinite words : collisions. A natural composition operation on t
 ilings leads to a catenation (...)
DTSTART:20071108T100000
DTEND:20071108T110000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Gaétan Richard: Collisions and their Catenations : Ultimatel
 y Periodic Tilings of the Plane
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk47
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8798vlLgV8@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On dit d'un nombre réel qu'il est calculable s'il est possible
  d'en calculer des approximations aussi fines que l'on veut. Un point du p
 lan est calculable si ses deux coordonnées le sont.   On cherche alors à
  caractériser des familles d'ensemble (...)
DTSTART:20071026T140000
DTEND:20071026T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Victor Poupet: Des réels calculables sur des courbes co-réc
 ursivement énumérables
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk46
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-88012k6Kf8@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Attention : Exceptionnellement ce séminaire a lieu en salle 00
 4   Un programme qui produit B à partir de A mais inutilisable sans A   C
 et exposé est basé sur un travail non publié de Andrej Muchnik annoncé
  en 2003.   Andrej A. Muchnik Cryptogr (...)
DTSTART:20071019T140000
DTEND:20071019T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alexey Chernov: Useless cryptography
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk45
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8804eIFaFB@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:The angel gamePeter Gacs Boston universityA problem concerning 
 a combinatorial game called the angel-devil gamehas been circulating among
  mathematicians for at least 30 years. Then last summer at least four inde
 pendent solutions appeared one of them (...)
DTSTART:20071018T140000
DTEND:20071018T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk44
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8807mMRuF1@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Dans cet exposé nous étudierons la nilpotence des automates d
 e sable. Après avoir vu que la définition classique n'avait pas de sens 
 nous définirons une nouvelle notion plus souple : un automate est nilpote
 nt s'il rapproche chaque configuration (...)
DTSTART:20071012T110000
DTEND:20071012T120000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Benoit Masson: Nilpotence des automates de sable\n
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk43
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8810V0OLA8@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:We prove that finite transduction of an almost periodic sequenc
 e is almost periodic up to a prefix and then deal with an effective versio
 n of this result. We also discuss connections of finite automata and monad
 ic logics on infinite (...)
DTSTART:20070924T150000
DTEND:20070924T160000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Yuri Pritykin: Finite transductions of almost periodic sequen
 ces
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk42
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-88138f43bd@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Ordre du jour :   accueil des nouveaux   organisation   demande
 s de moyens   divers (faire un mail à Bruno Durand)
DTSTART:20070911T143000
DTEND:20070911T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] : Réunion d’équipe
URL:http://www.lirmm.fr/escape/gdt/?year=2007#talk41
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8816llojSK@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:À venir.
DTSTART:20070712T100000
DTEND:20070712T110000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Pierre étienne Meunier: Complexité dans les pavages
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk40
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8819hEFz4O@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:L'idée de simulation est centrale dans l'étude des automates 
 cellulaires mais ce n'est que récemment que des notions précises de simu
 lation (des pré-ordres) ont été formalisées et étudiées en tant que 
 tel. Dans cet exposé nous présentons (...)
DTSTART:20070524T140000
DTEND:20070524T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Guillaume Theyssier: Pré-ordres de simulation dans les autom
 ates cellulaires
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk39
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8822ig1tNS@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On s'intéresse à l'étude des propriétés structurelles des 
 pavages du plan discret. Un moyen naturel et souvent utilisé est de compa
 rer l'ensemble des motifs finis qu'ils contiennent \; un autre basé sur l
 a dérivée topologique permet d'obteni (...)
DTSTART:20070504T140000
DTEND:20070504T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alexis Ballier: Ordre sur les pavages (suite)
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk38
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-882501Zs8F@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Définition et propriétés d'un ordre sur les pavages.
DTSTART:20070412T100000
DTEND:20070412T110000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Emmanuel Jeandel: Ordre sur les pavages
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk37
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8828U2s2Ua@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:On définit des 5-tuiles dont le motif de base est un pseudo-pa
 rallélogramme rectiligne (au sens de Beauquier-Nivat) par un système de 
 réécriture du mot de contour du motif. Ces 5-tuiles permettent de faire 
 des pavages réguliers (par (...)
DTSTART:20070405T143000
DTEND:20070405T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Christiane Bercoff: Génération de mots de contour de pseudo
 -parallélogrammes
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk36
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8831Zuluhz@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Groupe de travail informel.
DTSTART:20070330T141500
DTEND:20070330T151500
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Sandrine Julia: omega-puissance d’un code ? omega-puissance
  d’un langage réduit ?
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk35
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8834ZJRBvS@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:À venir.
DTSTART:20070329T140000
DTEND:20070329T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Mathieu Sablik: Dynamique directionnelle pour les automates c
 ellulaires : Une vision spacio-temporelle de la propagation d’informatio
 n
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk34
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8837tP4o6V@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Différentes classes de modèles ont été introduites depuis q
 uelques décennies pour décrire la dynamique des réseaux de régulation 
 génétique. Parmi celles-ci deux classes de premières importance sont de
 s systèmes dynamiques affines par mor (...)
DTSTART:20070322T140000
DTEND:20070322T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Etienne Farcot: Comparaison entre modèles affines par morcea
 ux et discrets de réseaux de régulation génétique
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk33
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8840U1Z6R6@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:GPAC Analyse récursive fonctions R-récursives : trois modèle
 s de calcul sur les réels qui calculent les mêmes fonctionsEmmanuel Hain
 ryIl existe de nombreux modèles de calcul sur les réels. Ces différents
  modèles calculent diverses fonctions (...)
DTSTART:20070315T140000
DTEND:20070315T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk32
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8843E4IMUV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:La vie continue après la thèse si possible après qu'on la so
 utienne. Dans cet exposé je ferais un tour d'horizon partial et partiel d
 u monde qui existe de l'autre côté du miroir : CR MCF DR etc. Quel boulo
 t ? Quel salaire ? Quelle carrière ? (...)
DTSTART:20070228T100000
DTEND:20070228T110000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Nicolas Ollinger: Après la thèse : vers l’infini et au-de
 là !
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk31
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8846cVAHg5@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Après avoir donné les définitions nécessaires (automates ce
 llulaires reconnaissance de langages en dimension quelconque voisinage env
 eloppe convexe temps réel etc.) je présenterai les travaux effectués en
  collaboration avec Martin Delacourt (...)
DTSTART:20070215T140000
DTEND:20070215T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Victor Poupet: Reconnaissance de langages en temps réel sur 
 automates cellulaires : les voisinages et leurs enveloppes convexes
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk30
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8849pjx74l@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Dans cet exposé nous étudierons différents systèmes dynamiq
 ues discrets permettant de simuler la formation des piles de sable. Le com
 portement des modèles de base SPM ou IPM(k) est bien connu dans des condi
 tions initiales spécifiques. Nous (...)
DTSTART:20070201T140000
DTEND:20070201T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Benoît Masson: Des piles de sable aux automates de sable
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk29
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-88529RiBxZ@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Le théorème de hiérarchie en temps montre qu'il existe des p
 roblèmes décidables en temps exponentiel n'ayant pas d'algorithme polyno
 mial. En revanche la question de savoir s'ils peuvent tous être décidés
  par des circuits de taille polynomial (...)
DTSTART:20070125T140000
DTEND:20070125T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Sylvain Périfel: Symétrie de l’information et bornes inf
 rieures non-uniformes
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk28
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8854rUX2uV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Il existe très peu de résultats sur machine de Turing qui reg
 ardent toutes les configurations possibles en entrée. L'exposé présente
 ra une construction de machine de Turing qui n'est jamais périodique (dan
 s un sens plus fort à définir) quelq (...)
DTSTART:20070118T140000
DTEND:20070118T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Gaétan Richard: Problème de l’immortalité pour les machi
 nes de Turing
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk27
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8857VoedG2@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Réflexions sur la conservation (ou non) des caractères aléat
 oires par application d'un automate cellulaire.
DTSTART:20061219T140000
DTEND:20061219T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Laurent Bienvenu: Can cellular automata create randomness ?
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk26
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8860oC65Ip@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20061207T140000
DTEND:20061207T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Pas de GdT: LIF Futur
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk25
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8863dn0LlR@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Présentation formelle des problèmes et reflexion commune avec
  l'assistance d'Alexis et d'Emmanuel.
DTSTART:20061206T140000
DTEND:20061206T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Bruno Durand: Machines de Turing écologiques et pavages
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk24
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8866mtrsaU@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:It is known that the four versions of Kolmogorov complexity---p
 lain prefix monotone and decision---can be classified by the 'topology' on
  objects and descriptions namely whether they are finite separated objects
  or strings without (...)
DTSTART:20061130T140000
DTEND:20061130T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alexey Chernov: Kolmogorov complexity monotone in condition
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk23
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8869fRNLPO@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Attention : ce séminaire a lieu au LIF-sud (Luminy) à 14h30. 
 Salle à préciser.   Sous des hypothèses algébriques certains systèmes
  dynamiques symboliques associés à des substitutions peuvent admettre un
 e représentation géométrique. Dans  (...)
DTSTART:20061123T143000
DTEND:20061123T153000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Julien Bernat: Langages substitutifs et paires équilibrées 
 irréductibles
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk22
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-88724U9Wjw@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Nous étudierons la façon de conserver de l'information en dé
 butant par le cas simple de la conservation d'un bits d'information dans l
 e plan.   L'exposé sera axé sur la construction et certaines méthodes u
 tilisées lors de la preuve qui prése (...)
DTSTART:20061116T140000
DTEND:20061116T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Andrei Romashchenko: Conservation de l’information par des 
 automates cellulaires probabilistes sur Z²
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk21
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8874N7TfxJ@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:La réunion sur le futur du LIF est reportée au 7/12.
DTSTART:20061109T140000
DTEND:20061109T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Pas de GdT: LIF Futur
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk20
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8877eDE28J@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Certains automates cellulaires présentent des comportements co
 mplexes d'auto-organisation et d'émergence. À partir d'exemples nous pr
 senterons les principaux axes autours des problématiques de l'analyse de
  ces comportements. Nous parlerons des (...)
DTSTART:20061102T140000
DTEND:20061102T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Nicolas Ollinger: Automates cellulaires en BD
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk19
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-88800KEhXe@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Exposé de Valentin Shehtman dans le cadre du séminaire du LIF
 .
DTSTART:20061019T140000
DTEND:20061019T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk18
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8883j5PnSV@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Cette date tombe durant les journées FRAC d'automne 2006
DTSTART:20061012T140000
DTEND:20061012T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] :
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk17
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8886HVXCug@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Some examples show how statements about Kolmogorov complexity t
 urn out to be equivalent to purely combinatorial statements and how this t
 ransition turns out to be useful in both directions.
DTSTART:20061005T140000
DTEND:20061005T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alexander Shen: Kolmogorov complexity and combinatorics : bac
 k and forth
URL:http://www.lirmm.fr/escape/gdt/?year=2006#talk16
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8889NT9Fvj@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:La pseudo-métrique de Besicovitch a été introduite sur l'esp
 ace des configurations des automates cellulaires parce qu'elle est invaria
 nte pour le shift. Elle permet d'éviter de considérer celui-ci comme cha
 otique.   La topologie associée sur (...)
DTSTART:20060620T103000
DTEND:20060620T113000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] François Blanchard: Points périodiques des automates cellul
 aires dans la topologie de Besicovitch
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk15
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8891hPpWBt@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Nous nous intéressons à un type particulier de pavages de Wan
 g les pavages auto-assemblants pour lesquels un algorithme de pavage est c
 odé dans les tuiles elles-même à l'aide de colle. On dira qu'un jeu de 
 tuiles auto-assemblantes pave le plan (...)
DTSTART:20060509T140000
DTEND:20060509T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Florent Becker:  Algorithmes intrinsèques de pavage
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk14
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8894wGVaS0@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Many classical notions of effective randomness which initially 
 aimed at formalizing randomness with respect to the uniform measure can be
  extended to arbitrary (computable) probability measures. Hence for each o
 f these notions of randomness (...)
DTSTART:20060502T140000
DTEND:20060502T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Laurent Bienvenu: Constructive equivalence relations on compu
 table probability measures
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk13
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8897uVmi5w@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Nous allons introduire la notion de attracteur subshift et mont
 rerons plusieurs résultats la concernant. Notamment qu'un subshift de typ
 e fini est attracteur si et seulement si il est (topologiquement) (...)
DTSTART:20060425T140000
DTEND:20060425T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Enrico Formenti: Attracteurs subshift dans les AC
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk12
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8900ijVVUW@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20060418T140000
DTEND:20060418T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Mathieu Hoyrup: Simulation d’un système dynamique chaotiqu
 e
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk11
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8903gPIrpD@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20060321T140000
DTEND:20060321T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Vincent Bernardi: Discussion sur le dépliage en grille des p
 olyèdres orthogonaux.
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk10
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8906MEad0V@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Lehmann Magidor and Schlechta developed an approach to belief r
 evision based on distances between any two valuations. Suppose we are give
 n such a distance D. This defines an operator ID called a distance operato
 r which transforms any two (...)
DTSTART:20060314T140000
DTEND:20060314T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Jonathan Ben-Naim: Lack of Finite Characterizations for the D
 istance-based revision
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk9
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8909Dm5Lml@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20060307T140000
DTEND:20060307T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alexander Shen: More on Shannon entropy and Kolmogorov comple
 xity
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk8
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8911POp9Kt@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20060228T140000
DTEND:20060228T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Andrei Romashchenko: Strange and funny inequalities for Shann
 on entropy and Kolmogorov complexity
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk7
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8914kNPul4@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20060214T140000
DTEND:20060214T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Serge Grigorieff:  Synchronization of a bounded degree graph 
 of cellular automata with non uniform delays in time D log D.
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk6
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8917ObavT2@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:In the Blum Shub Smale model of computation over the real numbe
 rs it has been soon proven that every problem decidable in bounded time ca
 n also be decided in constant space. It follows that many natural numerica
 l algorithms that are real (...)
DTSTART:20060207T140000
DTEND:20060207T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Paulin Jacobé de Naurois: A Measure of Space for Computing o
 ver the Reals
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk5
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-89207uMVTE@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:We will recall and explain the different notions of universalit
 y for cellular automata. We will then give a construction of a new 6-state
  1DCA which is intrinsically universal.
DTSTART:20060131T140000
DTEND:20060131T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Gaétan Richard: Universality and cellular automata : a new e
 xample of tiny and powerful CA
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk4
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8923vUV0v2@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:I will present an NP-complete problem and some complexity conse
 quences of this problem.
DTSTART:20060117T140000
DTEND:20060117T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Frédéric Mazoit: Yet another NP-complete problem
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk3
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8926DiKurK@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:E.Post's problem was : construct two enumerable sets that do no
 t reduce to each other (A is not decidable even with oracle B and vice ver
 sa). This problem was solved around 1956 by Muchnik and Friedberg independ
 ently but with the same technique (...)
DTSTART:20060110T140000
DTEND:20060110T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Alexander Shen: The priority argument
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk2
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8929rEcMUb@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:
DTSTART:20051215T140000
DTEND:20051215T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Vladimir Vyugin: Randomness invariant properties
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk1
END:VEVENT
BEGIN:VEVENT
UID:20260414T130132CEST-8931T0v7Lg@nopid.escape
DTSTAMP:20260414T110132Z
DESCRIPTION:Une suite binaire infinie est stochastique si on ne peut en ext
 raire (récursivement) une sous-suite ne satisfaisant pas la loi des grand
 s nombres. On montrera que trouver une telle sous-suite est équivalent à
  trouver une stratégie gagnante à (...)
DTSTART:20051202T140000
DTEND:20051202T150000
LOCATION:LIF\, Marseille
SUMMARY:[GdT] Laurent Bienvenu: Une approche de la stochasticité en termes
  de jeux
URL:http://www.lirmm.fr/escape/gdt/?year=2005#talk0
END:VEVENT
END:VCALENDAR
