Drugie międzynarodowe warsztaty nt. analizy statycznej i biologii systemów, Wenecja, Włochy
13 Września 2011 - 13 Września 2011
Włochy
Dnia 13 września 2011 r. w Wenecji, Włochy, odbędą się drugie, międzynarodowe warsztaty nt. analizy statycznej i biologii systemów.
Wiele modeli biologicznych charakteryzuje się wysoką złożonością kombinatoryczną. Proponowano już rozmaite metody radzenia sobie z tą złożonością. Niektóre z nich są nieformalne i potwierdzane eksperymentalnie. Z kolei statyczne metody skalowalne oparte na analizie są w stanie zapewnić formalną charakterystykę tego, co stanowi przedmiot obliczeń. Automatyczne, łatwe do powtórnego wykorzystania i zapewniające formalne kryteria trafności, analizy statystyczne mogą pomóc w projektowaniu i testowaniu modeli w kontekście danych eksperymentalnych oraz w przewidywaniu zachowania systemu będącego przedmiotem modelowania.
Warsztaty mają na celu pobudzenie dyskusji i współpracy między biologami (specjalistami od modelowania), informatykami (zajmującymi się analizą statyczną) i ekspertami w dziedzinie matematyki stosowanej wokół projektowania i stosowania metod analizy statycznej w modelach biologicznych. W czasie wydarzenia mają zostać poruszone następujące tematy:
- wyzwania związane z wąskimi gardłami analizy statycznej na potrzeby modeli biologicznych;
- nowe ramy analizy statycznej;
- doświadczenia z modelowaniem przy wykorzystaniu analizy statycznej;
- metody nieformalne (które mogą stać się kandydatami do formalizacji i automatyzacji).Więcej informacji: http://www.di.ens.fr/sasb2011/(odnośnik otworzy się w nowym oknie)
Wiele modeli biologicznych charakteryzuje się wysoką złożonością kombinatoryczną. Proponowano już rozmaite metody radzenia sobie z tą złożonością. Niektóre z nich są nieformalne i potwierdzane eksperymentalnie. Z kolei statyczne metody skalowalne oparte na analizie są w stanie zapewnić formalną charakterystykę tego, co stanowi przedmiot obliczeń. Automatyczne, łatwe do powtórnego wykorzystania i zapewniające formalne kryteria trafności, analizy statystyczne mogą pomóc w projektowaniu i testowaniu modeli w kontekście danych eksperymentalnych oraz w przewidywaniu zachowania systemu będącego przedmiotem modelowania.
Warsztaty mają na celu pobudzenie dyskusji i współpracy między biologami (specjalistami od modelowania), informatykami (zajmującymi się analizą statyczną) i ekspertami w dziedzinie matematyki stosowanej wokół projektowania i stosowania metod analizy statycznej w modelach biologicznych. W czasie wydarzenia mają zostać poruszone następujące tematy:
- wyzwania związane z wąskimi gardłami analizy statycznej na potrzeby modeli biologicznych;
- nowe ramy analizy statycznej;
- doświadczenia z modelowaniem przy wykorzystaniu analizy statycznej;
- metody nieformalne (które mogą stać się kandydatami do formalizacji i automatyzacji).Więcej informacji: http://www.di.ens.fr/sasb2011/(odnośnik otworzy się w nowym oknie)