posted by organizer: carla_piazza || 3576 views || tracked by 7 users: [display]

FMMB 2014 : First International Conference on Formal Methods in Macro-Biology

FacebookTwitterLinkedInGoogle

Link: http://fmmb2014.sciencesconf.org/
 
When Sep 22, 2014 - Sep 24, 2014
Where Noumea - New Caledonia
Submission Deadline May 5, 2014
Categories    systems biology   computer science   applied mathematics   computational biology
 

Call For Papers

FMMB 2014 - 1st INTL. CONFERENCE ON FORMAL METHODS IN MACRO-BIOLOGY
Call for Papers
September 22-24, 2014
Noumea, New Caledonia
http://fmmb2014.sciencesconf.org/

* AIMS AND SCOPE
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:
o ordinary and partial differential equation systems,
o discrete event systems, infinite state systems,
o hybrid discrete-continuous systems, hybrid automata,
o cellular automata, multi-agent systems,
o stochastic processes, stochastic games,
o statistical physics models,
o process algebras, process calculi,
o 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.

* KEYNOTE SPEAKERS
Pieter Collins, Maastricht University, Netherlands,
Saso Dzeroski, Jozef Stefan Institute, Slovenia,
Radu Grosu, Vienna Technical University, Austria,
Steffen Klamt, Max Planck Institute Magdeburg, Germany,
Pietro Lio', Cambridge University, UK,
Hélène Morlon, Ecole Polytechnique and CNRS, France.

* PC CO-CHAIRS
François Fages, Inria Paris-Rocquencourt, France,
Carla Piazza, University of Udine, Italy.
* LOCAL CHAIR
Teodor Knapik, University of New Caledonia.

* IMPORTANT DATES
Extended Submission deadline: May 5
Author notification: June 4
Camera-ready copy due: June 25

* SUBMISSION AND PUBLICATION
Regular submissions of 12-20 pages or short submissions of 2 pages
in LNCS style should be submitted as PDF files via EasyChair
https://www.easychair.org/conferences/?conf=fmmb2014 .
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.

Related Resources

FM 2024   Formal Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture