6º Workshop internazionale sull'informatica con termini e grafi, Saarbrücken, Germania
2 Aprile 2011 - 2 Aprile 2011
Francia
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/(si apre in una nuova finestra)
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/(si apre in una nuova finestra)