From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 89B3F7F30A for ; Sun, 10 Mar 2013 08:43:06 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of emanuela.merelli@gmail.com) identity=pra; client-ip=209.85.215.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="emanuela.merelli@gmail.com"; x-sender="emanuela.merelli@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of emanuela.merelli@gmail.com designates 209.85.215.173 as permitted sender) identity=mailfrom; client-ip=209.85.215.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="emanuela.merelli@gmail.com"; x-sender="emanuela.merelli@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ea0-f173.google.com) identity=helo; client-ip=209.85.215.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="emanuela.merelli@gmail.com"; x-sender="postmaster@mail-ea0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An0FAMA4PFHRVdetiGdsb2JhbABCgjq5WYlyCBYOAQEBExQUBCQ5AYFtAQUdIwEnEgMKAgEFEDsWDBIBBQEcIhCHaAMPDJ18jy2EEicNiVUBBQQIjUuEfgOWVYEeikGDNBYpgVmCVTuBLg X-IPAS-Result: An0FAMA4PFHRVdetiGdsb2JhbABCgjq5WYlyCBYOAQEBExQUBCQ5AYFtAQUdIwEnEgMKAgEFEDsWDBIBBQEcIhCHaAMPDJ18jy2EEicNiVUBBQQIjUuEfgOWVYEeikGDNBYpgVmCVTuBLg X-IronPort-AV: E=Sophos;i="4.84,817,1355094000"; d="scan'208";a="4804118" Received: from mail-ea0-f173.google.com ([209.85.215.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Mar 2013 08:43:05 +0100 Received: by mail-ea0-f173.google.com with SMTP id h14so711673eak.4 for ; Sat, 09 Mar 2013 23:43:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:reply-to:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=tCYUoTF8fWp04FsC1TpAQzYgm+EQX5BpQLyxQ/cYOXg=; b=Bf5s6+5uXhs5btswcExj5qmUpLBvFrIg4jXv0AGe74aYI4MWRssz1L4hkg3DIOfZB1 QIJELwgzfNhznII1EKeXk9o3BXhfe1twWukUWss/nYSiayM33GpQAW4sgH5GWLdsDXzQ UUv957kBySV2RsO/CBp1a4LWx4r4bWBNUjIin0X3qDL4HP+mWz02UelYtTfEH2i4ES5L aXh7Kg1KJs6PrT4eSLe5bD/ua3er4tMbG+8K3Uiwgragt0+BMSCH6qZEFgk2RMi4c2wH RgE+6PbxovC/oK83N80LG9m4cBzCbNqt/eXihEOXIoYDXVzO+avK1kfHXjxtjWd+JcxW lUAg== MIME-Version: 1.0 X-Received: by 10.14.173.196 with SMTP id v44mr15922988eel.29.1362901384926; Sat, 09 Mar 2013 23:43:04 -0800 (PST) Reply-To: emanuela.merelli@unicam.it Sender: emanuela.merelli@gmail.com Received: by 10.223.155.200 with HTTP; Sat, 9 Mar 2013 23:43:04 -0800 (PST) In-Reply-To: References: Date: Sun, 10 Mar 2013 08:43:04 +0100 X-Google-Sender-Auth: lf_J6RPPo8kZxVb32adophNzoCo Message-ID: From: Emanuela Merelli To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7b604368e9c3c104d78d34aa X-Validation-by: emanuela.merelli@unicam.it Subject: [Caml-list] CS2BIO 2013: 2nd Call for Paper --047d7b604368e9c3c104d78d34aa Content-Type: text/plain; charset=ISO-8859-1 [We apologise for multiple copies] *NOTE THE SPECIAL ISSUES OF "THEORETICAL COMPUTER SCIENCE" JOURNAL AND FOR PAPERS CONTRIBUTING TO THE EU FP7 DyM-CS SESSION* *THE SPECIAL ISSUE OF "MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE" JOURNAL * ======================================================================== First call for papers CS2Bio'13 4th International Workshop on Interactions between Computer Science and Biology Affiliated to DisCoTec'13 June 6th, 2013 Florence, Italy http://cs2bio13.di.unito.it/ ======================================================================== 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. In particular, in this forth edition, we solicit the contribution of original results, from any research areas, such as Mathematics, Physics, Complex Systems, and Computational Sciences 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 the main objectives and preliminary results of active projects on the CS2Bio topics conducted by interdisciplinary teams. *** SCOPE *** Contributions 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. Topics of interest include, but shall not be 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 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) *** SUBMISSION GUIDELINES *** We solicit three kinds of contributions: - Regular papers: must report previously unpublished work and not be submitted concurrently to a journal or 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 7 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 (http://www.easychair.org/conferences/?conf=cs2bio13) in the form of a pdf file compiled using the ENTCS style for the workshop proceedings (http://www.entcs.org/files/cs2bio/prentcsmacro.sty). If necessary, detailed proofs or other additional material can be added in an appendix (referees might review it at their discretion). *** DISSEMINATION *** The proceedings of the workshop 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 furtherly extended and submitted to an open special issue of the journal "Theoretical Computer Science". A special issue of the journal "Mathematical Structures in Computer Science" will be open for papers that will contribute to the session on EU FP7 DyM-CS - Dynamics of Multi-level Complex Systems - that will be held on the 5th of June. *** IMPORTANT DATES *** - Submission deadline: 26 March 2013 - Notification to authors: 03 May 2013 - Workshop: 06 June 2013 *** PROGRAM COMMITTEE *** - Erik de Vink - Jasmin Fisher - Paola Giannini - Radu Grosu - Jean Krivine - Pietro Lio' - Daniele Manini - Emanuela Merelli (Co-chair) - Paolo Milazzo - Ion Petre - Marco Pettini - Christian Reidys - David Safranek - Luca Tesei - Angelo Troina (Co-chair) - Verena Wolf *** STEERING COMMITTEE *** - Erik de Vink - Paola Giannini - Jean Krivine - Angelo Troina -- Emanuela Merelli School of Science and Technology, Computer Science Division University of Camerino Via Madonna delle Carceri, 13 - 62032, Camerino, Italy office: +390737402567, fax: +390737402561, mobile: +393383990412 skype: emanuela.merelli , http://www.cs.unicam.it/merelli --047d7b604368e9c3c104d78d34aa Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
[We apologise for multiple copies]

NOTE THE SPECIAL ISSUES OF "THEORETIC= AL COMPUTER SCIENCE" JOURNAL
AND FOR PAPERS CONTRIBUTING TO THE EU = FP7 DyM-CS SESSION
THE SPECIAL ISS= UE OF "MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE" JOURNAL

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0First call for pape= rs

=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0CS= 2Bio'13
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A04th International Workshop on
=A0 =A0 =A0 =A0 =A0 =A0Interactions between Computer Science and Biology
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Affiliated to DisCoTec&= #39;13

=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=A0 June 6= th, 2013
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Florenc= e, Italy

=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 http://cs2bio13.di.unito.it/

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Syst= ems Biology is a stimulating field of application for computer
scientists and a promising resource for biologists. The aim of this
work= shop is to gather researchers in formal methods that are
interested in t= he convergence of Computer Science and Life Sciences.
In particular, in = this forth edition, we solicit the contribution of
original results, from any research areas, such as Mathematics,
Physics,= Complex Systems, and Computational Sciences that address both
theoretic= al aspects of modelling and applied work on the comprehension
of biologi= cal behaviour. Furthermore, to facilitate the integration of
different research areas we encourage the presentation of the main
objec= tives and preliminary results of active projects on the CS2Bio
topics co= nducted by interdisciplinary teams.


*** SCOPE ***

Contrib= utions selected for presentation at CS2Bio should either present
the modelling of a specific biological phenomenon using formal
technique= s, or a modelling, simulation, testing or verification
approach in compu= ter science that leads to a novel and promising
application to a range o= f 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
mod= els, verification, tools, and programming primitives concerning the
complex interactions encountered. Topics of interest include, but shall
= not be limited to:

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

- = Novel Computational Paradigms for Understanding Biological Complex
=A0 S= ystems
=A0 - Quantum information and life sciences;
=A0 - Geometry, algebraic a= nd computational topology and
=A0 =A0 biomathematics;
=A0 - Informati= on processing and biomedicine;
=A0 - Statistical mechanics and biophysic= s.

- Tools and Simulations
=A0 - Modelling, analysis and simulation tools f= or systems biology;
=A0 - Emergence of properties in complex biological = systems;
=A0 - Tools for parallel, distributed, and multi-resolution sim= ulation
=A0 =A0 methods;
=A0 - Detailed biological case-studies.


*** = INVITED SPEAKERS ***

=A0 - Giuseppe Longo (ENS Paris, France)
=A0= - Mario Rasetti (ISI Foundation, Italy)


*** SUBMISSION GUIDELIN= ES ***

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

Authors should submit their contributi= ons via EasyChair
(http://www.easychair.org/conferences/?conf=3Dcs2bio13) in t= he form of a
pdf file compiled using the ENTCS style for the workshop pr= oceedings
(http://www.entcs.org/files/cs2bio/prentcsmacro.sty). If necessar= y,
detailed proofs or other additional material can be added in an appendix(referees might review it at their discretion).


*** DISSEMINATI= ON ***

The proceedings of the workshop 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
furtherly extended and submitted to an open special issue of the jour= nal
"Theoretical Computer Science".

A special issue of the jo= urnal "Mathematical Structures in Computer Science"
will be o= pen for papers that will contribute to the session on
EU FP7 DyM-CS - D= ynamics of Multi-level Complex Systems -
that will be held on the 5th of June.


*** IMPORTANT DATES ***

- Submission deadline: 26 March 2013=
- Notification to authors: 03 May 2013
- Workshop: 06 June 2013
<= br>
*** PROGRAM COMMITTEE ***

=A0 - Erik de Vink
=A0 - Jasmin = Fisher
=A0 - Paola Giannini
=A0 - Radu Grosu
=A0 - Jean Krivine
=A0 - Pie= tro Lio'
=A0 - Daniele Manini
=A0 - Emanuela Merelli (Co-chair)=A0 - Paolo Milazzo
=A0 - Ion Petre
=A0 - Marco Pettini
=A0 - Ch= ristian Reidys
=A0 - David Safranek
=A0 - Luca Tesei
=A0 - Angelo Troina (Co-chair)<= br>=A0 - Verena Wolf


*** STEERING COMMITTEE ***

=A0 - Eri= k de Vink
=A0 - Paola Giannini
=A0 - Jean Krivine
=A0 - Angelo Tro= ina


--
Emanuela Merelli
School of Science and Technology, Computer S= cience Division
University of Camerino
Via Madonna delle Carceri, 13 = - 62032, Camerino, Italy
office: +390737402567, fax: +390737402561, mobile: +393383990412
skype: emanuela.merelli , http://www.cs.unicam.it/merelli
--047d7b604368e9c3c104d78d34aa--