<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">[We <span style="font-size: 13px;">apologise</span> for multiple copies]</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">========================================================================</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> First call for papers</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> CS2Bio'14</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> 5th International Workshop on</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> Interactions between Computer Science and Biology</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> Affiliated to DisCoTec'14</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> June 6th, 2014</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> Berlin, Germany</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; color: rgb(1, 67, 234);"><span style="color: rgb(0, 0, 0);"> <a href="http://combio.abo.fi/cs2bio14/">http://combio.abo.fi/cs2bio14</a></span></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">========================================================================</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">Biological systems are complex systems whose modeling </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">requires a dramatic change in paradigms that has seen </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">reductionism challenged by holism and </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">Systems Biology a stimulating field to let evolve </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">the science of Complex Systems as a convergent </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">branch (a sort of hyperedge) of Computer Science, Mathematics and Physics.</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">The aim of this workshop is to gather researchers interested in the convergence </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">of Computer Science, Biology and the Life Sciences. In particular, in this </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">5th edition, we solicit the contribution of original results, from any research </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">areas, such as Mathematics, Physics, Complex Systems, and</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">Computational Science that address both theoretical aspects</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">of modelling and applied work on the comprehension of biological</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">behaviour. Furthermore, to facilitate the integration of different research areas</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">we encourage the presentation of main objectives and preliminary results of</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">active projects on the CS2Bio topics conducted by interdisciplinary teams.</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">*** SCOPE ***</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">Papers selected for presentation at CS2Bio should either present the</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">modelling of a specific biological phenomenon using formal techniques, or</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">a modelling, simulation, testing or verification approach in computer</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">science that leads to a novel and promising application to a range of</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">biological or medical systems. In the latter case, some emphasis on</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">the scope and scalability of the approach will be required. The</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">workshop intends to attract researchers interested in models,</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">verification, tools, and programming primitives concerning the complex</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">interactions encountered. In general, topics of interest include, but</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">are not limited to:</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">- Formal Biological Modelling</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Formal methods for the representation of biological systems and</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> their dynamics;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Theoretical links and comparisons between different formal models</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> for the modelling of biological processes;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Quantitative (probabilistic, timed, stochastic, etc.) languages</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> and calculi;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Spatial (geometrical, topological) languages and calculi;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Prediction of biological behaviour from incomplete information;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Model checking, abstract interpretation, type systems, etc.</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">- Novel Computational Paradigms for Understanding Biological Complex</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> Systems</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Quantum information and life sciences;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Computational topology and biomathematics;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Information processing and biomedicine;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Statistical mechanics and biophysics;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Complex Networks and biomolecular dynamics</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">- Tools and Simulations</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Modelling, analysis and simulation tools for systems biology;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Emergence of properties in complex biological and medical systems;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Tools for parallel, distributed, and multi-resolution simulation</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> methods;</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Detailed biological case-studies.</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">*** INVITED SPEAKERS ***</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> TBA</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">*** SUBMISSION GUIDELINES ***</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">We solicit three kinds of contributions:</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Regular papers: must report previously unpublished work and not be</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> submitted concurrently to another conference with</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> refereed proceedings (limited to 14 pages).</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Tool presentations: describing new tools or platforms for the</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> modelling of biological systems (limited to 14 pages).</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Dissemination of project results: concern recent or ongoing work</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> on topics relevant to CS2Bio and are intended to provide discussion</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> and stimulate feedback during the workshop. The focus of a</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> dissemination should be put on the main objectives and preliminary</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> results of active projects on topics relevant to the workshop. There</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> are no restrictions about previous or future publication of the</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> contents of a dissemination, it could also be based on a recently</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> published paper or on a work which has not yet been submitted</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> (limited to 4 pages).</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">Authors should submit their contributions via EasyChair</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; color: rgb(4, 46, 238);"><span style="color: rgb(0, 0, 0);">(<a href="https://www.easychair.org/conferences/?conf=cs2bio">https://www.easychair.org/conferences/?conf=cs2bio</a></span><span style="text-decoration: underline;">)</span><span style="color: rgb(0, 0, 0);"> in the form of a</span></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">pdf file compiled using the ENTCS style for the workshop proceedings</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; color: rgb(1, 67, 234);"><span style="color: rgb(0, 0, 0);">(<a href="http://www.entcs.org/files/cs2bio/prentcsmacro.sty">http://www.entcs.org/files/cs2bio/prentcsmacro.sty</a>). If necessary,</span></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">detailed proofs or other additional material can be added in an appendix</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">(referees might review it at their discretion).</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">*** DISSEMINATION ***</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">The proceedings of the workshop will be published in a volume of the</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">Elsevier series "Electronic Notes on Theoretical Computer Science". After</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">the event, papers presented at the workshop will be invited to be</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">further extended and submitted to a special issue of the journal</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">"Theoretical Computer Science". The special issue </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">will have an open call and a separate review process </div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">up to the usual scientific standards of the journal.</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">*** IMPORTANT DATES ***</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">- Submission deadline: 24 March 2014</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">- Notification to authors: 02 May 2014</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">- Workshop: 06 June 2014</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">- Tutorial day: 07 June 2014</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">*** PROGRAM COMMITTEE ***</div><ul><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);"><span style="text-indent: -2px;">Luca Cardelli, Microsoft Research Cambridge, UK</span></li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Erik de Vink, Technische Universiteit Eindhoven, the Netherlands</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">François Fages, INRIA Rocquencourt, France</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Paola Giannini, Università del Piemonte Orientale, Italy</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Radu Grosu, Stony Brook University, USA</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Russ Harmer, CNRS & ENS Lyon, France</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Jean Krivine, CNRS & Paris Diderot University, France</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Pietro Lio, University of Cambridge, UK</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Emanuela Merelli, University of Camerino, Italy (co-chair)</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Ion Petre, Åbo Akademi University, Finland (co-chair)</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Ovidiu Radulescu, University of Montpellier 2, France</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">David Safranek, Masaryk University, Czech Republic</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Angelo Troina, Università di Torino, Italy</li><li style="margin: 0px; font-family: Times; color: rgb(50, 51, 51);">Verena Wolf, Saarland University, Germany<span style="color: rgb(0, 0, 0);"> </span></li></ul><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;">*** STEERING COMMITTEE ***</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times; min-height: 14px;"><br></div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Erik de Vink</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Paola Giannini</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Jean Krivine</div><div style="margin: 0px 0px 0px 14px; text-indent: -2px; font-family: Times;"> - Angelo Troina</div><div><br></div></body></html>