2ş WORKSHOP INTERNAZIONALE SULL´ANALISI STATICA E LA BIOLOGIA DEI SISTEMI
Venezia, 27 giugno 2011 - Il secondo workshop internazionale sull´analisi statica e la biologia dei sistemi si svolgerŕ il 13 settembre 2011 a Venezia, in Italia. Molti modelli biologici hanno un´elevata complessitŕ combinatoria. Per affrontare questa situazione č stata proposta un´ampia varietŕ di metodi. Alcuni sono informali e sono stati convalidati in modo sperimentale. Invece, i metodi formali scalabili basati sull´analisi statica sono in grado di fornire una caratterizzazione formale di ciň che č computato. Essendo automatiche, facilmente riutilizzabili e offrendo criteri formali di validitŕ, le analisi statiche possono aiutare la progettazione di modelli, il collaudo di modelli rispetto ai dati sperimentali e la previsione del comportamento del sistema sottoposto a modellazione. L´obbiettivo di questo workshop sarŕ quello di promuovere discussioni e collaborazioni tra biologi (modeller), scienziati informatici (in analisi statica) e matematici applicati riguardanti progettazione e uso di metodi di analisi statica per i modelli biologici. I temi riguarderanno tra l´altro: problemi di collo di bottiglia per l´analisi statica di modelli biologici; nuove strutture dell´analisi statica; esperienze di modellazione usando l´analisi statica; metodi informali (che potrebbero essere candidati idonei per formalizzazione e automatizzazione). Per ulteriori informazioni, visitare: http://www.Di.ens.fr/sasb2011/
