Zweiter internationaler Workshop "Static Analysis and Systems Biology", Venedig, Italien
13 September 2011 - 13 September 2011
Italien
Am 13.September 2011 findet in Venedig, Italien, der zweite internationale Workshop "Static Analysis and Systems Biology" (Statische Analyse und Systembiologie) statt.
Viele biologische Modelle haben eine hohe kombinatorische Komplexität. Um diese Situation zu meistern, sind bereits eine Vielzahl von Methoden vorgeschlagen worden. Einige sind informell und werden experimentell validiert. Im Gegensatz dazu können statische, auf Analyse basierende, skalierbare formale Methoden eine formale Charakterisierung dessen bereitstellen, was berechnet wird. Statische Analysen sind automatisch, einfach wiederverwendbar und bieten formale Korrektheitskriterien. Sie können eine Hilfe bei der Gestaltung von Modellen, der Prüfung von Modellen in Bezug auf experimentelle Daten und der Vorhersage des Verhaltens des Systems sein, das modelliert wird.
Ziel dieses Workshops ist es, Diskussion und Zusammenarbeit zwischen Biologen (Modellerstellern), Informatikern (Bereich statische Analyse) und Vertretern der angewandten Mathematik rund um die Gestaltung und den Einsatz statischer Analysemethoden für biologische Modelle zu fördern. Geplante Themen sind:
- Flaschenhals-Herausforderungen für die statische Analyse biologischer Modelle;
- neue Rahmenbedingungen für statische Analysen;
- Modellierungserfahrungen unter Einsatz statischer Analyse;
- informelle Methoden (potenzieller Kandidat für Formalisierung und Automatisierung).Weitere Informationen unter: http://www.di.ens.fr/sasb2011/(öffnet in neuem Fenster)
Viele biologische Modelle haben eine hohe kombinatorische Komplexität. Um diese Situation zu meistern, sind bereits eine Vielzahl von Methoden vorgeschlagen worden. Einige sind informell und werden experimentell validiert. Im Gegensatz dazu können statische, auf Analyse basierende, skalierbare formale Methoden eine formale Charakterisierung dessen bereitstellen, was berechnet wird. Statische Analysen sind automatisch, einfach wiederverwendbar und bieten formale Korrektheitskriterien. Sie können eine Hilfe bei der Gestaltung von Modellen, der Prüfung von Modellen in Bezug auf experimentelle Daten und der Vorhersage des Verhaltens des Systems sein, das modelliert wird.
Ziel dieses Workshops ist es, Diskussion und Zusammenarbeit zwischen Biologen (Modellerstellern), Informatikern (Bereich statische Analyse) und Vertretern der angewandten Mathematik rund um die Gestaltung und den Einsatz statischer Analysemethoden für biologische Modelle zu fördern. Geplante Themen sind:
- Flaschenhals-Herausforderungen für die statische Analyse biologischer Modelle;
- neue Rahmenbedingungen für statische Analysen;
- Modellierungserfahrungen unter Einsatz statischer Analyse;
- informelle Methoden (potenzieller Kandidat für Formalisierung und Automatisierung).Weitere Informationen unter: http://www.di.ens.fr/sasb2011/(öffnet in neuem Fenster)