[TYPES/announce] CS2Bio'10 - Second Call for Papers (Invited Speakers Updated)

[Angelo Troina]

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

                        Call for Participation

                              CS2Bio'10
           1st International Workshop on Interactions between
                     Computer Science and Biology

                       Affiliated to DisCoTec'10

                           10th of June 2010
                        Amsterdam, Netherlands

                     http://cs2bio10.di.unito.it/

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

Systems Biology is a stimulating field of application for computer
scientists and a promising resource for biologists. The scope of this
workshop is to gather researchers in formal methods that are
interested at the convergence between Computer Science with Biology
and life sciences. In particular, we solicit contribution of original
results that address on both theoretical (modelling, analysis, and
validation techniques) and applied aspects of biological behaviour:
from the representation of biological scenarios to the validation and
testing of relevant biological properties and the related simulations
and development tools.


*** SCOPE ***

The scope is to include theoretical and applied aspects of concurrent
and distributed systems in the modelling, analysis, simulation and
validation of biological properties. The workshop intends to attract
researchers interested in models, verification, tools, and
programming primitives concerning such complex interactions. We
strongly encourage the submission of works carried on in
collaboration between computer scientists and biologists. Topics of
interest include, but shall not be limited to:

Formal Biological Modelling:

- Formal methods for the representation of biological systems
   (rewrite systems, process calculi, 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.

Formal Testing and Validation of Biological Properties:

- Prediction of biological behaviour from incomplete information;
- Model Checking, Abstract Interpretation, Type Systems, etc.

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 ***

- Luca Cardelli (Microsoft Research - Cambridge, UK)
- Jérôme Feret (INRIA and École Normale Supérieure - Paris, France)


*** Workshop's Programme ***

http://www.cs2bio10.di.unito.it/programme.html


*** PROGRAM COMMITTEE ***

- Luca Cardelli
- Gabriel Ciobanu
- Mario Coppo
- Ferruccio Damiani
- Vincent Danos
- Erik de Vink
- Mariangiola Dezani
- François Fages
- Jérôme Feret
- Walter Fontana
- Russ Harmer
- Jane Hillston
- Jean Krivine (Co-chair)
- Giancarlo Mauri
- Emanuela Merelli
- Paolo Milazzo
- Gethin Norman
- Ion Petre
- Angelo Troina (Co-chair)
- Verena Wolf
- Gianluigi Zavattaro