(Apologies for cross postings)
Deadline extension for CMSB'04 - Computational Methods in Systems Biology.
Due to several requests, the deadline of CMSB'04 has been moved to * March 10th*.
Please check the web page for more details: http://www.biopathways.org/CMSB04/
Call for Papers - International Workshop on Computational Methods in Systems Biology 2004 (CMSB04) Organized by Genoscope, Evry Génopole, Evry CNRS University of Paris VII BioPathways Consortium
Hotel Meridien Montparnasse, Paris, France 26-28 May, 2004
**********************************************************
The CMSB (Computational Methods in Systems Biology) conference series was established in 2003 to help catalyze the convergence between modellers physicists, mathematicians, and theoretical computer scientists from fields such as language design, concurrency theory or program verification and biologists interested in a systems-level understanding of cellular processes.
In order to reflect the complementary scientific motivations underlying existing work in the field, CMSB04 is soliciting original research articles (including significant works-in-progress) and surveys of current research in either of the following two thematic tracks :
Track A : Formal models for biological systems analysis
This track focuses on theoretical or applied contributions that are motivated by a biological question and can demonstrate either actual or potential usefulness towards answering that question.
Topics of interest in this track include : - Formal models for regulatory, signalling or metabolic networks - Formal methods to analyse biomolecular systems - Qualitative or quantitative analyses of biomolecular systems - Simulation techniques for Systems Biology - Theoretical comparisons between different formal models of cellular processes - Applications of formal techniques to reverse-engineering of biological networks - Methods to predict biological network behavior from incomplete information - Detailed case-studies on how a biological question was successfully addressed using formal models
Note that, since many formal languages are expressive enough to allow for some representation of biological networks, describing a representation of, e.g., signalling networks at a given level of detail in a given language and advocating the use of that language does not necessarily constitute in itself a novel contribution to the field. The introduction of a formal model should be supported by theoretical arguments on the model and/or on the analyses that it enables, by comparisons with other network models, and/or by examples of representation and analysis of a biological system.
Track B : Models of computation inspired by biological processes
This track focuses on contributions that take inspiration from cellular processes to lay down the plans for new computing techniques and paradigms, to study their theoretical properties and applications. Similar motivations led to the definition of neural networks and genetic algorithms, which were neither motivated by biological research nor faithful models of biological systems, but gave birth to a huge field for non-standard programming solutions. The motivation of this track is computational rather than biological.
Topics of interest in this track include : - Definition and study of theoretical properties of biologically-inspired formal languages - Biologically-inspired extensions to concurrency theory, constraint programming or logical methods - Biologically-inspired equivalences - Quantitative formal languages - Models of Self-assembly - Models including symbolic evolution and learning - ODE as a programming language
SUBMISSION GUIDELINES
Authors are invited to submit original research papers or survey papers of no more than 12 pages in .ps or .pdf format. All submissions will be reviewed by the program committee. Accepted papers will be included in the proceedings, which will be published by Springer in the new Lecture Notes in Bioinformatics Series.
We also accept poster proposals in the form of a text-only abstract describing the poster contents.
Papers and posters should be submitted online via the submission page on the CMSB04 web site (http://www.biopathways.org/CMSB04/). Papers should be formatted according to LNCS guidelines (http://www.springer.de/comp/lncs/authors.html).
IMPORTANT DATES
* March 1, 2004 Submission deadline for papers and demos * March 24, 2004 Notification of acceptance * April 5, 2004 Camera-ready version due * May 26-28, 2004 CMSB04 Workshop in Paris
PROGRAM COMMITTEE
Gordon Plotkin , University of Edinburgh, (UK) Corrado Priami, University of Trento (IT) Luca Cardelli, Microsoft Research Cambridge (UK) Vincent Danos (co-chair), University of Paris VII (FR) Gilles Bernot, University of Evry (FR) Alexander Bockmayr , Henri Poincaré University, Nancy (FR) François Fages, INRIA Rocquencourt (FR) Walter Fontana, Santa Fe Institute (US) François Kepes, CNRS / Epigenomics Program, Evry (FR) Kurt Kohn, National Cancer Institute, NIH, US Marta Kwiatkowska, University of Birmingham (UK) Nicolas Le Novère, European Bioinformatics Institute (UK) Pat Lincoln, Stanford Research International (US) Satoru Miyano, University of Tokyo (JP) Eric Neumann, Beyond Genomics, Cambridge,US Bernard Palsson, UCSD (US) Vijay Saraswat, Penn State University (US) Vincent Schachter (co-chair), Genoscope (FR) Birgit Schoeberl , MIT (US) Adelinde Uhrmacher, University of Rostock (D) Alfonso Valencia, CNB-CSIC (SP)
CONTACT INFORMATION Conference website :(http://www.biopathways.org/CMSB04/ Contact email : cmsb04@genoscope.cns.fr
---------------------------------------------- Vincent Schächter - Director of Bioinformatics GENOSCOPE (National Consortium for Genomics Research) 2, rue Gaston Crémieux, F-91000 EVRY FRANCE Tel : 33 (0)1 60 87 25 92 - Fax : 33(0)1 60 87 25 32 mailto:vs@genoscope.cns.fr ----------------------------------------------