=================
Call for Chapters
=================

Book title: Automated Reasoning for Systems Biology and Medicine

Editors:    Pietro Lio' (University of Cambridge, UK) and
            Paolo Zuliani (Newcastle University, UK)

Publisher:  Springer (Computational Biology Series), Summer 2018.

Deadline:   15 May 2018 (extended)

The aim of this volume is to present the very best research in an exciting
new, multidisciplinary area: the application of formal, automated reasoning
techniques for the analysis of complex models in systems biology and systems
medicine. We believe this volume will facilitate and foster the cross talk
between physicians, statisticians, and computer scientists. For this purpose,
we also welcome contributions from medical statisticians, machine learning
researchers, and physicians.

Automated reasoning is the field of computer science devoted to the development
of algorithms that return trusted answers, so that sound logical reasoning can
be built upon. For example, formal verification is instrumental in the
semiconductor industry to make sure that chip designs are free from defects
(or 'bugs'). Systems biology and systems medicine are recent attempts at
understanding the enormous complexity of life from a computational point of view.
They have generated a wealth of new knowledge in the form of computational models
whose staggering complexity makes manual analysis methods unfeasible. Sound, trusted,
and automated ways to analyse such models are thus required in order to be able
to trust the models' conclusions. Overall, this is crucial to engineering safe
biomedical devices and to reducing our reliance on wet-lab experiments and
clinical trials, thus reducing both economic and societal costs.

Some examples of the questions tackled in the area include: can we automatically
revise medications in patients with multiple chronic conditions? Again, can we
verify that an artificial pancreas system delivers insulin in a way that Type 1
diabetic patients never suffer from hyperglycaemia or hypoglycaemia? Can we predict
the phenotype given the genotype? Can we model the evolution of an acute or chronic
disease and marker remodulation?

This volume aims at bringing together researchers from a number of highly
interdisciplinary areas including, but not limited to (in alphabetical order):

- Artificial organs: principles and models
- Big data analytics in precision medicine
- Cost-effectiveness analysis alongside clinical trials
- Decision making in health care
- Digital pathology
- Disease, multimorbidity and comorbidity management
- Drug repurposing, proof-of-concept trials, and pharmacoepidemiology
- Formal methods for systems biology
- Hypothesis generation from experimental data
- Inductive logic
- In silico trials analysis
- Machine learning (including deep learning)
- Mathematical models in health care and systems biology
- Medical ontologies
- Model selection
- Network structure identification, network meta-analysis
- Parameter inference from time series and longitudinal data
- Precision/Personalised medicine
- Synthetic biology
- Systems biology
- Systems medicine
- Verification for healthcare technologies (e.g., biomedical devices)
- Virtual patient modelling and repositories
- Whole-cell models

===== Submissions =====

Extended abstract due:  ongoing  28 February 2018
Feedback on abstract:   within 3-4 days from submission
Full submission due:    15 May 2018 (extended)

Page limit: 25 (excluding references)

Prospective authors should submit an extended abstract (max 500 words) of their planned
contribution, in order for the Editors to advise authors whether their contribution fits
the volume's scope and aims, and to facilitate the reviewing process. The Editors reserve
the right to reject without review any contribution deemed unfit. Submissions within the
scope and aims of the volume will be rigorously reviewed by at least two anonymous referees.

Abstracts and (original, previously unpublished) manuscripts should be submitted for
consideration through EasyChair at the page:
https://easychair.org/conferences/?conf=arsbm18

Please prepare your manuscript following the Volume Manuscript Guidelines, with reference
style Basic:
http://www.springer.com/gp/authors-editors/book-authors-editors/book-manuscript-guidelines

========================================================================