BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230516T100000
DTEND;TZID=Europe/Paris:20230516T110000
DTSTAMP:20260503T204903
CREATED:20230509T112225Z
LAST-MODIFIED:20230509T112723Z
UID:11191-1684231200-1684234800@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Victor Lutfalla (GREYC\, Caen)
DESCRIPTION:Un pavage est un recouvrement du plan par des tuiles qui ne se chevauchent pas. On appelle sous-shift un ensemble de pavages qui est invariant par translation et fermé (pour la topologie habituelle sur les pavages). Ici on s’intéresse au cas où il y a un nombre fini de tuiles à translation près\, les tuiles sont des losanges\, et\, à chaque fois que deux tuiles sont adjacentes\, elles partagent soit un unique sommet en commun soit une arête entière en commun. Sur ces pavages\, on peut imposer des règles locales (à la manière des tuiles de Wang) en ajoutant des couleurs sur les arêtes des tuiles avec la règle que deux tuiles qui partagent une arête doivent avoir la même couleur pour cette arête. Dans ce cas\, pour une même tuile géométrique\, on peut avoir plusieurs copies avec des couleurs différentes sur les arêtes. \nÉtant donné un sous-shift X de pavages par losanges\, le problème du domino sur X prend en entrée un ensemble fini de règles locales F et renvoie Vrai si il existe un pavage de X qui respecte les règles locales F et Faux dans le cas contraire. Ce problème est Π01-difficile et nous allons présenter une réduction many-one depuis le problème du domino classique sur les tuiles de Wang.
URL:https://www.greyc.fr/event/seminaire-algorithmique-victor-lutflalla-greyc-caen-le-probleme-du-domino-sur-les-pavages-par-losanges/
LOCATION:Salle à déterminer
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230523T100000
DTEND;TZID=Europe/Paris:20230523T110000
DTSTAMP:20260503T204903
CREATED:20230509T112831Z
LAST-MODIFIED:20230523T073054Z
UID:11198-1684836000-1684839600@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Mostafa Gholami (GREYC\, Caen) « Multicolor bipartite Ramsey numbers for paths\, cycles\, and stripes »
DESCRIPTION:Frank Ramsey introduced the theory that bears his name in 1930. The main subject of the theory are complete graphs whose subgraphs can have some regular properties. Most commonly\, we look for monochromatic complete subgraphs\, i.e.\, complete subgraphs in which all of the edges have the same color. Ramsey numbers have attracted the attention of many mathematicians due to their many applications in various fields such as graph theory\, geometry\, logic\, information theory\, and number theory. Computing exact values for Ramsey numbers is a rather hard task. A huge amount of computational power is needed to generate all colorings of graphs and check the conditions that should be satisfied by the subgraphs. Given bipartite graphs $G_1\, G_2\, . . . \, G_t)$\, the multicolor bipartite Ramsey number $BR(G_1\, G_2\, . . . \, G_t)$ is the smallest positive integer $b$\, such that any $t$-edge-coloring of $K_{b\,b}$ contains a monochromatic subgraph isomorphic to $G_i$ colored with the i-th color for some 1 ≤ i ≤ t. In the upcoming seminar\, I will present my latest results on bipartite Ramsey numbers for paths\, cycles\, and matchings.
URL:https://www.greyc.fr/event/seminaire-algorithmique-mostafa-gholami-greyc-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230530T100000
DTEND;TZID=Europe/Paris:20230530T110000
DTSTAMP:20260503T204903
CREATED:20230509T112937Z
LAST-MODIFIED:20230523T073155Z
UID:11200-1685440800-1685444400@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Pierre Béaur (LISN\, Université Paris-Saclay) « Walking On a Line: détection de marches S-adiques dans les  ω-automates »
DESCRIPTION:En dynamique symbolique s’intersectent études des langages\, des mots infinis et des structures dynamiques associées. Deux méthodes classiques de construction de ces objets coexistent. D’abord\, la méthode de Thue construit un mot infini à l’aide d’une substitution (un morphisme de mots) : on itère la substitution sur une lettre initiale\, et on considère le mot limite obtenu. Cette approche substitutive a été généralisée en autorisant l’utilisation de plusieurs substitutions\, ce qui conduit à la notion de représentation S-adique. La seconde méthode pour générer des structures symboliques est de considérer les marches infinies sur un graphe étiqueté (ou ω-automate). Dans cette présentation\, je considère des questions de décidabilité au croisement de ces deux points de vue : étant donné un ω-automate et un ensemble de substitutions\, j’étudie l’ensemble des mots acceptés par l’ω-automate et défini par les substitutions\, sa structure et sa vacuité.
URL:https://www.greyc.fr/event/seminaire-algorithmique-pierre-beaur-lisn-universite-paris-saclay/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
END:VCALENDAR