Formal Methods in Systems Biology First International Workshop,
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008. The 9 revised full papers presented were carefully reviewed and selected from the wor
- PDF / 12,087,320 Bytes
- 146 Pages / 430.15 x 660.926 pts Page_size
- 20 Downloads / 209 Views
5054
Edited by S. Istrail, P. Pevzner, and M. Waterman Editorial Board: A. Apostolico S. Brunak M. Gelfand T. Lengauer S. Miyano G. Myers M.-F. Sagot D. Sankoff R. Shamir T. Speed M. Vingron W. Wong
Subseries of Lecture Notes in Computer Science
Jasmin Fisher (Ed.)
Formal Methods in Systems Biology First International Workshop, FMSB 2008 Cambridge, UK, June 4-5, 2008 Proceedings
13
Series Editors Sorin Istrail, Brown University, Providence, RI, USA Pavel Pevzner, University of California, San Diego, CA, USA Michael Waterman, University of Southern California, Los Angeles, CA, USA Volume Editor Jasmin Fisher Microsoft Research Computational Biology Division 7 J J Thomson Ave., CB3 0FB, Cambridge, UK E-mail: [email protected]
Library of Congress Control Number: 2008927203
CR Subject Classification (1998): I.6, D.2.4, J.3, H.2.8, F.1.1 LNCS Sublibrary: SL 8 – Bioinformatics ISSN ISBN-10 ISBN-13
0302-9743 3-540-68410-7 Springer Berlin Heidelberg New York 978-3-540-68410-7 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2008 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12273294 06/3180 543210
Preface
This volume contains the proceedings of the first international meeting on Formal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4–5, 2008. While there are several venues that cover computational methods in systems biology, there is to date no single conference that brings together the application of the range of formal methods in biology. Therefore, convening such a meeting could prove extremely productive. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models in ways that can significantly advance our understanding of biological systems. As a forum for this discussion we invited key scientists in the area of formal methods to this unique meeting. Although this was a one-off meeting, we are exploring the possibility of this forming the first of what might become an annual conference. Presentations at the meeting were by invitation only; future meetings are expected to operate on a submission and review basis. The Steering Committee and additional refe
Data Loading...
