Sixième atelier international sur le calcul avec termes et graphes à Sarrebruck, en Allemagne
2 Avril 2011 - 2 Avril 2011
France
Le sixième atelier international sur le calcul avec termes et graphes se tiendra le 2 avril 2011 à Sarrebruck, en Allemagne.
La recherche sur la réécriture de termes et de graphes couvre plusieurs domaines, des questions théoriques aux problèmes pratiques. Le calcul avec graphes traite du partage de sous-expressions communes de façon naturelle et homogène, et améliore l'efficacité des calculs dans l'espace et le temps. Le partage est omniprésent dans de nombreux domaines de recherche, par exemple la modélisation de réécriture de terme de premier ordre et d'ordre élevé à travers la réécriture (acyclique ou cyclique) de graphe, la modélisation de machines abstraites biologiques ou chimiques et l'implémentation de techniques de langages de programmation.
Les termes-graphes sont également utilisés dans la démonstration de théorème et des systèmes de calcul symboliques travaillant sur des structures partagées.
L'objectif de cet atelier sera de rassembler des chercheurs travaillant dans différents domaines, stimuler l'interaction, et fournir un forum pour présenter de nouvelles idées et les travaux en cours. L'évènement sera également l'occasion pour les nouveaux venus d'en apprendre davantage sur les dernières avancées liées à la réécriture de termes- graphes.Pour de plus amples informations, consulter: http://termgraph2011.imag.fr/(s’ouvre dans une nouvelle fenêtre)
La recherche sur la réécriture de termes et de graphes couvre plusieurs domaines, des questions théoriques aux problèmes pratiques. Le calcul avec graphes traite du partage de sous-expressions communes de façon naturelle et homogène, et améliore l'efficacité des calculs dans l'espace et le temps. Le partage est omniprésent dans de nombreux domaines de recherche, par exemple la modélisation de réécriture de terme de premier ordre et d'ordre élevé à travers la réécriture (acyclique ou cyclique) de graphe, la modélisation de machines abstraites biologiques ou chimiques et l'implémentation de techniques de langages de programmation.
Les termes-graphes sont également utilisés dans la démonstration de théorème et des systèmes de calcul symboliques travaillant sur des structures partagées.
L'objectif de cet atelier sera de rassembler des chercheurs travaillant dans différents domaines, stimuler l'interaction, et fournir un forum pour présenter de nouvelles idées et les travaux en cours. L'évènement sera également l'occasion pour les nouveaux venus d'en apprendre davantage sur les dernières avancées liées à la réécriture de termes- graphes.Pour de plus amples informations, consulter: http://termgraph2011.imag.fr/(s’ouvre dans une nouvelle fenêtre)