Formal Methods in Macro-Biology

First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings

  • François Fages
  • Carla Piazza
Conference proceedings FMMB 2014

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8738)

Also part of the Lecture Notes in Bioinformatics book sub series (LNBI, volume 8738)

Table of contents

  1. Front Matter
  2. Invited Presentations

  3. Regular Papers

    1. Francis Mairet, Jean-Luc Gouzé
      Pages 47-62
    2. Alberto Casagrande, Carla Piazza
      Pages 63-81
    3. Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren
      Pages 82-101
    4. Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Jaap Heringa
      Pages 102-116
    5. Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler
      Pages 117-135
    6. Elisabetta de Maria, Joëlle Despeyroux, Amy P. Felty
      Pages 136-155
    7. Dominique Pelletier, Delphine Mallet, Abigail Powel, William Roman
      Pages 156-158
    8. Brendan Trewin, Hazel Parry, Myron Zalucki, David Westcott, Nancy Shellhorn
      Pages 159-161
    9. Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux et al.
      Pages 165-179
  4. Erratum

  5. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014.
The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.


applied computing bioinformatics biological processes complex systems computational biology computational ecology formal methods health informatics life and medical sciences logic and verification macroevolution systems biology

Editors and affiliations

  • François Fages
    • 1
  • Carla Piazza
    • 2
  1. 1.Inria,RocquencourtFrance
  2. 2.Department of Mathematics and Computer ScienceUniversity of UdineUdineItaly

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-10397-6
  • Online ISBN 978-3-319-10398-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors