Les prochaines journées annuelles du groupe de travail SDA2 auront lieu au LIGM à l'Université Paris-Est Marne-la-Vallée du 8 au 10 avril 2015.                  http://sda2-2015.sciencesconf.orgTHÉMATIQUES PRINCIPALES- Dynamique symbolique, automates...[details]

8-avril-2015

Thomas Colcombet

Characterizing logics over infinite word

Salle de séminaire (4B05R) - Bâtiment Copernic

In this talk, we consider infinite linear orderings of countable length. It is known that their monadic theory is decidable. Inspired from ideas of the algebraic theory of monoids as pion...[details]

3-mars-2015

Benjamin Hellouin

Phénomène de randomisation dans les automates cellulaires

Salle de séminaire (4B05R) - Bâtiment Copernic

Je m'intéresse au comportement asymptotique typique des automates cellulaires quand la configuration initiale est tirée au hasard, ce qui revient à étudier leur action sur l'...[details]

17-févr.-2015

Patrice Ossona de Mendez

Structural limits

Salle de séminaire (4B05R) - Bâtiment Copernic

The theory of graph (and structure) convergence gained recently a substantial attention. Various notions of convergence were proposed, adapted to different contexts, including Lovász et al. theory of dense g...[details]

10-févr.-2015

Michel Habib

Playing with orders and graph searches: applications to cocomparability graph

Salle de séminaire (4B05R) - Bâtiment Copernic

Graph Search, a mechanism for systematically visiting the vertices and edges of a graph, has been a fundamental technique in the design of graph algorithms sin...[details]

3-févr.-2015

Francesco DOLCE

Echanges d’intervalles et codes bifixe

Salle de séminaire (4B05R) - Bâtiment Copernic

Dans cet exposé l'on étudie la relation entre les codes bifixes et les transformations d’échange d’intervalles. En particulier, l'on montre que la classe de codages naturels de transformations d’...[details]

27-janv.-2015

Manar QAMHIEH présentera sa thèse de doctorat en informatique intitulée "Ordonnancement Temps Réels des Tâches Parallèles sur des Systèmes Multiprocesseurs" le 26 janvier 2015 à l'adresse suivante :

Batiment Copernic5 Boulevard DescartesChamps sur Marne, 77454 Éco...[details]

26-janv.-2015

Vincent Penelle

Systèmes de réécriture suffixe d’arbres de piles (Ground Stack Tree Rewriting Systems)

Salle de séminaire (4B05R) - Bâtiment Copernic

Les automates à piles d’ordre supérieur (HOPDA) et les systèmede réécriture suffixe d’arbres (GTRS) peuvent être vus comme desextensions des s...[details]

20-janv.-2015

wiki-math.univ-mlv.fr/gemecod/doku.php/winterschool2015

Organisation : Matthieu Fradelizi (LAMA, UPEM), Xavier Goaoc (LIGM, UPEM), Nathaël Gozlan (LAMA, UPEM), Nabil Mustafa (LIGM, ESIEE), Paul-Marie Samson (LAMA, UPEM)

[details]

19-janv.-2015

Samuele Giraudo

Algèbres polydendriformes

Salle de séminaire (4B05R) - Bâtiment Copernic

De nombreuses structures algébriques qui ont étés définies dans ces dernières années interviennent dans des contextes très variés comme la combinatoire, la physique théorique ou la théorie des représentations...[details]

13-janv.-2015