International Conference on COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY 20th and 21st September 2007 Edinburgh, Scotland http://conferences.inf.ed.ac.uk/cmsb07/ The CMSB (Computational Methods in Systems Biology) conference series was established in 2003 to help catalyze the convergence of modellers, physicists, mathematicians, and theoretical computer scientists from fields such as language design, concurrency theory, program verification, and molecular biologists, physicians, neuroscientists interested in a systems-level understanding of cellular physiology and pathology. CMSB'07 solicits original research articles (including significant works-in-progress), surveys of current research and posters. These may cover theoretical or applied contributions that are motivated by a biological question and can demonstrate either actual or potential usefulness towards answering that question. They may also cover models of computation inspired by biological processes; the motivation may be as much computational as biological. Particularly relevant case studies and open issues from the biological side that demands modeling of systems are of interest as well. The introduction of formal models should be supported by theoretical arguments about the model and/or on the analyses that they enable, by comparisons with other network models, and/or by examples of representation and analysis of a biological system. Topics of interest include, among others: 1. Biological systems and networks: inference, properties, modeling, dynamics, simulation and reverse engineering 2. Formal methods for drug discovery and design 3. Methods to predict biological network behavior from incomplete information 4. Models including symbolic evolution and learning 5. Models of self-assembly 6. Detailed case-studies on how a biological question was successfully addressed using formal models 7. Emergence of properties in complex biological systems 8. Theoretical comparisons between different formal models of cellular processes 9. Differential, discrete and/or stochastic modeling-language frameworks 10. Quantitative formal languages 11. Biologically-inspired extensions to concurrency theory, constraint programming, logical methods or language equivalences 12. Computer models in nano-sciences applied to biological domains 13. Definition and study of theoretical properties of biologically-inspired formal languages 14. Biological data bases and exchange formats for biological data and standards History 2006 held in Trento, chaired by Corrado Priami 2005 held in Edinburgh, chaired by Gordon Plotkin. 2004 held in Paris, co-chaired by Vincent Danos and Vincent Schachter 2003 held in Trento, chaired by Corrado Priami Paper and poster submission guidelines Authors are invited to submit original research papers or survey papers of no more than 15 pages in PDF format using the LNCS templates, available at the url below http://www.springer.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html We also accept poster proposals in the form of a text-only abstract describing the poster contents. Papers and posters descriptions should be sent by e-mail to cmsb07-papers at inf.ed.ac.uk The subject line should be CMSB Paper: (Title of Paper). The body of the e-mail should contain the title, authors and affiliations, an abstract, and the themes to which the paper/poster refers according to the topics of interest list. If no theme is listed, please insert some keywords. All submissions will be reviewed by the program committee. Accepted papers will be included in the proceedings available at the conference. Publication as an LNBI volume by Springer is under negotiation. Important Dates (deadlines are strict): Submission of papers: May, 7 Notification of paper acceptance: June, 4 Revised version of papers due: July, 2 Submission of posters: July, 10 Notification of poster acceptance: July, 30 Venue The conference will be held in Edinburgh (Scotland) at the e-Science Institute. The dates are 20th and 21st September 2007. Committees Steering Committee * Finn Drabløs, Norwegian University of Science and Technology, Trondheim (Norway) * Monika Heiner, TU Cottbus (Germany) * Patrick Lincoln, Stanford Research International (US) * Satoru Miyano, University of Tokyo (Japan) * Gordon Plotkin, University of Edinburgh (UK) * Corrado Priami, The Microsoft Research -- University of Trento Centre for Computational and Systems Biology (Italy) * Magali Roux-Rouquié, CNRS-UPMC (France) * Vincent Schachter, Genoscope, Evry (France) * Adelinde Uhrmacher, University of Rostock (Germany) Program Committee * Alexander Bockmayr, Freie Universität Berlin (Germany) * Muffy Calder (co-chair), University of Glasgow (UK) * Luca Cardelli, Microsoft Research Cambridge (UK) * Vincent Danos, CNRS, Université Denis Diderot (France) * Pierpaolo Degano, Universitá di Pisa (Italy) * Finn Drabløs, Norwegian University of Science and Technology, Trondheim (Norway) * François Fages, INRIA Rocquencourt (France) * Anthony Finkelstein, University College London (UK) * Stephen Gilmore (co-chair), University of Edinburgh (UK) * David Harel, Weizmann Institute (Israel) * Monika Heiner, TU Cottbus (Germany) * Walter Kolch, Beatson Institute for Cancer Research (UK) * Ina Koch, Technische Fachhochschule Berlin (Germany) * Gethin Norman, University of Birmingham (UK) * Corrado Priami, The Microsoft Research -- University of Trento Centre for Computational and Systems Biology (Italy) * Stephen Ramsey, Institute for Systems Biology, Seattle (USA) * Adelinde Uhrmacher, University of Rostock (Germany) Organising committee * Muffy Calder, University of Glasgow (UK) * Stephen Gilmore, University of Edinburgh (UK) (Apologies if you receive multiple copies of this message) _______________________________________________ cmsb-2007 mailing list cmsb-2007 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/cmsb-2007