Computational Methods in Systems Biology International Conference CM
The Computational Methods in Systems Biology (CMSB) workshop series was established in 2003 by Corrado Priami. The purpose of the workshop series is to help catalyze the convergence between computer scientists interested in language design, concurrency th
- PDF / 3,715,077 Bytes
- 288 Pages / 430 x 660 pts Page_size
- 7 Downloads / 214 Views
3082
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
Vincent Danos Vincent Schachter (Eds.)
Computational Methods in Systems Biology International Conference CMSB 2004 Paris, France, May 26 - 28, 2004 Revised Selected Papers
13
Series Editors Sorin Istrail, Celera Genomics, Applied Biosystems, Rockville, MD, USA Pavel Pevzner, University of California, San Diego, CA, USA Michael Waterman, University of Southern California, Los Angeles, CA, USA Volume Editors Vincent Danos Université Paris 7 Equipe PPS Case 7014 2 place Jussieu, 75251 Paris Cedex 05, France E-mail: [email protected] Vincent Schachter CNRG Genoscope 2 rue Gaston Cremieux, 91000 Evry, France E-mail: [email protected]
Library of Congress Control Number: 2005922242
CR Subject Classification (1998): I.6, D.2.4, J.3, H.2.8, F.1.1 ISSN 0302-9743 ISBN 3-540-25375-0 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 springeronline.com © Springer-Verlag Berlin Heidelberg 2005 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 11409083 06/3142 543210
Preface
The Computational Methods in Systems Biology (CMSB) workshop series was established in 2003 by Corrado Priami. The purpose of the workshop series is to help catalyze the convergence between computer scientists interested in language design, concurrency theory, software engineering or program verification, and physicists, mathematicians and biologists interested in the systems-level understanding of cellular processes. Systems biology was perceived as being increasingly in search of sophisticated modeling frameworks whether for representing and processing systemlevel dynamics or for model analysis, comparison and refinement. One has here a clear-cut case of a must-explore field of application for the formal methods developed in computer science in the last decade. This proceedings consists of papers from the CMSB 2003 workshop. A good third of the 24 papers published here have a distinct formal methods origin; we take this as a confirmation that a synergy is building that will help solidify CMSB as a forum for cross-community exchange, thereby opening new theoretical avenues and m
Data Loading...
