Sechster internationaler Workshop über Rechnen mit Termen und Graphen in Saarbrücken, Deutschland
2 April 2011 - 2 April 2011
Frankreich
Der sechste internationale Workshop über Rechnen mit Termen und Graphen findet am 2. April 2011 in Saarbrücken, Deutschland statt.
Die Forschung des Ersetzens von Termen und Graphen umfasst eine Reihe von Bereichen, von theoretischen Fragen zu praktischen Problemen. Rechnen mit Graphen behandelt das natürliche und nahtlose Teilen gemeinsamer Subexpressionen und verbessert die Effizienz von Berechnungen in Raum und Zeit. Das gemeinsame Nutzen ist in mehreren Forschungsbereichen allgegenwärtig, zum Beispiel das Modellieren von Termersetzung erster oder höherer Ordnung durch (azyklische oder zyklische) Graphersetzung, das Modellieren biologischer oder chemischer abstrakter Maschinen und die Implementierungstechniken von Programmiersprachen.
Termgraphen werden auch für das automatische Beweisen von Theoremen und symbolische Berechnungssysteme verwendet, die mit gemeinsam genutzten Strukturen arbeiten.
Ziel dieses Workshops ist es, Forscher aus verschiedenen Domänen zusammenzubringen, die Interaktion zu fördern und ein Forum zu bieten, in dem neue Ideen und aktuelle Arbeiten präsentiert werden können. Die Veranstaltung ist für Neulinge in der Branche eine Gelegenheit, etwas über die neusten Fortschritte in der Überschreibung von Termgraphen zu erfahren.Weitere Informationen unter: http://termgraph2011.imag.fr/(öffnet in neuem Fenster)
Die Forschung des Ersetzens von Termen und Graphen umfasst eine Reihe von Bereichen, von theoretischen Fragen zu praktischen Problemen. Rechnen mit Graphen behandelt das natürliche und nahtlose Teilen gemeinsamer Subexpressionen und verbessert die Effizienz von Berechnungen in Raum und Zeit. Das gemeinsame Nutzen ist in mehreren Forschungsbereichen allgegenwärtig, zum Beispiel das Modellieren von Termersetzung erster oder höherer Ordnung durch (azyklische oder zyklische) Graphersetzung, das Modellieren biologischer oder chemischer abstrakter Maschinen und die Implementierungstechniken von Programmiersprachen.
Termgraphen werden auch für das automatische Beweisen von Theoremen und symbolische Berechnungssysteme verwendet, die mit gemeinsam genutzten Strukturen arbeiten.
Ziel dieses Workshops ist es, Forscher aus verschiedenen Domänen zusammenzubringen, die Interaktion zu fördern und ein Forum zu bieten, in dem neue Ideen und aktuelle Arbeiten präsentiert werden können. Die Veranstaltung ist für Neulinge in der Branche eine Gelegenheit, etwas über die neusten Fortschritte in der Überschreibung von Termgraphen zu erfahren.Weitere Informationen unter: http://termgraph2011.imag.fr/(öffnet in neuem Fenster)