VI Taller internacional sobre computación con términos y grafos en Saarbrücken (Alemania)
2 Abril 2011 - 2 Abril 2011
Francia
El 2 de abril de 2011 se celebrará en Saarbrücken (Alemania) el VI Taller internacional sobre computación con términos y grafos.
La investigación sobre reescritura de términos y grafos abarca cuestiones teóricas y aspectos prácticos pertenecientes a una amplia variedad de campos. La computación con grafos trabaja con la difusión de subexpresiones comunes de forma natural y sin complicaciones y mejora la eficacia espacial y temporal de las computaciones. La difusión de contenidos es omnipresente en muchos ámbitos científicos, por ejemplo en la modelación de la reescritura de términos de primer orden o superior mediante reescritura de grafos (acíclica o cíclica), la modelización de máquinas abstractas químicas o biológicas y las técnicas de implementación de lenguajes de programación.
Los grafos y términos también se utilizan en la demostración automática de teoremas y en sistemas de computación simbólica ejecutados en estructuras compartidas.
Los objetivos del taller serán reunir a investigadores dedicados a distintos dominios, fomentar la interacción y proporcionar un foro en el que presentar nuevas ideas y trabajos en curso. El evento también permitirá que los principiantes en este campo se informen de los últimos adelantos en la reescritura de grafos y términos.Para más información, consulte: http://termgraph2011.imag.fr/(se abrirá en una nueva ventana)
La investigación sobre reescritura de términos y grafos abarca cuestiones teóricas y aspectos prácticos pertenecientes a una amplia variedad de campos. La computación con grafos trabaja con la difusión de subexpresiones comunes de forma natural y sin complicaciones y mejora la eficacia espacial y temporal de las computaciones. La difusión de contenidos es omnipresente en muchos ámbitos científicos, por ejemplo en la modelación de la reescritura de términos de primer orden o superior mediante reescritura de grafos (acíclica o cíclica), la modelización de máquinas abstractas químicas o biológicas y las técnicas de implementación de lenguajes de programación.
Los grafos y términos también se utilizan en la demostración automática de teoremas y en sistemas de computación simbólica ejecutados en estructuras compartidas.
Los objetivos del taller serán reunir a investigadores dedicados a distintos dominios, fomentar la interacción y proporcionar un foro en el que presentar nuevas ideas y trabajos en curso. El evento también permitirá que los principiantes en este campo se informen de los últimos adelantos en la reescritura de grafos y términos.Para más información, consulte: http://termgraph2011.imag.fr/(se abrirá en una nueva ventana)