Programme (updated 2/6) and preliminary proceedings
CS2Bio'13
Program Committee
Steering Committee
Past Editions
Registration
Venue
Publicity
Poster
Call For Papers
|
|
Systems Biology is a
stimulating field of application for computer scientists and a
promising resource for biologists. The aim of this workshop is to
gather researchers in formal methods that are interested in the
convergence of Computer Science and Life Sciences. Topics of interest
include, but shall not be limited to:
Formal Biological Modelling: Formal methods for the
representation of biological systems and their dynamics (rewrite
systems, process calculi, Petri nets, graph grammars, hybrid systems,
etc.); 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
Systems: Quantum information and life sciences; Geometry, algebraic
and computational topology and biomathematics; Information processing
and biomedicine; Statistical mechanics and biophysics.
Tools and Simulations: Modelling, analysis and simulation tools
for systems biology; Emergence of properties in complex biological
systems; Tools for parallel, distributed, and multi-resolution
simulation methods; Detailed biological case-studies.
Invited Speakers
Giuseppe
Longo (ENS Paris, France)
Mario Rasetti (ISI Foundation,
Italy)
Dissemination
The proceedings of the workshop will be published in
a volume of the Elsevier
ENTCS series.
After the event, papers presented at the workshop will be invited to be
furtherly extended and submitted to an open special issue of the
journal Theoretical
Computer Science.
|
|
Important Dates
Submission deadline
26 March 2013
Notification to authors
03 May 2013
Early registration
06 May 2013
Normal registration
01 June 2013
Sponsors
 
Topology Driven Methods
for Complex Systems
|
