Szóste międzynarodowe warsztaty nt. obliczeń za pomocą członów i grafów, Saarbrücken, Niemcy
2 Kwietnia 2011 - 2 Kwietnia 2011
Francja
Dnia 2 kwietnia 2011 r. w Saarbrücken, Niemcy, odbędą się szóste międzynarodowe warsztaty nt. obliczeń za pomocą członów i grafów.
Badania w zakresie podstawiania członów i grafów obejmują szeroki zakres dziedzin, od zagadnień teoretycznych po kwestie praktyczne. Obliczenia za pomocą grafów wykorzystują dzielenie się wspólnymi podwyrażeniami w naturalny i płynny sposób oraz poprawiają skuteczność obliczeń w przestrzeni i czasie. Dzielenie się jest wszechobecne w kilku dziedzinach badawczych, na przykład modelowanie podstawiania członu pierwszego i wyższego rzędu poprzez (acykliczne lub cykliczne) podstawienie grafu, modelowanie biologicznych lub chemicznych maszyn abstrakcyjnych czy techniki wdrażania języków programowania.
Grafy członów są również wykorzystywane w zautomatyzowanych twierdzeniach sprawdzających i symbolicznych systemach obliczeniowych pracujących na wspólnych strukturach.
Warsztaty mają na celu zgromadzenie naukowców specjalizujących się w różnych dziedzinach, wspomaganie nawiązywania kontaktów i zapewnienie forum na potrzeby prezentacji nowych pomysłów i prowadzonych już prac. Wydarzenie będzie również okazją dla nowicjuszy, aby zasięgnąć informacji o najnowszych postępach w dziedzinie podstawiania grafów.Więcej informacji: http://termgraph2011.imag.fr/(odnośnik otworzy się w nowym oknie)
Badania w zakresie podstawiania członów i grafów obejmują szeroki zakres dziedzin, od zagadnień teoretycznych po kwestie praktyczne. Obliczenia za pomocą grafów wykorzystują dzielenie się wspólnymi podwyrażeniami w naturalny i płynny sposób oraz poprawiają skuteczność obliczeń w przestrzeni i czasie. Dzielenie się jest wszechobecne w kilku dziedzinach badawczych, na przykład modelowanie podstawiania członu pierwszego i wyższego rzędu poprzez (acykliczne lub cykliczne) podstawienie grafu, modelowanie biologicznych lub chemicznych maszyn abstrakcyjnych czy techniki wdrażania języków programowania.
Grafy członów są również wykorzystywane w zautomatyzowanych twierdzeniach sprawdzających i symbolicznych systemach obliczeniowych pracujących na wspólnych strukturach.
Warsztaty mają na celu zgromadzenie naukowców specjalizujących się w różnych dziedzinach, wspomaganie nawiązywania kontaktów i zapewnienie forum na potrzeby prezentacji nowych pomysłów i prowadzonych już prac. Wydarzenie będzie również okazją dla nowicjuszy, aby zasięgnąć informacji o najnowszych postępach w dziedzinie podstawiania grafów.Więcej informacji: http://termgraph2011.imag.fr/(odnośnik otworzy się w nowym oknie)