Not logged in
  • Log in
    Membership (40085+) Group hosting [?] Wiki
    Franklin Award

    About bioinformatics
    Bioinformatics training
    Bioinformatics jobs

    All information groups
    Online databases Online analysis tools Online education tools More tools

    All software groups
    FTP repository
    SVN & CVS repositories [?]
    Mailing lists

    News & Commentary
  • Submit
  • Archives
  • Subscribe

  • Jobs Forum
    (Career Center)
  • Submit
  • Archives
  • Subscribe
  • News & Commentary - Message forums

    Events: CfP: First Int. Conference on Formal Methods for Macro-Biology (FMMB 2014)
    Submitted by Carla Piazza; posted on Tuesday, January 14, 2014

    September 22-24, 2014
    Noumea, New Caledonia

    The purpose of FMMB is to bring together researchers, developers, and students in theoretical computer science, applied mathematics, mathematical and computational biology, interested in studying the application of formal methods to the construction and analysis of models describing biological processes at both micro and macro levels.

    The topics of interest include (but are not limited to):
    • representation and analysis of biological systems in formal systems such as:
      • Ordinary and partial differential equation systems
      • Discrete event systems, infinite state systems
      • Hybrid discrete-continuous systems, hybrid automata
      • Cellular automata, multi-agent systems
      • Stochastic processes, stochastic games
      • Statistical physics models
      • Process algebras, process calculi
      • Rewriting systems, graph grammars
    • Coupling models and data, inference of models from data
    • Computability and complexity issues
    • Modelling and analysis tools, case studies
    Application areas particularly solicited include:
    • Environmental biology, ecology, marine science
    • Agriculture and forestry
    • Developmental biology, population biology
    • Epidemiology, medicine
    • Systems biology, synthetic biology


    Submission deadline: April 25, 2014
    Author notification: June 4, 2014
    Camera-ready copy due: June 25, 2014


    Regular submissions of 12-20 pages or short submissions of 2 pages in LNCS style should be submitted as PDF files via EasyChair[...]b2014 . All accepted papers will be published in a book in the LNBI series of Springer-Verlag. Authors of the most significant contributions will be invited to submit extended versions for a journal special issue.

    Expanded view | Monitor forum | Save place

    Start a new thread:
    You have to be logged in to post a reply.


    Copyright © 2018 · Scilico, LLC