[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
====================================================================== Second call for papers 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) *** SUBMISSION GUIDELINES *** Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Authors should submit their papers via EasyChair (http://www.easychair.org/conferences/?conf=cs2bio10). Papers should take the form of a pdf file in ENTCS style and should not exceed 12 pages. If necessary, detailed proofs or other additional material can be added in an appendix (referees might review it at their discretion). We also encourage the submission of short papers, limited to 7 pages, presenting new tools or platforms for the modelling of biological systems. *** DISSEMINATION *** The post-proceedings of the workshop will be published in a volume of the Electronic Notes on Theoretical Computer Science series (Elsevier ENTCS). The quality of the received papers permitting, publication in a special issue of Mathematical Structures in Computer Science, with a second round of reviews, is planned. *** IMPORTANT DATES *** - Submission deadline: 19 March 2010 - Reviews due: 23 April 2010 - Notification to authors: 30 April 2010 - Workshop: 10 June 2010 *** 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