Dziesiąte warsztaty nt. ilościowych aspektów języków programowania, Tallin, Estonia
31 Marca 2012 - 31 Marca 2012
Estonia
W dniach od 31 marca do 1 kwietnia 2012 r. w Tallinie, Estonia, odbędą się "Dziesiąte warsztaty nt. ilościowych aspektów języków programowania".
Aspekty ilościowe w informatyce wiążą się z kwestiami ilości fizycznych (jak przestrzeń przechowywania, czas czy szerokość pasma) oraz ilości matematycznych (np. prawdopodobieństwo i miara wiarygodności, bezpieczeństwo i zaufanie). Te ilościowe wartości odgrywają główną rolę zarówno w definiowaniu architektury i projektowaniu języka oraz semantyki systemu, jak i w metodologiach i narzędziach analizy oraz weryfikacji właściwości systemu.
Warsztaty będą forum do przedyskutowania problematyki wykorzystywania informacji ilościowych, tak bezpośrednio w modelu, jak i w roli narzędzia do analizowania systemów. Poruszane będą następujące tematy:
- projektowanie probabilistycznych języków kwantowych funkcjonujących w czasie rzeczywistym oraz definiowanie modeli semantycznych dla tych języków;
- metodologie analizowania właściwości probabilistycznych, czasowych i innych wymiernych cech oraz wykorzystania zasobów;
- probabilistyczna analiza systemów, które nie posiadają eksplicytnych aspektów ilościowych;
- zastosowania w systemach krytycznych z punktu widzenia bezpieczeństwa, protokołach komunikacyjnych, systemach sterowania, układach asynchronicznych, sprzęcie oraz innych domenach obejmujących problemy ilościowe.Więcej informacji: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(odnośnik otworzy się w nowym oknie)
Aspekty ilościowe w informatyce wiążą się z kwestiami ilości fizycznych (jak przestrzeń przechowywania, czas czy szerokość pasma) oraz ilości matematycznych (np. prawdopodobieństwo i miara wiarygodności, bezpieczeństwo i zaufanie). Te ilościowe wartości odgrywają główną rolę zarówno w definiowaniu architektury i projektowaniu języka oraz semantyki systemu, jak i w metodologiach i narzędziach analizy oraz weryfikacji właściwości systemu.
Warsztaty będą forum do przedyskutowania problematyki wykorzystywania informacji ilościowych, tak bezpośrednio w modelu, jak i w roli narzędzia do analizowania systemów. Poruszane będą następujące tematy:
- projektowanie probabilistycznych języków kwantowych funkcjonujących w czasie rzeczywistym oraz definiowanie modeli semantycznych dla tych języków;
- metodologie analizowania właściwości probabilistycznych, czasowych i innych wymiernych cech oraz wykorzystania zasobów;
- probabilistyczna analiza systemów, które nie posiadają eksplicytnych aspektów ilościowych;
- zastosowania w systemach krytycznych z punktu widzenia bezpieczeństwa, protokołach komunikacyjnych, systemach sterowania, układach asynchronicznych, sprzęcie oraz innych domenach obejmujących problemy ilościowe.Więcej informacji: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(odnośnik otworzy się w nowym oknie)