Dziewiąte międzynarodowe warsztaty nt. modelowania z ograniczeniami i reformułowania, St Andrews, Wlk. Brytania
6 Września 2010 - 6 Września 2010
Zjednoczone Królestwo
Dnia 6 września 2010 r. w St Andrews, Wlk. Brytania, odbędą się dziewiąte, międzynarodowe warsztaty nt. modelowania z ograniczeniami i reformułowania.
Programowanie z ograniczeniami (CP) to skuteczna technologia do modelowania i rozwiązywania problemów kombinatorycznych. Jest to paradygmat programowania, który nie określa kroku ani sekwencji kroków do wykonania. Zamiast tego w CP wyszczególnia się właściwości rozwiązania, które należy znaleźć.
W ostatniej dekadzie znacząca liczba badań naukowych była poświęcona modelowaniu i rozwiązywaniu problemów z ograniczeniami. CP jest teraz dojrzałą dziedziną, wykorzystywaną z powodzeniem w szerokim zakresie złożonych zastosowań praktycznych. Niemniej technologia ta jest obecnie dostępna jedynie dla garstki ekspertów. Aby CP znalazło szersze zastosowanie również wśród laików, potrzebne są dalsze badania w celu ułatwienia korzystania z tej technologii.
Tematy warsztatów obejmą następujące zagadnienia:
- interesujące problemy i sposoby modelowania ich;
- poznanie zasad modelowania, które mogłyby posłużyć do ręcznego lub automatycznego formułowania modeli;
- identyfikacja kryteriów do wykorzystania w ocenie modeli i inżynierii technik pragmatycznych, które upraszczają wybór i ewentualne łączenie modeli alternatywnych;
- projektowanie języków modelowania wyższego poziomu i automatycznych technik reformułowania.Więcej informacji:
http://www.it.uu.se/research/group/astra/ModRef10/(odnośnik otworzy się w nowym oknie)
Programowanie z ograniczeniami (CP) to skuteczna technologia do modelowania i rozwiązywania problemów kombinatorycznych. Jest to paradygmat programowania, który nie określa kroku ani sekwencji kroków do wykonania. Zamiast tego w CP wyszczególnia się właściwości rozwiązania, które należy znaleźć.
W ostatniej dekadzie znacząca liczba badań naukowych była poświęcona modelowaniu i rozwiązywaniu problemów z ograniczeniami. CP jest teraz dojrzałą dziedziną, wykorzystywaną z powodzeniem w szerokim zakresie złożonych zastosowań praktycznych. Niemniej technologia ta jest obecnie dostępna jedynie dla garstki ekspertów. Aby CP znalazło szersze zastosowanie również wśród laików, potrzebne są dalsze badania w celu ułatwienia korzystania z tej technologii.
Tematy warsztatów obejmą następujące zagadnienia:
- interesujące problemy i sposoby modelowania ich;
- poznanie zasad modelowania, które mogłyby posłużyć do ręcznego lub automatycznego formułowania modeli;
- identyfikacja kryteriów do wykorzystania w ocenie modeli i inżynierii technik pragmatycznych, które upraszczają wybór i ewentualne łączenie modeli alternatywnych;
- projektowanie języków modelowania wyższego poziomu i automatycznych technik reformułowania.Więcej informacji:
http://www.it.uu.se/research/group/astra/ModRef10/(odnośnik otworzy się w nowym oknie)