6º WORKSHOP INTERNAZIONALE SULL´INFORMATICA CON TERMINI E GRAFI
Saarbrücken, 31 marzo 2011- Il sesto workshop internazionale sull´informatica con termini e grafi si svolgerà il 2 aprile 2011 a Saarbrücken, in Germania. La ricerca sulla riscrittura di termini e grafi comprende un´ampia gamma di campi, dalle domande teoretiche alle questioni pratiche. L´informatica con i grafi si occupa della condivisione di sottoespressioni comuni in un modo naturale e continuo, e migliora l´efficienza delle computazioni nello spazio e nel tempo. La condivisione è molto diffusa in diverse aree di ricerca, ad esempio nella modellazione della riscrittura di termini di ordine primo e superiore mediante riscrittura di grafi (aciclica o ciclica), la modellazione di macchine astratte biologiche o chimiche e le tecniche di implementazione di linguaggi di programmazione. I grafi di termini sono anche usati nella dimostrazione automatica di teoremi e nei sistemi di computazione simbolica che lavorano su strutture condivise. Lo scopo di questo workshop sarà quello di riunire i ricercatori che lavorano in diversi settori, favorire l´interazione e fornire un forum per la presentazione di nuove idee e dei lavori in corso. L´evento rappresenterà anche un´opportunità per i nuovi partecipanti per scoprire gli ultimi progressi nella riscrittura dei grafi di termini. Per ulteriori informazioni, visitare: http://termgraph2011.Imag.fr/
