Formal Methods for Computational Systems Biology

Das Buch "Formal Methods for Computational Systems Biology" bietet eine umfassende Sammlung von Forschungsarbeiten, die im Rahmen der achten Internationalen Schule zu Formalen Methoden für das Design von Computer-, Kommunikations- und Softwaresystemen (SFM) präsentiert wurden. Diese Reihe von Schulen zielt darauf ab, die Anwendung formaler Methoden in der Informatik zu fördern, um einen rigorosen Entwurf von Systemen zu unterstützen. Der Schwerpunkt der SFM 2008 lag auf formalen Techniken für die rechnergestützte Systembiologie und behandelte verschiedene Aspekte des Fachgebiets, darunter rechnerische Modelle, Kalküle und Logiken für biologische Systeme sowie Verifikations- und Simulationsmethoden. Die Vorträge und die begleitenden Papiere bieten wertvolle Einblicke für Studierende und junge Forschende, die sich mit den Grundlagen und Anwendungen formaler Methoden auseinandersetzen möchten.