II Taller internacional sobre análisis estático y biología de sistemas en Venecia (Italia)
13 Septiembre 2011 - 13 Septiembre 2011
Italia
El 13 de septiembre de 2011 se celebrará en Venecia (Italia) el II Taller internacional sobre análisis estático y biología de sistemas.
Muchos modelos biológicos poseen una elevada complejidad combinatoria que se ha tratado de solventar mediante distintos métodos, algunos informales y otros validados mediante experimentos. Los métodos formales escalables basados en análisis estático pueden aportar caracterización formal al objeto de computación. Los análisis estáticos son automáticos, poseen un elevado grado de reutilización y ofrecen criterios de solidez formal. Por todo ello pueden resultar útiles en el diseño de modelos, la comprobación de los mismos mediante la comparación con datos experimentales y la predicción del comportamiento del sistema a modelar.
El objetivo de este taller será fomentar el debate y la colaboración entre biólogos (dedicados a la modelización), informáticos (especializados en el estudio del análisis estático) y expertos en matemática aplicada en torno al diseño y empleo de métodos de análisis estático aplicados a modelos biológicos. Durante el evento se tratarán los siguientes temas:
- obstáculos al análisis estático de modelos biológicos;
- nuevos marcos de análisis estático;
- experiencias de modelización mediante análisis estático;
- métodos informales (que podrían proponerse para su formalización y automatización).Para más información, consulte: http://www.di.ens.fr/sasb2011/(se abrirá en una nueva ventana)
Muchos modelos biológicos poseen una elevada complejidad combinatoria que se ha tratado de solventar mediante distintos métodos, algunos informales y otros validados mediante experimentos. Los métodos formales escalables basados en análisis estático pueden aportar caracterización formal al objeto de computación. Los análisis estáticos son automáticos, poseen un elevado grado de reutilización y ofrecen criterios de solidez formal. Por todo ello pueden resultar útiles en el diseño de modelos, la comprobación de los mismos mediante la comparación con datos experimentales y la predicción del comportamiento del sistema a modelar.
El objetivo de este taller será fomentar el debate y la colaboración entre biólogos (dedicados a la modelización), informáticos (especializados en el estudio del análisis estático) y expertos en matemática aplicada en torno al diseño y empleo de métodos de análisis estático aplicados a modelos biológicos. Durante el evento se tratarán los siguientes temas:
- obstáculos al análisis estático de modelos biológicos;
- nuevos marcos de análisis estático;
- experiencias de modelización mediante análisis estático;
- métodos informales (que podrían proponerse para su formalización y automatización).Para más información, consulte: http://www.di.ens.fr/sasb2011/(se abrirá en una nueva ventana)