posted by user: Kirstin_Peters || 974 views || tracked by 2 users: [display]

CS2Bio 2014 : 5th International Workshop on Interactions between Computer Science and Biology


When Jun 6, 2014 - Jun 6, 2014
Where Berlin, Germany
Submission Deadline Mar 24, 2014
Notification Due May 2, 2014

Call For Papers


                         First call for papers

                     5th International Workshop on
           Interactions between Computer Science and Biology

                       Affiliated to DisCoTec'14

                           June 6th, 2014
                            Berlin, Germany



Biological systems are complex systems whose modeling
requires a dramatic change in paradigms that has seen
reductionism challenged by holism and
Systems Biology a stimulating field to let evolve
the science of Complex Systems as a convergent
branch (a sort of hyperedge) of Computer Science, Mathematics and Physics.

The aim of this workshop is to gather researchers interested in the convergence
of Computer Science, Biology and the Life Sciences. In particular, in this
5th edition, we solicit the contribution of original results, from any research
areas, such as Mathematics, Physics, Complex Systems, and
Computational Science that address both theoretical aspects
of modelling and applied work on the comprehension of biological
behaviour. Furthermore, to facilitate the integration of different research areas
we encourage the presentation of main objectives and preliminary results of
active projects on the CS2Bio topics conducted by interdisciplinary teams.

*** SCOPE ***

Papers selected for presentation at CS2Bio should either present the
modelling of a specific biological phenomenon using formal techniques, or
a modelling, simulation, testing or verification approach in computer
science that leads to a novel and promising application to a range of
biological or medical systems. In the latter case, some emphasis on
the scope and scalability of the approach will be required. The
workshop intends to attract researchers interested in models,
verification, tools, and programming primitives concerning the complex
interactions encountered. In general, topics of interest include, but
are not limited to:

- Formal Biological Modelling
  - Formal methods for the representation of biological systems and
    their dynamics;
  - Theoretical links and comparisons between different formal models
    for the modelling of biological processes;
  - Quantitative (probabilistic, timed, stochastic, etc.) languages
    and calculi;
  - Spatial (geometrical, topological) languages and calculi;
  - Prediction of biological behaviour from incomplete information;
  - Model checking, abstract interpretation, type systems, etc.

- Novel Computational Paradigms for Understanding Biological Complex
  - Quantum information and life sciences;
  - Computational topology and biomathematics;
  - Information processing and biomedicine;
  - Statistical mechanics and biophysics;
- Complex Networks and biomolecular dynamics

- Tools and Simulations
  - Modelling, analysis and simulation tools for systems biology;
  - Emergence of properties in complex biological and medical systems;
  - Tools for parallel, distributed, and multi-resolution simulation
  - Detailed biological case-studies.




We solicit three kinds of contributions:
  - Regular papers: must report previously unpublished work and not be
    submitted concurrently to another conference with
    refereed proceedings (limited to 14 pages).
  - Tool presentations: describing new tools or platforms for the
    modelling of biological systems (limited to 14 pages).
  - Dissemination of project results: concern recent or ongoing work
    on topics relevant to CS2Bio and are intended to provide discussion
    and stimulate feedback during the workshop. The focus of a
    dissemination should be put on the main objectives and preliminary
    results of active projects on topics relevant to the workshop. There
    are no restrictions about previous or future publication of the
    contents of a dissemination, it could also be based on a recently
    published paper or on a work which has not yet been submitted
    (limited to 4 pages).

Authors should submit their contributions via EasyChair
( in the form of a
pdf file compiled using the ENTCS style for the workshop proceedings
( If necessary,
detailed proofs or other additional material can be added in an appendix
(referees might review it at their discretion).


The CS2Bio 2014 proceedings will be published in a volume of the
Elsevier series "Electronic Notes on Theoretical Computer Science".

After the event, papers presented at the workshop will be invited to be
further extended and submitted to a special issue of the journal
"Theoretical Computer Science". The special issue
will have an open call and a separate review process
up to the usual scientific standards of the journal.


- Submission deadline: 24 March 2014
- Notification to authors: 02 May 2014
- Workshop: 06 June 2014
- Tutorial day: 07 June 2014


- Luca Cardelli, Microsoft Research Cambridge, UK
Erik de Vink, Technische Universiteit Eindhoven, the Netherlands
François Fages, INRIA Rocquencourt, France
Paola Giannini, Università del Piemonte Orientale, Italy
Radu Grosu, Stony Brook University, USA
Russ Harmer, CNRS & ENS Lyon, France
Jean Krivine, CNRS & Paris Diderot University, France
Pietro Lio, University of Cambridge, UK
Emanuela Merelli, University of Camerino, Italy (co-chair)
Ion Petre, Åbo Akademi University, Finland (co-chair)
Ovidiu Radulescu, University of Montpellier 2, France
David Safranek, Masaryk University, Czech Republic
Angelo Troina, Università di Torino, Italy
Verena Wolf, Saarland University, Germany 


  - Erik de Vink
  - Paola Giannini
  - Jean Krivine
  - Angelo Troina

Related Resources

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
ACML 2017   The 9th Asian Conference on Machine Learning
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
IEEE - ICCC 2017   3rd IEEE International Conference on Computer and Communications
CSCESM 2017   The Fourth International Conference on Computer Science, Computer Engineering and Social Media
COMIT 2017   International Conference on Computer Science and Information Technology
SoICT 2017   The Eighth Interntional Symposium on Information and Communication Technology
ICSRS - Ei 2017   2017 2nd International Conference on System Reliability and Science (ICSRS 2017)--IEEE, Ei Compendex and Scopus
SI-SoftMM 2017   Special Issue on Soft Computing Techniques and Applications on MM Data Analyzing Systems-- Springer Journal of Multimedia Tools and Applications
ICTS 2017   The 11th International Conference on Information & Communication Technology and System