posted by organizer: fmbbs2016 || 6961 views || tracked by 9 users: [display]

FMBBS 2016 : IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems

FacebookTwitterLinkedInGoogle

Link: http://www.cs.cmu.edu/~qinsiw/fmbbs16/index.html
 
When Dec 18, 2016 - Dec 18, 2016
Where Shenzhen, China
Abstract Registration Due Sep 27, 2016
Submission Deadline Oct 4, 2016
Notification Due Nov 10, 2016
Final Version Due Nov 20, 2016
Categories    formal methods   systems biology   bioinformatics   machine learning
 

Call For Papers

Workshop on Formal Methods for Biological and Biomedical Systems (FMBBS’16)
http://www.cs.cmu.edu/~qinsiw/fmbbs16/index.html
In conjunction with the 2016 IEEE International Conference on Bioinformatics and Biomedicine, Shenzhen, Dec 15-18, 2016
(http://cci.drexel.edu/ieeebibm/bibm2016/)


As biomedical research advances into more complicated systems, there is an increasing need to model and analyze these systems to better understand them. For decades, biologists have been using diagrammatic models to describe and understand the mechanisms and dynamics behind their experimental observations. Although these models are simple to build and understand, they offer only a rather static picture of the corresponding biological systems, and scalability is limited. Formal specification and analysis methods, such as model checking techniques, hold great promise in promoting further discovery and innovation for complicated biochemical systems. Models can be tested and adapted inexpensively in silico to provide new insights. However, development of accurate and efficient modeling methodologies and analysis techniques for biochemical systems is still an open challenge. This workshop will provide an opportunity for practitioners to present their work in this area to both computer scientists and biologists and develop new collaborations.

We solicit high-quality original research papers (including significant work-in-progress) w.r.t. the following research topics, while not limited to (not in order of preference):

- Formal models of biological and biomedical systems;

- Formal specification for biological and biomedical systems;

- Formal analysis methods for biological and biomedical systems;

- Formal methods in synthetic biology; and

- Combining formal methods with other techniques (e.g. machine learning techniques) for biological and biomedical systems.

Paper Submission:
Please submit a full-length paper (upto 8 page IEEE 2-column format, including references) through the online submission system (you can download the format instruction here (http://www.ieee.org/conferences_events/conferences/publishing/templates.html ). Electronic submissions (in PDF format) are required. Selected participants will be asked to submit their revised papers in a format to be specified at the time of acceptance.

Online Submission:
https://wi-lab.com/cyberchair/2016/bibm16/scripts/ws_submit.php

Important Dates:
- Sep 27, 2016: Due date for abstract registration
- Oct 04, 2016: Due date for workshop papers submission
- Nov 10, 2016: Notification of paper acceptance to authors
- Nov 20, 2016: Camera-ready of accepted papers
- Dec 18, 2016: Workshop

Related Resources

EDLTMBE 2020   Emerging Deep Learning Theories and Methods for Biomedical Engineering - IEEE Access (IF: 4.098)
ICDM 2020   20th IEEE International Conference on Data Mining
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
MNLP 2020   4th IEEE Conference on Machine Learning and Natural Language Processing
BIBM 2020   Bioinformatics and Biomedicine
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
IECBES 2020   6th IEEE-EMBS Conference on Biomedical Engineering and Sciences
FAIML 2020-Ei Compendex & Scopus 2020   2020 2nd International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2020)
FMICS 2020   25th International Conference on Formal Methods for Industrial Critical Systems
EMNLP 2020   Conference on Empirical Methods in Natural Language Processing