2º Workshop internazionale sull'analisi statica e la biologia dei sistemi, Venezia, Italia
13 Settembre 2011 - 13 Settembre 2011
Italia
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/(si apre in una nuova finestra)
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/(si apre in una nuova finestra)